GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Remove unused packages from cabal configs

Browse Source
This commit is contained in:
Aaron Tomb 2018-04-02 15:29:15 -07:00
parent 849cee862b
commit b8669377c4
3 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cabal.GHC710.config
View File

@ -1355,7 +1355,6 @@ constraints: abstract-deque ==0.3,
prelude-extras ==0.4.0.3,
prelude-safeenum ==0.1.1.2,
preprocessor-tools ==1.0.1,
presburger ==1.3.1,
pretty installed,
pretty-class ==1.0.1.1,
pretty-hex ==1.0,
@ -1567,7 +1566,6 @@ constraints: abstract-deque ==0.3,
smallcaps ==0.6.0.4,
smallcheck ==1.1.1,
smoothie ==0.4.2.6,
smtLib ==1.0.8,
smtp-mail ==0.1.4.6,
snap ==0.14.0.7,
snap-core ==0.9.8.0,

2
cabal.GHC80.config
View File

@ -1451,7 +1451,6 @@ constraints: abstract-deque ==0.3,
prelude-extras ==0.4.0.3,
prelude-safeenum ==0.1.1.2,
preprocessor-tools ==1.0.1,
presburger ==1.3.1,
pretty installed,
pretty-class ==1.0.1.1,
pretty-hex ==1.0,
@ -1670,7 +1669,6 @@ constraints: abstract-deque ==0.3,
smallcaps ==0.6.0.4,
smallcheck ==1.1.1,
smoothie ==0.4.2.6,
smtLib ==1.0.8,
smtp-mail ==0.1.4.6,
snap-core ==1.0.1.0,
snap-server ==1.0.1.1,

2
cabal.GHC82.config
View File

@ -81,7 +81,6 @@ constraints: Cabal -bundled-binary-generic,
optparse-applicative ==0.14.2.0,
parallel ==3.2.1.1,
parsec ==3.1.13.0,
presburger ==1.3.1,
pretty ==1.1.3.3,
primitive ==0.6.3.0,
process ==1.6.1.0,
@ -97,7 +96,6 @@ constraints: Cabal -bundled-binary-generic,
semigroups ==0.18.4,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +text +transformers +unordered-containers,
simple-smt ==0.7.1,
smtLib ==1.0.8,
statistics ==0.14.0.2,
stm ==2.4.5.0,
strict ==0.3.2,