GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 14:20:59 +03:00
Code Issues Projects Releases Wiki Activity

Remove monadLib and simple-smt from stackage snapshots

Browse Source
This commit is contained in:
Trevor Elliott 2017-03-13 15:51:28 -07:00
parent 7e1ad7d970
commit 5fc47c8dab
2 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cabal.GHC710.config
View File

@ -1153,7 +1153,6 @@ constraints: abstract-deque ==0.3,
MonadCatchIO-transformers ==0.3.1.3,
monadcryptorandom ==0.7.1,
monadic-arrays ==0.2.2,
monadLib ==3.7.3,
monadloc ==0.7.1,
monadplus ==1.4.2,
MonadPrompt ==1.0.0.5,
@ -1560,7 +1559,6 @@ constraints: abstract-deque ==0.3,
simple-reflect ==0.3.2,
simple-sendfile ==0.2.25,
simple-session ==0.10.1.1,
simple-smt ==0.6.0,
simple-templates ==0.8.0.1,
simpleirc ==0.3.1,
singletons ==2.0.1,

2
cabal.GHC80.config
View File

@ -1246,7 +1246,6 @@ constraints: abstract-deque ==0.3,
monad-unlift-ref ==0.2.0,
monadcryptorandom ==0.7.1,
monadic-arrays ==0.2.2,
monadLib ==3.7.3,
MonadRandom ==0.5.1,
monads-tf ==0.1.0.3,
mono-traversable ==1.0.2,
@ -1660,7 +1659,6 @@ constraints: abstract-deque ==0.3,
simple-reflect ==0.3.2,
simple-sendfile ==0.2.25,
simple-session ==0.10.1.1,
simple-smt ==0.7.0,
simple-templates ==0.8.0.1,
singleton-bool ==0.1.2.0,
singletons ==2.2,