-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstack.yaml
More file actions
30 lines (25 loc) · 995 Bytes
/
stack.yaml
File metadata and controls
30 lines (25 loc) · 995 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
resolver: nightly-2026-05-19
packages:
- .
extra-deps:
- blake2-0.3.0.1@sha256:616926a31133e2a94c353b56b50ef3a8cfb97baf1d051d0f65545e967c5107da,2301
- sbv-13.6@sha256:65099c81504a2e85a49cc94a4f8bacad12c423b9171cf2ef3b6686a6a71d99ec,27240
- melf-1.3.1@sha256:167dd798237451e8ccca8c7d98ec719ce20ce1752445dda1fee165b389830b4e,4526
- parallel-3.2.2.0@sha256:3df46ec247e12b5e406a0adb9577294431b24814b30df420551d176fd112a966,2038
- optparse-applicative-0.18.1.0@sha256:f30973861ac7e7ebff05ff8c7c3d1e4d283a1f3850e1cc14106b0693ec1b6d82,5289
- github: PLSec-VU/pantomime
commit: 491638b742ce2d9fc92976ab0e2037ba259e5ae9
- github: PLSec-VU/pantomime-base
commit: 64dab2d4fd3ef4c27ec9eb698bf61092fb08d8a4
- github: PLSec-VU/pantomime-clash
commit: 1f42057f228cd5e476af4b35541598843a7b74f9
- github: RobinWebbers/grisette
commit: ae4d837886efb2e7838f89271f343d6fa8130388
allow-newer-deps:
- blake2
- pantomime
allow-newer: true
nix:
enable: false
packages:
- z3