bump sort of works with stack

ucsd-progsys · Mar 7, 2024 · 130d531 · 130d531
1 parent e06c0ac
commit 130d531
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -3,10 +3,17 @@ 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
+
+allow-newer:
+  ghc-timings:base
+  ,colonnade:bytestring
+  ,colonnade:text
+  ,blaze-colonnade:text
+  ,blaze-svg:base