computational-algebra/stack-804.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
35
36
37
38
resolver: lts-12.2

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:
- control-monad-loop-0.1
- equational-reasoning-0.5.1.0
- ghc-typelits-presburger-0.3.0.0
- singletons-presburger-0.3.0.0
- sized-0.3.0.0
- type-natural-0.8.1.0
- unamb-0.2.7
- parser-combinators-1.1.0
- megaparsec-7.0.5
- arithmoi-0.9.0.0
- exact-pi-0.5.0.1
- semirings-0.5.3
- QuickCheck-2.12.6.1
- hspec-core-2.6.1
- quickcheck-instances-0.3.19
- hspec-2.6.1
- hspec-discover-2.6.1
- inspection-testing-0.4.2.4