packages feed

liquidhaskell-0.8.2.0: tests/pos/test000.hs.hquals

qualif Foo(v: Int): v = 10