Skip to content
Snippets Groups Projects

Add patches for updated Cabal versions and liquid-fixpoint

Open Add patches for updated Cabal versions and liquid-fixpoint
wip/liquidhaskell into master
Open Matthew Pickering requested to merge wip/liquidhaskell into master
Compare
and
4 files
+ 151
− 1
Compare changes
  • Side-by-side
  • Inline
Files
4
ci/config.cabal.project
+ 1
− 1
@@ -3,7 +3,7 @@
@@ -3,7 +3,7 @@
-- ghc/ghc#23048.
-- ghc/ghc#23048.
index-state:
index-state:
hackage.haskell.org 2023-07-31T12:18:14Z,
hackage.haskell.org 2023-10-30T12:18:14Z,
head.hackage HEAD
head.hackage HEAD
constraints: th-abstraction >= 0.4
constraints: th-abstraction >= 0.4