pantomime/stack.yaml at main · PLSec-VU/pantomime · 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
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
75
76
77
78
snapshot: ghc-9.12.2

packages:
- .

extra-deps:
- github: RobinWebbers/grisette
  commit: ae4d837886efb2e7838f89271f343d6fa8130388
- sbv-13.6
- th-abstraction-0.7.1.0
- QuickCheck-2.16.0.0
- async-2.2.6
- atomic-primops-0.8.8
- base16-bytestring-1.0.2.0
- bytes-0.17.5
- cereal-0.5.8.3
- cereal-text-0.1.0.2
- composition-1.0.2.2
- constraints-0.14.4
- cryptohash-sha512-0.11.103.0
- effectful-core-2.6.1.0
- generic-deriving-1.14.7
- ghc-trace-events-0.1.2.10
- hashable-1.5.1.0
- haskell-src-exts-1.23.1
- haskell-src-meta-0.8.15
- libBF-0.6.8
- loch-th-0.2.2
- microlens-0.5.0.0
- parallel-3.2.2.0
- prettyprinter-1.7.1
- random-1.3.1
- syb-0.7.3
- th-compat-0.1.7
- th-expand-syns-0.4.12.0
- th-lift-instances-0.1.20
- tree-view-0.5.1
- uniplate-1.6.13
- unordered-containers-0.2.21
- vector-0.13.2.0
- binary-orphans-1.0.5
- boring-0.2.2
- happy-2.2
- monad-control-1.0.3.1
- primitive-0.9.1.0
- scientific-0.3.8.1
- splitmix-0.1.3.2
- strict-mutable-base-1.1.0.0
- tasty-1.5.3
- th-lift-0.8.7
- th-orphans-0.13.17
- transformers-base-0.4.6
- transformers-compat-0.7.2
- unliftio-core-0.2.1.0
- vector-stream-0.1.0.1
- ansi-terminal-1.1.5
- base-orphans-0.9.4
- happy-lib-2.2
- integer-logarithms-1.0.5
- optparse-applicative-0.19.0.0
- tagged-0.8.10
- th-reify-many-0.1.10
- ansi-terminal-types-1.1.3
- colour-2.3.6
- prettyprinter-ansi-terminal-1.1.3
- safe-0.3.21
- deepseq-1.5.1.0
- HUnit-1.6.2.0
- ghc-paths-0.1.0.12
- hspec-2.11.17
- hspec-core-2.11.17
- hspec-discover-2.11.17
- hspec-expectations-0.8.4
- silently-1.2.5.4
- call-stack-0.4.0
- tf-random-0.5
- haskell-lexer-1.2.1
- quickcheck-io-0.2.0