sdiehl/picologic — pull request #1 by gibiansky (2014-10-31 03:46:02+00:00)
Title: Allowing base 4.7

Once you verify that this change is okay, please make sure to bump the version number on `picologic` and `picosat` and upload new versions to Hackage!

Thanks!