From 130d5316fb629f09ce1649a089e882fd3f06d0f4 Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@ucsd.edu>
Date: Wed, 6 Mar 2024 18:20:12 -0800
Subject: [PATCH] bump sort of works with stack

---
 cabal.project | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/cabal.project b/cabal.project
index d63a285..c0fc92d 100644
--- 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