diff options
Diffstat (limited to 'testing/idris/cabal.config')
| -rw-r--r-- | testing/idris/cabal.config | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testing/idris/cabal.config b/testing/idris/cabal.config index 302341d0a0..227ceea1d4 100644 --- a/testing/idris/cabal.config +++ b/testing/idris/cabal.config @@ -2,9 +2,6 @@ constraints: aeson ==1.1.2.0, attoparsec ==0.13.1.0, array ==0.5.1.1, - base ==4.9.1.0, - ghc-prim ==0.5.0.0, - rts ==1.0, integer-gmp ==1.0.0.1, bytestring ==0.10.8.1, deepseq ==1.4.2.0, @@ -23,7 +20,6 @@ constraints: aeson ==1.1.2.0, dlist ==0.8.0.2, tagged ==0.8.5, template-haskell ==2.11.1.0, - ghc-boot-th ==8.0.2, pretty ==1.1.3.3, transformers-compat ==0.5.1.4, time-locale-compat ==0.1.1.3, |