forked from ucsd-progsys/liquidhaskell
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstack.yaml
More file actions
38 lines (36 loc) · 920 Bytes
/
stack.yaml
File metadata and controls
38 lines (36 loc) · 920 Bytes
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
flags:
liquidhaskell:
devel: true
liquid-platform:
devel: true
tests:
stack: true
extra-package-dbs: []
ghc-options:
hscolour: -w
packages:
- liquid-fixpoint
- liquid-ghc-prim
- liquid-base
- liquid-bytestring
- liquid-prelude
- liquid-vector
- liquid-containers
- liquid-parallel
- liquid-platform
- tests
- tests/benchmarks/popl18/lib
- benchmark-timings
- .
extra-deps:
- blaze-colonnade-1.2.2.1@sha256:b27601f0366b006e86ee33297a722fe33c94ac058e61d4eace387d132e656a21,1394
- colonnade-1.2.0.2@sha256:e0b43a1fe4f87072f3f7cd9eaccdb790f7df8ceff5f73c3a4e242aba9337485f,2099
- hashable-1.3.5.0
- rest-rewrite-0.3.0
- git: https://github.com/qnikst/ghc-timings-report
commit: 45ef3498e35897712bde8e002ce18df6d55f8b15
# for tests
- strip-ansi-escape-0.1.0.0@sha256:08f2ed93b16086a837ec46eab7ce8d27cf39d47783caaeb818878ea33c2ff75f,1628
resolver: lts-18.27
nix:
packages: [cacert, git, hostname, z3]