Skip to content
Snippets Groups Projects
Commit cf1d4011 authored by Orestis Melkonian's avatar Orestis Melkonian
Browse files

Global: Downgrade Z3 version

parent 212c2d44
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
stack.yaml
+ 1
− 1
View file @ cf1d4011
......@@ -6,7 +6,7 @@ packages:
- .
extra-deps:
- z3-4.3.1
- z3-4.2.0
- language-java-0.2.9
# To upgrade Z3 library version, e.g. z3-4.3.1
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment