no joy

ucsd-progsys · Mar 7, 2024 · b126f2a · b126f2a
1 parent b4098cb
commit b126f2a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -4,10 +4,10 @@ packages: .
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquidhaskell
-    tag: fc4a89b91fad8b7a02b72901381d4358a470e230
+    tag: 4b20537529b2143cab0214564422c94fb93df9d9
     subdir: . liquidhaskell-boot liquid-prelude liquid-vector
 
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquid-fixpoint
-    tag: eb339f9abdf073f8d9f0c446c309006fdf49ed42
+    tag: 5b39f1a3c49190f9e438f9cdefd7d2635c5bf7f2