resolver: lts-13.10

packages:
- '.'

extra-deps:
- csv-table-0.1.0.1
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.2
- located-base-0.1.1.1
- text-format-0.3.2
- tasty-rerun-1.1.14

flags:
  liquidhaskell:
    devel: true

extra-package-dbs: []

ghc-options:
  hscolour: -w 


resolver: lts-13.10

packages:
- '.'
- 'liquid-fixpoint'

extra-deps:
- csv-table-0.1.0.1
- dotgen-0.4.2
- fgl-visualize-0.1.0.1
- intern-0.9.2
- located-base-0.1.1.1
- text-format-0.3.2
- tasty-rerun-1.1.14

flags:
  liquidhaskell:
    devel: true

extra-package-dbs: []

ghc-options:
  hscolour: -w 


Fix a YAML problem with missing liquid-fixpoint
Fix a YAML problem with missing liquid-fixpoint
