bump sort of works with stack

ucsd-progsys · Mar 7, 2024 · 836de2a · 836de2a
1 parent 130d531
commit 836de2a
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/cabal.project b/cabal.project
@@ -3,17 +3,10 @@ packages: .
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquidhaskell
-    tag: 4b20537529b2143cab0214564422c94fb93df9d9
+    tag: fc4a89b91fad8b7a02b72901381d4358a470e230
     subdir: . liquidhaskell-boot liquid-prelude liquid-vector
 
 source-repository-package
     type: git
     location: https://github.com/ucsd-progsys/liquid-fixpoint
-    tag: 5b39f1a3c49190f9e438f9cdefd7d2635c5bf7f2
-
-allow-newer:
-  ghc-timings:base
-  ,colonnade:bytestring
-  ,colonnade:text
-  ,blaze-colonnade:text
-  ,blaze-svg:base
+    tag: eb339f9abdf073f8d9f0c446c309006fdf49ed42