computational-algebra/stack-802.yaml at master · konn/computational-algebra · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
resolver: lts-11.4
skip-ghc-check: true
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'

flags:
  computational-algebra:
    examples: true
    profile:  false

extra-deps:
- algebra-4.3
- ghc-typelits-presburger-0.2.0.5
- unamb-0.2.5
- hspec-smallcheck-0.5.0
- control-monad-loop-0.1
- type-natural-0.8.0.1
- equational-reasoning-0.5.1.0
- sized-0.3.0.0
- parser-combinators-1.1.0
- megaparsec-7.0.5