-
Orestis Melkonian authoredOrestis Melkonian authored
stack.yaml 100 B
resolver: lts-9.17
# resolver: lts-9.21
# resolver: lts-10.7
packages:
- .
extra-deps:
- z3-4.1.2
resolver: lts-9.17
# resolver: lts-9.21
# resolver: lts-10.7
packages:
- .
extra-deps:
- z3-4.1.2