workaround for IntervalMap in cabal.project

GaloisInc · Nov 10, 2023 · 8c9a87e · 8c9a87e
1 parent 24a2f23
commit 8c9a87e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cabal.project.dist b/cabal.project.dist
@@ -42,3 +42,6 @@ packages: base/
           deps/bv-sized/
           deps/bv-sized-float/
           deps/softfloat-hs/
+
+constraints: IntervalMap >= 0.6.2.1
+allow-newer: IntervalMap