Skip to content
Snippets Groups Projects
Commit 099fc00c authored by Ryan Scott's avatar Ryan Scott
Browse files

Add deepseq to allowNewerPkgs

The `ghc-9.8` branch now includes `deepseq-1.5.0.0` (see
ghc/ghc@1228d3a4),
but many libraries' `.cabal` files only permit `deepseq < 1.5`. We add
`deepseq` to `allowNewerPkgs` in this patch so that `cabal` will ignore these
upper version bounds.
parent bb29ae31
No related branches found
No related tags found
1 merge request!314Rename Agda-2.6.3.diff => Agda-2.6.3.patch
Pipeline #81505 failed
...@@ -45,6 +45,7 @@ allowNewerPkgs = S.fromList ...@@ -45,6 +45,7 @@ allowNewerPkgs = S.fromList
, "binary" , "binary"
, "bytestring" , "bytestring"
, "Cabal" , "Cabal"
, "deepseq"
, "text" ] `S.union` bootPkgs , "text" ] `S.union` bootPkgs
constraints :: [String] -> Doc constraints :: [String] -> Doc
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment