liquidhaskell-0.8.0.2: stack.yaml

resolver: lts-8.9

packages:
- liquid-fixpoint/
- '.'

extra-deps:
- aeson-0.11.3.0
- csv-table-0.1.0.1
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.1.4
- located-base-0.1.1.0

flags:
  liquidhaskell:
    devel: true

extra-package-dbs: []