mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-25 17:04:31 +03:00
Bump library versions for GHC 8.2
This commit is contained in:
Aaron Tomb
parent
a4a14b4c98
commit
b96eef5ef0
@ -1,8 +1,9 @@
|
||||
constraints: Cabal -bundled-binary-generic,
|
||||
FloatingHex ==0.4,
|
||||
Glob ==0.9.1,
|
||||
Glob ==0.9.2,
|
||||
GraphSCC ==1.0.4,
|
||||
GraphSCC -use-maps,
|
||||
HUnit ==1.6.0.0,
|
||||
Only ==0.1,
|
||||
QuickCheck ==2.11.3,
|
||||
QuickCheck +templatehaskell,
|
||||
@ -10,71 +11,93 @@ constraints: Cabal -bundled-binary-generic,
|
||||
abstract-deque -usecas,
|
||||
abstract-par ==0.3.3,
|
||||
aeson ==1.2.4.0,
|
||||
aeson -fast -developer -cffi -bytestring-builder,
|
||||
aeson -bytestring-builder -cffi -developer -fast,
|
||||
alex ==3.2.3,
|
||||
alex +small_base,
|
||||
ansi-terminal ==0.8.0.1,
|
||||
ansi-terminal ==0.8.0.2,
|
||||
ansi-terminal -example,
|
||||
ansi-wl-pprint ==0.6.8.2,
|
||||
ansi-wl-pprint -example,
|
||||
array ==0.5.2.0,
|
||||
async ==2.2.1,
|
||||
async -bench,
|
||||
attoparsec ==0.13.2.2,
|
||||
attoparsec -developer,
|
||||
base-compat ==0.9.3,
|
||||
base-orphans ==0.6,
|
||||
binary ==0.8.5.1,
|
||||
blaze-builder ==0.4.0.2,
|
||||
blaze-html ==0.9.0.1,
|
||||
blaze-markup ==0.8.2.0,
|
||||
bytestring ==0.10.8.2,
|
||||
call-stack ==0.1.0,
|
||||
cassava ==0.5.1.0,
|
||||
cassava -bytestring--lt-0_10_4,
|
||||
cereal ==0.5.5.0,
|
||||
cereal -bytestring-builder,
|
||||
code-page ==0.1.3,
|
||||
colour ==2.3.4,
|
||||
containers ==0.5.10.2,
|
||||
crackNum ==1.9,
|
||||
criterion ==1.3.0.0,
|
||||
criterion -fast -embed-data-files,
|
||||
cryptol -static +relocatable,
|
||||
criterion ==1.4.0.0,
|
||||
criterion -embed-data-files -fast,
|
||||
cryptol +relocatable -static,
|
||||
cryptol-test-runner -static,
|
||||
data-binary-ieee754 ==0.4.4,
|
||||
deepseq ==1.4.3.0,
|
||||
directory ==1.3.0.2,
|
||||
dlist ==0.8.0.4,
|
||||
erf ==2.0.0.0,
|
||||
exceptions ==0.8.3,
|
||||
exceptions ==0.9.0,
|
||||
extensible-exceptions ==0.1.1.4,
|
||||
filepath ==1.4.1.2,
|
||||
generic-deriving ==1.12.1,
|
||||
generic-deriving +base-4-9,
|
||||
gitrev ==1.3.1,
|
||||
happy ==1.19.9,
|
||||
happy +small_base,
|
||||
hashable ==1.2.6.1,
|
||||
hashable -sse41 +sse2 +integer-gmp -examples,
|
||||
hashable -examples +integer-gmp +sse2 -sse41,
|
||||
haskeline ==0.7.4.0,
|
||||
heredoc ==0.2.0.0,
|
||||
hostname ==1.0,
|
||||
hsc2hs ==0.68.2,
|
||||
ieee754 ==0.8.0,
|
||||
integer-logarithms ==1.0.2,
|
||||
integer-logarithms +integer-gmp -check-bounds,
|
||||
integer-logarithms ==1.0.2.1,
|
||||
integer-logarithms -check-bounds +integer-gmp,
|
||||
js-flot ==0.8.3,
|
||||
js-jquery ==3.3.1,
|
||||
math-functions ==0.2.1.0,
|
||||
math-functions -system-expm1,
|
||||
microstache ==1.0.1.1,
|
||||
monad-control ==1.0.2.2,
|
||||
monad-control ==1.0.2.3,
|
||||
monad-par ==0.3.4.8,
|
||||
monad-par -newgeneric -chaselev,
|
||||
monad-par -chaselev -newgeneric,
|
||||
monad-par-extras ==0.3.3,
|
||||
monadLib ==3.7.3,
|
||||
monadLib -base3,
|
||||
mtl ==2.2.1,
|
||||
mtl ==2.2.2,
|
||||
mwc-random ==0.13.6.0,
|
||||
old-locale ==1.0.0.7,
|
||||
old-time ==1.1.0.3,
|
||||
optparse-applicative ==0.14.0.0,
|
||||
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,
|
||||
random ==1.1,
|
||||
regex-base ==0.93.2,
|
||||
regex-base +newbase +splitbase,
|
||||
regex-posix ==0.95.2,
|
||||
regex-posix +newbase +splitbase,
|
||||
rts ==1.0,
|
||||
sbv ==7.5,
|
||||
scientific ==0.3.5.2,
|
||||
scientific -integer-simple -bytestring-builder,
|
||||
scientific -bytestring-builder -integer-simple,
|
||||
semigroups ==0.18.4,
|
||||
semigroups +unordered-containers +transformers +text +tagged +hashable +deepseq +containers -bytestring-builder +bytestring +binary,
|
||||
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,
|
||||
@ -83,25 +106,31 @@ constraints: Cabal -bundled-binary-generic,
|
||||
strict +split-base,
|
||||
syb ==0.7,
|
||||
tagged ==0.8.5,
|
||||
tagged +transformers +deepseq,
|
||||
tagged +deepseq +transformers,
|
||||
terminfo ==0.4.1.0,
|
||||
test-framework ==0.8.2.0,
|
||||
test-framework-hunit ==0.3.0.2,
|
||||
test-framework-hunit -base3 +base4,
|
||||
text ==1.2.3.0,
|
||||
text -integer-simple -developer -bytestring-builder,
|
||||
text-short ==0.1.1,
|
||||
text -bytestring-builder -developer -integer-simple,
|
||||
text-short ==0.1.2,
|
||||
text-short -asserts,
|
||||
tf-random ==0.5,
|
||||
th-abstraction ==0.2.6.0,
|
||||
time-locale-compat ==0.1.1.3,
|
||||
time-locale-compat -old-locale,
|
||||
transformers-base ==0.4.4,
|
||||
transformers-base +orphaninstances,
|
||||
transformers-compat ==0.5.1.4,
|
||||
transformers-compat -two -three +mtl,
|
||||
transformers-compat ==0.6.0.5,
|
||||
transformers-compat +five -four +generic-deriving +mtl -three -two,
|
||||
unordered-containers ==0.2.9.0,
|
||||
unordered-containers -debug,
|
||||
utf8-string ==1.0.1.1,
|
||||
uuid-types ==1.0.3,
|
||||
vector ==0.12.0.1,
|
||||
vector -wall -unsafechecks -internalchecks +boundschecks,
|
||||
vector +boundschecks -internalchecks -unsafechecks -wall,
|
||||
vector-algorithms ==0.7.0.1,
|
||||
vector-algorithms -unsafechecks +properties -internalchecks +boundschecks -bench,
|
||||
vector-algorithms -bench +boundschecks -internalchecks +properties -unsafechecks,
|
||||
vector-binary-instances ==0.2.4,
|
||||
vector-th-unbox ==0.2.1.6
|
||||
vector-th-unbox ==0.2.1.6,
|
||||
xml ==1.3.14
|
||||
|
||||
@ -1,2 +1,3 @@
|
||||
packages:
|
||||
cryptol.cabal
|
||||
tests
|
||||
|
||||
Loading…
Reference in New Issue
Block a user