-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstack.yaml
More file actions
31 lines (26 loc) · 1.03 KB
/
Copy pathstack.yaml
File metadata and controls
31 lines (26 loc) · 1.03 KB
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
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
# NOTE: the 'pantomime' repo was renamed to 'symfc' upstream.
- github: PLSec-VU/symfc
commit: 1821a716aa06d6fc1d415d7fc758cf3aee9aa0c3
- github: PLSec-VU/pantomime-base
commit: 1a3b9e223f488e5f2c60f1e3a06e41d39c06fced
- github: PLSec-VU/pantomime-clash
commit: 5bb122c9d38bb4a18c80360e0e4aff46cc9e817d
- github: RobinWebbers/grisette
commit: ae4d837886efb2e7838f89271f343d6fa8130388
allow-newer-deps:
- blake2
- pantomime
allow-newer: true
nix:
enable: false
packages:
- z3