Skip to content

Commit

Permalink
Merge pull request #1139 from felixonmars/patch-2
Browse files Browse the repository at this point in the history
Allow sbv 8.13
  • Loading branch information
robdockins authored Apr 6, 2021
2 parents b72f801 + b7f9aba commit c2ef506
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cryptol.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ library
pretty >= 1.1,
process >= 1.2,
random >= 1.0.1,
sbv >= 8.6 && < 8.13,
sbv >= 8.6 && < 8.14,
simple-smt >= 0.7.1,
stm >= 2.4,
strict,
Expand Down

0 comments on commit c2ef506

Please sign in to comment.