ucsd-progsys/liquid-fixpoint — pull request #12 by gridaphobe (2013-05-08 16:43:21+00:00)
Title: Add package constraints to match liquidhaskell

This fixes the fresh install issue people have been experiencing. GHC-7.6.3 is recommended, but there's a clause to allow earlier versions of 7.6 to work too.