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

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

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