idris-libpq Idris wrapper for libpq (Postgres). libpq path is currently hardwired for Mac OS X (you will need to the %dynamic path to change where libpq exists). Build the Package ./build.sh