FIXME: bump what4 via source-repository-package

fixes issue where w4-cvc4 or w4-cvc5 would occasionally crash when a timeout was set
GaloisInc · Feb 26, 2025 · 92ae8b7 · 92ae8b7
1 parent 2b16934
commit 92ae8b7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/cabal.project b/cabal.project
@@ -3,3 +3,9 @@ packages:
     cryptol-remote-api
     tests
     deps/argo/argo
+
+source-repository-package
+   type:     git
+   location: https://github.com/GaloisInc/what4.git
+   tag:      44000e2e8b5d658d199ff181dc07889125efd630
+   subdir:   what4