liquidhaskell-0.8.6.0: cabal.project

-- For more information see
--  http://cabal.readthedocs.io/en/latest/nix-local-build-overview.html

packages: .
          ./liquid-fixpoint

package liquid-fixpoint
  flags: devel

package liquidhaskell
  flags: devel

with-compiler: ghc-8.6.4