forked from GaloisInc/daedalus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcabal.project
38 lines (35 loc) · 862 Bytes
/
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
packages:
./
daedalus-utils/
daedalus-core/
daedalus-vm/
daedalus-value/
rts-hs/
rts-hs-data/
rts-vm-hs/
formats/pdf/old/cos/
formats/pdf/old/driver/
formats/pdf/arlington-pdf-model/
formats/icc/
formats/nitf/haskell/
formats/vlq_128/atto/
formats/vlq_128/ddl-hs/
formats/bson/ddl-hs/
formats/bson/hs
formats/s-exp/ddl-hs/
formats/s-exp/happy
talos/
daedalus-language-server/
standalone/cabal-pack/
-- We want a newer version of mtl
source-repository-package
type: git
location: https://github.com/haskell-streaming/streaming
tag: 0c815bf9043d0f0cbda92b80ef791892e2b7fb43
-- source-repository-package
-- type: git
-- location: https://github.com/GaloisInc/parameterized-utils
-- tag: e5a340fab56694f971e3b2a0f23d9471a9143408
constraints:
utf8-string < 1.0.2,
entropy >= 0.4.1.10