This repository has been archived by the owner on Jun 4, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcabal.project
74 lines (68 loc) · 1.86 KB
/
cabal.project
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
source-repository-package
type: git
location: https://github.com/con-kitty/categorifier.git
tag: 39ddecc07f41114b14dfc68c35ea1042698f8b77
--sha256: yRkxydkQ+3dVnEelPzEoGgc6WcIe0ktYxLVhLEj7K8o=
subdir:
category
client
common
duoids
ghc
th
integrations/concat/integration
integrations/vec/integration
plugin
source-repository-package
type: git
location: https://github.com/con-kitty/concat.git
tag: cb398e15d142ca198ccd9f952cdc4e74104c9c12
--sha256: BCu7IdKNhxq0Jf9iEW9LaV4qC3Ir1gxP91b0EBom4CQ=
subdir:
classes
satisfy
known
inline
source-repository-package
type: git
location: https://github.com/l-adic/snarkl.git
tag: c2561b898d93fd444ca57aaf8b2ad8b203f19489
--sha256: jHy2OKlvSgBAkvtadvDVB0t3Hr2wTgXTFKW5T2t/yi0=
source-repository-package
type: git
location: https://github.com/sdiehl/galois-field.git
tag: 3b13705fe26ea1dc03e1a6d7dac4089085c5362d
--sha256: +vkeD6mjdRk4epuvfIxf284A1vgPHxqSb3jLxBHuk60=
constraints:
PyF >=0.9.0 && <0.10
, adjunctions >=4.4 && <4.5
, barbies >=2.0.1 && <2.1
, base >=4.11.0 && <4.17
, bytestring >=0.10.8 && <0.12
, categories >=1.0.7 && <1.1
, constraints >=0.12 && <0.14
, containers >=0.5.11 && <0.7
, distributive >=0.6.2 && <0.7
, either >=5.0.1 && <5.1
, extra >=1.7.8 && <1.8
, fin >=0.1.1 && <0.3
, ghc >=8.4.1 && <9.4
, ghc-prim >=0.5.2 && <0.9
, hedgehog >=1.0.3 && <1.2
, linear >=1.21.3 && <1.22
, semialign >=1.1.0 && <1.3
, semigroupoids >=5.3.4 && <5.4
, syb >=0.7.1 && <0.8
, template-haskell >=2.13.0 && <2.19
, text >=1.2.3 && <1.3
, these >=1.1.1 && <1.2
, transformers >=0.5.5 && <0.7
, uniplate >=1.6.13 && <1.7
, unliftio >=0.2.13 && <0.3
, vec >=0.3 && <0.5
, yaya >=0.3.2 && <0.5
tests: True
packages:
./stalk.cabal
-- ../galois-fields/galois-field.cabal
-- ../modular-arithmetic/modular-arithmetic.cabal