packages feed

liquidhaskell-0.7.0.0: liquid-fixpoint/.git

gitdir: ../.git/modules/liquid-fixpoint