stack-808.yaml

resolver: lts-16.31

flags: {}
packages:
- 'computational-algebra'
- 'algebraic-prelude'
- 'halg-algebraic'
- 'halg-algorithms'
- 'halg-bridge-singular'
- 'halg-core'
- 'halg-core-test'
- 'halg-factor'
- 'halg-galois-fields'
- 'halg-heaps'
- 'halg-matrices'
- 'halg-partial-fraction'
- 'halg-polyn-parser'
- 'halg-polynomials'

extra-deps:
- subcategories-0.1.0.0
- algebra-4.3.1@rev:2
- unamb-0.2.7
- control-monad-loop-0.1
- type-natural-0.9.0.0@rev:1
- sized-0.9.0.0@rev:1
- ghc-typelits-presburger-0.4.0.0
- singletons-presburger-0.4.0.0