mirror of
https://git.freebsd.org/ports.git
synced 2025-04-28 01:26:39 -04:00
security/hs-cryptol: update 3.2.0 → 3.3.0
Reported by: portscout
This commit is contained in:
parent
cd5f3fa580
commit
462f5566b4
2 changed files with 291 additions and 216 deletions
|
@ -1,10 +1,11 @@
|
|||
PORTNAME= cryptol
|
||||
DISTVERSION= 3.2.0
|
||||
DISTVERSION= 3.3.0
|
||||
CATEGORIES= security lang haskell
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
COMMENT= Domain-specific language for specifying cryptographic algorithms
|
||||
WWW= https://cryptol.net/
|
||||
WWW= https://cryptol.net \
|
||||
https://github.com/GaloisInc/cryptol
|
||||
|
||||
LICENSE= BSD3CLAUSE
|
||||
LICENSE_FILE= ${WRKSRC}/LICENSE
|
||||
|
@ -20,136 +21,152 @@ USES= cabal
|
|||
USE_CABAL= BoundedChan-1.0.3.0 \
|
||||
GraphSCC-1.0.4 \
|
||||
MemoTrie-0.6.11 \
|
||||
OneTuple-0.4.2 \
|
||||
QuickCheck-2.15.0.1 \
|
||||
OneTuple-0.4.2_1 \
|
||||
QuickCheck-2.15.0.1_1 \
|
||||
StateVar-1.2.2 \
|
||||
adjunctions-4.4.2_2 \
|
||||
aeson-2.2.3.0_1 \
|
||||
alex-3.5.1.0 \
|
||||
ansi-terminal-1.1.1 \
|
||||
adjunctions-4.4.3 \
|
||||
aeson-2.2.3.0_3 \
|
||||
alex-3.5.2.0 \
|
||||
ansi-terminal-1.1.2 \
|
||||
ansi-terminal-types-1.1 \
|
||||
arithmoi-0.13.0.0_4 \
|
||||
assoc-1.1.1 \
|
||||
async-2.2.5_2 \
|
||||
attoparsec-0.14.4_5 \
|
||||
arithmoi-0.13.0.1 \
|
||||
assoc-1.1.1_1 \
|
||||
async-2.2.5_3 \
|
||||
attoparsec-0.14.4_6 \
|
||||
barbies-2.1.1.0 \
|
||||
base-compat-0.12.3 \
|
||||
base-orphans-0.9.2 \
|
||||
bifunctors-5.6.2 \
|
||||
base-orphans-0.9.3 \
|
||||
bifunctors-5.6.2_2 \
|
||||
bimap-0.5.0 \
|
||||
bitwise-1.0.0.1_9 \
|
||||
bitwise-1.0.0.1_11 \
|
||||
blaze-builder-0.4.2.3 \
|
||||
blaze-html-0.9.2.0_1 \
|
||||
blaze-markup-0.8.3.0_2 \
|
||||
boring-0.2.2 \
|
||||
bv-sized-1.0.5_1 \
|
||||
boring-0.2.2_1 \
|
||||
bv-sized-1.0.6 \
|
||||
call-stack-0.4.0 \
|
||||
case-insensitive-1.2.1.0 \
|
||||
character-ps-0.1 \
|
||||
chimera-0.4.1.0 \
|
||||
clock-0.8.4 \
|
||||
colour-2.3.6 \
|
||||
comonad-5.0.8_2 \
|
||||
comonad-5.0.9_1 \
|
||||
concurrent-extra-0.7.0.12 \
|
||||
config-value-0.8.3_6 \
|
||||
concurrent-output-1.10.21 \
|
||||
config-value-0.8.3_9 \
|
||||
constraints-0.14.2_1 \
|
||||
contravariant-1.5.5 \
|
||||
criterion-measurement-0.2.2.0 \
|
||||
cryptohash-sha1-0.11.101.0_5 \
|
||||
data-fix-0.3.4 \
|
||||
deriving-compat-0.6.6 \
|
||||
criterion-measurement-0.2.3.0 \
|
||||
cryptohash-sha256-0.11.102.1_6 \
|
||||
data-fix-0.3.4_1 \
|
||||
deriving-compat-0.6.7_1 \
|
||||
distributive-0.6.2.1_1 \
|
||||
dlist-1.0_2 \
|
||||
erf-2.0.0.0 \
|
||||
exact-pi-0.5.0.2 \
|
||||
extra-1.7.16 \
|
||||
extra-1.8 \
|
||||
file-embed-0.0.16.0 \
|
||||
fingertree-0.1.5.0 \
|
||||
free-5.2_5 \
|
||||
generically-0.1.1_3 \
|
||||
free-5.2_7 \
|
||||
generically-0.1.1_4 \
|
||||
gitrev-1.3.1 \
|
||||
happy-1.20.1.1 \
|
||||
hashable-1.4.7.0 \
|
||||
hashtables-1.3.1 \
|
||||
haskell-lexer-1.1.1 \
|
||||
happy-2.1.5 \
|
||||
happy-lib-2.1.5 \
|
||||
hashable-1.5.0.0_1 \
|
||||
hashtables-1.4.2 \
|
||||
haskell-lexer-1.2.1 \
|
||||
hedgehog-1.5_2 \
|
||||
heredoc-0.2.0.0 \
|
||||
hgmp-0.1.2.1_2 \
|
||||
hsc2hs-0.68.10_2 \
|
||||
hsc2hs-0.68.10_4 \
|
||||
ieee754-0.8.0 \
|
||||
indexed-traversable-0.1.4 \
|
||||
indexed-traversable-instances-0.1.2 \
|
||||
infinite-list-0.1.1 \
|
||||
integer-conversion-0.1.1 \
|
||||
integer-logarithms-1.0.3.1_6 \
|
||||
indexed-traversable-0.1.4_1 \
|
||||
indexed-traversable-instances-0.1.2_1 \
|
||||
infinite-list-0.1.2 \
|
||||
integer-conversion-0.1.1_1 \
|
||||
integer-logarithms-1.0.4 \
|
||||
integer-roots-1.0.2.0_1 \
|
||||
invariant-0.6.3 \
|
||||
io-streams-1.5.2.2_5 \
|
||||
kan-extensions-5.2.6 \
|
||||
invariant-0.6.4_1 \
|
||||
io-streams-1.5.2.2_6 \
|
||||
kan-extensions-5.2.6_1 \
|
||||
language-c99-0.2.0 \
|
||||
language-c99-simple-0.3.0 \
|
||||
language-c99-util-0.2.0 \
|
||||
lens-5.2.3_5 \
|
||||
lens-5.3.4 \
|
||||
libBF-0.6.8 \
|
||||
libffi-0.2.1 \
|
||||
megaparsec-9.6.1 \
|
||||
lifted-async-0.10.2.7 \
|
||||
lifted-base-0.2.3.12 \
|
||||
megaparsec-9.7.0 \
|
||||
mmorph-1.2.0_3 \
|
||||
mod-0.2.0.1 \
|
||||
monad-control-1.0.3.1 \
|
||||
monadLib-3.10.1 \
|
||||
network-3.2.1.0 \
|
||||
monadLib-3.10.3 \
|
||||
network-3.2.7.0 \
|
||||
network-uri-2.6.4.2_1 \
|
||||
newtype-generics-0.6.2_4 \
|
||||
numtype-dk-0.5.0.3 \
|
||||
optparse-applicative-0.18.1.0 \
|
||||
optparse-applicative-0.18.1.0_1 \
|
||||
ordered-containers-0.2.4 \
|
||||
os-string-2.0.6 \
|
||||
os-string-2.0.7 \
|
||||
panic-0.4.0.1 \
|
||||
parallel-3.2.2.0_8 \
|
||||
parameterized-utils-2.1.8.0_1 \
|
||||
parallel-3.2.2.0_9 \
|
||||
parameterized-utils-2.1.10.0 \
|
||||
parser-combinators-1.3.0_1 \
|
||||
pretty-show-1.10 \
|
||||
prettyprinter-1.7.1 \
|
||||
prettyprinter-ansi-terminal-1.1.3 \
|
||||
primitive-0.9.0.0_1 \
|
||||
primitive-0.9.0.0_2 \
|
||||
profunctors-5.6.2_3 \
|
||||
random-1.2.1.2 \
|
||||
reflection-2.1.8 \
|
||||
random-1.2.1.3 \
|
||||
reflection-2.1.9_1 \
|
||||
resourcet-1.3.0 \
|
||||
s-cargot-0.1.6.0 \
|
||||
safe-exceptions-0.1.7.4_1 \
|
||||
sbv-10.10 \
|
||||
scientific-0.3.8.0_1 \
|
||||
semialign-1.3.1_1 \
|
||||
semigroupoids-6.0.1_1 \
|
||||
scientific-0.3.8.0_2 \
|
||||
semialign-1.3.1_2 \
|
||||
semigroupoids-6.0.1_2 \
|
||||
semigroups-0.20 \
|
||||
semirings-0.7 \
|
||||
simple-smt-0.9.7 \
|
||||
splitmix-0.1.0.5_1 \
|
||||
simple-smt-0.9.8 \
|
||||
splitmix-0.1.1 \
|
||||
strict-0.5.1_1 \
|
||||
syb-0.7.2.4 \
|
||||
tagged-0.8.8_1 \
|
||||
tagged-0.8.9 \
|
||||
tasty-1.5.3_1 \
|
||||
tasty-hedgehog-1.4.0.2_6 \
|
||||
tasty-hunit-0.10.2 \
|
||||
temporary-1.3 \
|
||||
text-iso8601-0.1.1 \
|
||||
text-short-0.1.6_2 \
|
||||
terminal-size-0.3.4_1 \
|
||||
text-iso8601-0.1.1_2 \
|
||||
text-short-0.1.6_3 \
|
||||
tf-random-0.5 \
|
||||
th-abstraction-0.7.0.0 \
|
||||
th-compat-0.1.5_2 \
|
||||
th-lift-0.8.4_2 \
|
||||
th-abstraction-0.7.1.0_1 \
|
||||
th-compat-0.1.6 \
|
||||
th-lift-0.8.6 \
|
||||
th-lift-instances-0.1.20 \
|
||||
these-1.2.1_1 \
|
||||
time-compat-1.9.7_2 \
|
||||
these-1.2.1_2 \
|
||||
time-compat-1.9.8 \
|
||||
toml-parser-2.0.1.0_1 \
|
||||
transformers-base-0.4.6 \
|
||||
transformers-compat-0.7.2 \
|
||||
unbounded-delays-0.1.1.1 \
|
||||
uniplate-1.6.13_1 \
|
||||
unliftio-0.2.25.0 \
|
||||
unliftio-0.2.25.1 \
|
||||
unliftio-core-0.2.1.0_4 \
|
||||
unordered-containers-0.2.20_3 \
|
||||
unordered-containers-0.2.20_4 \
|
||||
utf8-string-1.0.2 \
|
||||
uuid-types-1.0.6_1 \
|
||||
vector-0.13.1.0_1 \
|
||||
vector-stream-0.1.0.1_1 \
|
||||
versions-6.0.7 \
|
||||
uuid-types-1.0.6_2 \
|
||||
vector-0.13.2.0_1 \
|
||||
vector-stream-0.1.0.1_3 \
|
||||
versions-6.0.8 \
|
||||
void-0.7.3 \
|
||||
what4-1.6 \
|
||||
what4-1.7 \
|
||||
witherable-0.5_1 \
|
||||
wl-pprint-annotated-0.1.0.1_3 \
|
||||
zenc-0.1.2 \
|
||||
zlib-0.7.1.0_1 \
|
||||
zlib-0.7.1.0_2 \
|
||||
zlib-bindings-0.1.1.5_2
|
||||
|
||||
CABAL_FLAGS= -relocatable
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
TIMESTAMP = 1724324178
|
||||
SHA256 (cabal/cryptol-3.2.0/cryptol-3.2.0.tar.gz) = ed078965bd7d2468eb403c698374d9525bc2314f9fc53fc7683a7cab5d2ba25b
|
||||
SIZE (cabal/cryptol-3.2.0/cryptol-3.2.0.tar.gz) = 557100
|
||||
TIMESTAMP = 1742629041
|
||||
SHA256 (cabal/cryptol-3.3.0/cryptol-3.3.0.tar.gz) = 3ba3d1083c3aacd6c5ad5bbe4fddb9d9519717af4d3c6fe05d9c0c698fb737b0
|
||||
SIZE (cabal/cryptol-3.3.0/cryptol-3.3.0.tar.gz) = 579944
|
||||
SHA256 (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 531ceaed7f62844c2a63a7cbfdcab332ea5eaa218e9922ca3305580438adc46d
|
||||
SIZE (cabal/BoundedChan-1.0.3.0/BoundedChan-1.0.3.0.tar.gz) = 3591
|
||||
SHA256 (cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz) = 789d93e6188845f009779b1c800b043f524587a21d324be8594d09b0f8e86cf1
|
||||
|
@ -9,50 +9,56 @@ SHA256 (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = f7a6abf136eac1c6b370678e
|
|||
SIZE (cabal/MemoTrie-0.6.11/MemoTrie-0.6.11.tar.gz) = 8369
|
||||
SHA256 (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 174da8a0f4004d17b08182cb25b0e045fce5de1fdeae84e9d75fdea2867aab55
|
||||
SIZE (cabal/OneTuple-0.4.2/OneTuple-0.4.2.tar.gz) = 5207
|
||||
SHA256 (cabal/OneTuple-0.4.2/revision/1.cabal) = dd7266f983da2970e5662168add810dabadabb3a4bb9b137181eafc0ac7ea4d4
|
||||
SIZE (cabal/OneTuple-0.4.2/revision/1.cabal) = 2013
|
||||
SHA256 (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = a3b2216ddbaf481dbc82414b6120f8b726d969db3f0b51f20a7a45425ef36e7f
|
||||
SIZE (cabal/QuickCheck-2.15.0.1/QuickCheck-2.15.0.1.tar.gz) = 81502
|
||||
SHA256 (cabal/QuickCheck-2.15.0.1/revision/1.cabal) = 0cfd337bb9e6fbf09255bd24bb498a156f1d9bcd465396ac8657b25034b9ee31
|
||||
SIZE (cabal/QuickCheck-2.15.0.1/revision/1.cabal) = 9046
|
||||
SHA256 (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5e4b39da395656a59827b0280508aafdc70335798b50e5d6fd52596026251825
|
||||
SIZE (cabal/StateVar-1.2.2/StateVar-1.2.2.tar.gz) = 5048
|
||||
SHA256 (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 147b5f8db810bca0ea8952ef974982ffc447cecd21f01e1ea1121df77e276518
|
||||
SIZE (cabal/adjunctions-4.4.2/adjunctions-4.4.2.tar.gz) = 17201
|
||||
SHA256 (cabal/adjunctions-4.4.2/revision/2.cabal) = 30206ae6b78d3d523c2ff73640f84b51fa204ac3f05267a5f0c77c486b96781d
|
||||
SIZE (cabal/adjunctions-4.4.2/revision/2.cabal) = 3379
|
||||
SHA256 (cabal/adjunctions-4.4.3/adjunctions-4.4.3.tar.gz) = 8beb121cee2bf913dac3188ed1e0e05cf1a0d0f12d4cb4a27c0da58450eb189a
|
||||
SIZE (cabal/adjunctions-4.4.3/adjunctions-4.4.3.tar.gz) = 16788
|
||||
SHA256 (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = daa25cf428256ad05d21f2bfa44077c1b14d6c784b7930a202ee901f11cc6baa
|
||||
SIZE (cabal/aeson-2.2.3.0/aeson-2.2.3.0.tar.gz) = 340855
|
||||
SHA256 (cabal/aeson-2.2.3.0/revision/1.cabal) = ef66d29cb5b8d87a144838dfd5745bb3ac6b8fc4b142129fac84814baee13660
|
||||
SIZE (cabal/aeson-2.2.3.0/revision/1.cabal) = 6351
|
||||
SHA256 (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = c92efe86f8eb959ee03be6c04ee57ebc7e4abc75a6c4b26551215d7443e92a07
|
||||
SIZE (cabal/alex-3.5.1.0/alex-3.5.1.0.tar.gz) = 85982
|
||||
SHA256 (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 7e448fcdf8a5a97f3d30e5168f834641df9945fafa65f2e87d73ff9556a1bc4c
|
||||
SIZE (cabal/ansi-terminal-1.1.1/ansi-terminal-1.1.1.tar.gz) = 35398
|
||||
SHA256 (cabal/aeson-2.2.3.0/revision/3.cabal) = 61e559f2bad61a98aac564f2a4fd892d21e9e1712e14e3db93326317aa944a9b
|
||||
SIZE (cabal/aeson-2.2.3.0/revision/3.cabal) = 6378
|
||||
SHA256 (cabal/alex-3.5.2.0/alex-3.5.2.0.tar.gz) = 913602f0464827470ecd9ed7590ddbbc5abab045a2b45059c46f80d17f0dc008
|
||||
SIZE (cabal/alex-3.5.2.0/alex-3.5.2.0.tar.gz) = 91436
|
||||
SHA256 (cabal/ansi-terminal-1.1.2/ansi-terminal-1.1.2.tar.gz) = a8d04a3e0451e22a6499a92311f0df1196dc65b687df7d10e3f30d92420156b0
|
||||
SIZE (cabal/ansi-terminal-1.1.2/ansi-terminal-1.1.2.tar.gz) = 36259
|
||||
SHA256 (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = f2e5333eb78da5f4dd330fca0c81a59276cc150c625647cd20f57b7f297a5d25
|
||||
SIZE (cabal/ansi-terminal-types-1.1/ansi-terminal-types-1.1.tar.gz) = 4746
|
||||
SHA256 (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 4c4b5bb212e91d63d0abcdc2c00b7f53e116428bfe04f2ee016d83fa50779d2d
|
||||
SIZE (cabal/arithmoi-0.13.0.0/arithmoi-0.13.0.0.tar.gz) = 186134
|
||||
SHA256 (cabal/arithmoi-0.13.0.0/revision/4.cabal) = 58e8fb7ebcaf63e0207fbdd0b4317b36d9bc2dcf3f01e312079d68b6865bb5b6
|
||||
SIZE (cabal/arithmoi-0.13.0.0/revision/4.cabal) = 7818
|
||||
SHA256 (cabal/arithmoi-0.13.0.1/arithmoi-0.13.0.1.tar.gz) = 98827b16171e94c0daeab7f0671f272b63072e5056533220c0532be1f93dde22
|
||||
SIZE (cabal/arithmoi-0.13.0.1/arithmoi-0.13.0.1.tar.gz) = 186345
|
||||
SHA256 (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 231149b7fef09f5dd95af51228615e3b296dbd0faadeca053e0644a4b13b0ff6
|
||||
SIZE (cabal/assoc-1.1.1/assoc-1.1.1.tar.gz) = 3158
|
||||
SHA256 (cabal/assoc-1.1.1/revision/1.cabal) = 0ab39b4d1feb4caca95ac6e314f48782b27a86a6b8d1f5e8dc4be9fbed11185f
|
||||
SIZE (cabal/assoc-1.1.1/revision/1.cabal) = 1420
|
||||
SHA256 (cabal/async-2.2.5/async-2.2.5.tar.gz) = 1818473ebab9212afad2ed76297aefde5fae8b5d4404daf36939aece6a8f16f7
|
||||
SIZE (cabal/async-2.2.5/async-2.2.5.tar.gz) = 15742
|
||||
SHA256 (cabal/async-2.2.5/revision/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35
|
||||
SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257
|
||||
SHA256 (cabal/async-2.2.5/revision/3.cabal) = b7648c6165729a973d95cb328f9fd874813a81c727707e8b2552b4f03399763b
|
||||
SIZE (cabal/async-2.2.5/revision/3.cabal) = 3366
|
||||
SHA256 (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 3f337fe58624565de12426f607c23e60c7b09c86b4e3adfc827ca188c9979e6c
|
||||
SIZE (cabal/attoparsec-0.14.4/attoparsec-0.14.4.tar.gz) = 160701
|
||||
SHA256 (cabal/attoparsec-0.14.4/revision/5.cabal) = ec709539b881d6431620bd7c40fbfa680aaf4a98c6f35b51536d8f455682b1ae
|
||||
SIZE (cabal/attoparsec-0.14.4/revision/5.cabal) = 5703
|
||||
SHA256 (cabal/attoparsec-0.14.4/revision/6.cabal) = 35129d0ab1741f000f1a7d2fc839544919ee6fbb8f2d6e7f0a629c41f91035f3
|
||||
SIZE (cabal/attoparsec-0.14.4/revision/6.cabal) = 5914
|
||||
SHA256 (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 73972093f6a5f8e8daaeb5f1058abbd0944d3fcb9f073f2ad3cdb94095d4d2b7
|
||||
SIZE (cabal/barbies-2.1.1.0/barbies-2.1.1.0.tar.gz) = 41687
|
||||
SHA256 (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = db26999f10f59f2357d0dbaa19b99b2075ab055f3b49ea8396a7580c23cfac8d
|
||||
SIZE (cabal/base-compat-0.12.3/base-compat-0.12.3.tar.gz) = 36583
|
||||
SHA256 (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 6211900916955b84687c61b5e4fa98ce110e511a96086b7a93f06dd63c97ba93
|
||||
SIZE (cabal/base-orphans-0.9.2/base-orphans-0.9.2.tar.gz) = 26705
|
||||
SHA256 (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 17a35079c8719014560c028d9805ec1301b900972adf212e00af23fe3ebfabd8
|
||||
SIZE (cabal/base-orphans-0.9.3/base-orphans-0.9.3.tar.gz) = 19923
|
||||
SHA256 (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 1086a9285061eed0c2c5d3cb65aa223defd52fca6d0515bb69ddf2dbc3d9697a
|
||||
SIZE (cabal/bifunctors-5.6.2/bifunctors-5.6.2.tar.gz) = 38193
|
||||
SHA256 (cabal/bifunctors-5.6.2/revision/2.cabal) = 115a621c4eaaabb07834f9e4dd3371e21f39d034305062f4bd5cd72c2f8880d2
|
||||
SIZE (cabal/bifunctors-5.6.2/revision/2.cabal) = 3332
|
||||
SHA256 (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = b0b44b0f2eaceb83f46dfa3d1747e080c45204c64d18bb9e63747299266f0c95
|
||||
SIZE (cabal/bimap-0.5.0/bimap-0.5.0.tar.gz) = 11205
|
||||
SHA256 (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 76ae082a9f1950555dae8f1fb57ac6a7da85f30114b2f252dd2fa5e567fbbe0f
|
||||
SIZE (cabal/bitwise-1.0.0.1/bitwise-1.0.0.1.tar.gz) = 16473
|
||||
SHA256 (cabal/bitwise-1.0.0.1/revision/9.cabal) = 805aeb3ccd9d80398665c162647a5cb1d2f61d799720d8c84ee5bbe98db981f5
|
||||
SIZE (cabal/bitwise-1.0.0.1/revision/9.cabal) = 3110
|
||||
SHA256 (cabal/bitwise-1.0.0.1/revision/11.cabal) = 74be2244a58860cae94ab1875e0bfdb4d9c3b35df46f783d01e7f886ff362d00
|
||||
SIZE (cabal/bitwise-1.0.0.1/revision/11.cabal) = 3111
|
||||
SHA256 (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 66291874236b7342adab033e3cddae414a23a2865dfb44095dfc4e0b9d46703b
|
||||
SIZE (cabal/blaze-builder-0.4.2.3/blaze-builder-0.4.2.3.tar.gz) = 60777
|
||||
SHA256 (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 65542ef39f7644a3d76afcadeb976d3e334c6947516b7313fcb59165cea1608f
|
||||
|
@ -65,10 +71,10 @@ SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d4
|
|||
SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360
|
||||
SHA256 (cabal/boring-0.2.2/boring-0.2.2.tar.gz) = 928baf1fff69b17658fb7014a1cc3e220b3b69b52271ae9c0452f82d67b3ef86
|
||||
SIZE (cabal/boring-0.2.2/boring-0.2.2.tar.gz) = 5474
|
||||
SHA256 (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 5a9d855a648d8ec11fc6d6a4465fbc1cc4f7783d8fd96aa07cafe784536cb4f9
|
||||
SIZE (cabal/bv-sized-1.0.5/bv-sized-1.0.5.tar.gz) = 20218
|
||||
SHA256 (cabal/bv-sized-1.0.5/revision/1.cabal) = f6a12df8c83a0aa9dbbd1413a4d53c5223c7fde6faf1bcb458e3be82ade8709e
|
||||
SIZE (cabal/bv-sized-1.0.5/revision/1.cabal) = 2162
|
||||
SHA256 (cabal/boring-0.2.2/revision/1.cabal) = f6d705c30830a337862210f12c4ce38d5ab4d3660631e0214b504f10815a2e8d
|
||||
SIZE (cabal/boring-0.2.2/revision/1.cabal) = 1779
|
||||
SHA256 (cabal/bv-sized-1.0.6/bv-sized-1.0.6.tar.gz) = ade2a83076109170df4adbe0e7073328b877c8205175f48fbeba4e3f13421ff2
|
||||
SIZE (cabal/bv-sized-1.0.6/bv-sized-1.0.6.tar.gz) = 20294
|
||||
SHA256 (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 430bcf8a3404f7e55319573c0b807b1356946f0c8f289bb3d9afb279c636b87b
|
||||
SIZE (cabal/call-stack-0.4.0/call-stack-0.4.0.tar.gz) = 2757
|
||||
SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406
|
||||
|
@ -81,32 +87,38 @@ SHA256 (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 6ae9898afe788a5e334cd5fad5d18a3c
|
|||
SIZE (cabal/clock-0.8.4/clock-0.8.4.tar.gz) = 9322
|
||||
SHA256 (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 2cd35dcd6944a5abc9f108a5eb5ee564b6b1fa98a9ec79cefcc20b588991f871
|
||||
SIZE (cabal/colour-2.3.6/colour-2.3.6.tar.gz) = 20675
|
||||
SHA256 (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = ef6cdf2cc292cc43ee6aa96c581b235fdea8ab44a0bffb24dc79ae2b2ef33d13
|
||||
SIZE (cabal/comonad-5.0.8/comonad-5.0.8.tar.gz) = 15227
|
||||
SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5624bd05a33e5f95b7581b26f8229c5e3
|
||||
SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
|
||||
SHA256 (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 69fb0eb49a80055a9b76d31d0a5648777c4050ac8dbf56a9344b862ed878a789
|
||||
SIZE (cabal/comonad-5.0.9/comonad-5.0.9.tar.gz) = 14455
|
||||
SHA256 (cabal/comonad-5.0.9/revision/1.cabal) = 75aded79bf583c908e4e4687c0ae067f256e2507536b75f58ffba7748767c353
|
||||
SIZE (cabal/comonad-5.0.9/revision/1.cabal) = 3587
|
||||
SHA256 (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 040e6db9e0147de9929661759930f1566a7250add4c7f65b04dc6e070c991df9
|
||||
SIZE (cabal/concurrent-extra-0.7.0.12/concurrent-extra-0.7.0.12.tar.gz) = 15844
|
||||
SHA256 (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 4a20f3af43a1023539fd35e6d94a13c3c55e296eb233149f2371c2aa9ea3b512
|
||||
SIZE (cabal/concurrent-output-1.10.21/concurrent-output-1.10.21.tar.gz) = 23875
|
||||
SHA256 (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 7cb8d046be5adc09b19dae6b0ad1010b0292f069034c83d28954f1905ee76c5e
|
||||
SIZE (cabal/config-value-0.8.3/config-value-0.8.3.tar.gz) = 20540
|
||||
SHA256 (cabal/config-value-0.8.3/revision/6.cabal) = 3b9446be1a36aad5f8b71cd82bfe2d92ac33aae38a6823adc83a1e171ee29e50
|
||||
SIZE (cabal/config-value-0.8.3/revision/6.cabal) = 1983
|
||||
SHA256 (cabal/config-value-0.8.3/revision/9.cabal) = 530f96d3ae5628cb78f2b753e70d4d882e1c04be40166e2a09d601e224ee4e20
|
||||
SIZE (cabal/config-value-0.8.3/revision/9.cabal) = 1982
|
||||
SHA256 (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 4f249f805d1807ecd86e36e2aa9c9ad8206d2b70d50ff7f11b79721e08fd19f8
|
||||
SIZE (cabal/constraints-0.14.2/constraints-0.14.2.tar.gz) = 21204
|
||||
SHA256 (cabal/constraints-0.14.2/revision/1.cabal) = 381a53e9d5aad937644d13b5c2c4fcc3698aeba2f83945a42100c6324e0ea8e7
|
||||
SIZE (cabal/constraints-0.14.2/revision/1.cabal) = 2384
|
||||
SHA256 (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 062fd66580d7aad0b5ba93e644ffa7feee69276ef50f20d4ed9f1deb7642dffa
|
||||
SIZE (cabal/contravariant-1.5.5/contravariant-1.5.5.tar.gz) = 13815
|
||||
SHA256 (cabal/criterion-measurement-0.2.2.0/criterion-measurement-0.2.2.0.tar.gz) = 0901867664c04f436e8dce54967bda08a6045530b808abae47cec60990459ecd
|
||||
SIZE (cabal/criterion-measurement-0.2.2.0/criterion-measurement-0.2.2.0.tar.gz) = 17900
|
||||
SHA256 (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = a4042c97ad02eb68e766577ca35c01970c33e96cfd74ccb4dd403e3476a23241
|
||||
SIZE (cabal/cryptohash-sha1-0.11.101.0/cryptohash-sha1-0.11.101.0.tar.gz) = 11563
|
||||
SHA256 (cabal/cryptohash-sha1-0.11.101.0/revision/5.cabal) = fa87bda570450a0abb27f8828058ee4a43075470140eac8c90d1a085574212a8
|
||||
SIZE (cabal/cryptohash-sha1-0.11.101.0/revision/5.cabal) = 3072
|
||||
SHA256 (cabal/criterion-measurement-0.2.3.0/criterion-measurement-0.2.3.0.tar.gz) = cc75dca35e8473d6e0c7419fd5a577c2cbb202b3ae0d8af237756c2aeb7cdfe2
|
||||
SIZE (cabal/criterion-measurement-0.2.3.0/criterion-measurement-0.2.3.0.tar.gz) = 17774
|
||||
SHA256 (cabal/cryptohash-sha256-0.11.102.1/cryptohash-sha256-0.11.102.1.tar.gz) = 73a7dc7163871a80837495039a099967b11f5c4fe70a118277842f7a713c6bf6
|
||||
SIZE (cabal/cryptohash-sha256-0.11.102.1/cryptohash-sha256-0.11.102.1.tar.gz) = 15707
|
||||
SHA256 (cabal/cryptohash-sha256-0.11.102.1/revision/6.cabal) = 0e9de2ccce261e7a5b027e842f6f47f50eb0e6059a0de98a5479f75aa8164107
|
||||
SIZE (cabal/cryptohash-sha256-0.11.102.1/revision/6.cabal) = 5487
|
||||
SHA256 (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 8df052d18c047ab9e9200536a8799b5af3997ebecbbb091a7384b6be8416ab37
|
||||
SIZE (cabal/data-fix-0.3.4/data-fix-0.3.4.tar.gz) = 5992
|
||||
SHA256 (cabal/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 61fe93fd01405cc447ba85ea477183b0beb8b2639963f900719392d21c4756b9
|
||||
SIZE (cabal/deriving-compat-0.6.6/deriving-compat-0.6.6.tar.gz) = 74588
|
||||
SHA256 (cabal/data-fix-0.3.4/revision/1.cabal) = ee78be6168ca0878d670fede957195d3debf4a37a806d13d72182b274901261b
|
||||
SIZE (cabal/data-fix-0.3.4/revision/1.cabal) = 1406
|
||||
SHA256 (cabal/deriving-compat-0.6.7/deriving-compat-0.6.7.tar.gz) = ddc45f1013f6203bd5c4f990a938db4e571abb7aac23dad95a4592e624c7f5df
|
||||
SIZE (cabal/deriving-compat-0.6.7/deriving-compat-0.6.7.tar.gz) = 70175
|
||||
SHA256 (cabal/deriving-compat-0.6.7/revision/1.cabal) = b4edb909e6ecc7e0c88dda5f7f25579ed682ab3a97388e9a9e1976aa9ca0b772
|
||||
SIZE (cabal/deriving-compat-0.6.7/revision/1.cabal) = 7986
|
||||
SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
|
||||
SIZE (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = 8140
|
||||
SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432b03422b6408e830a8dff30e6c4334ef1a48680c
|
||||
|
@ -115,90 +127,116 @@ SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292
|
|||
SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
|
||||
SHA256 (cabal/dlist-1.0/revision/2.cabal) = 854727594c5a816ab3d10f15b1bc4fedaf9e3f7d1ef517a2bb9011f29ba261d2
|
||||
SIZE (cabal/dlist-1.0/revision/2.cabal) = 3942
|
||||
SHA256 (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 24f0b79c7e1d25cb2cd44c2258d7a464bf6db8079775b50b60b54a254616b337
|
||||
SIZE (cabal/erf-2.0.0.0/erf-2.0.0.0.tar.gz) = 1918
|
||||
SHA256 (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 441dd2516902f13801c41310fa98ea82f7a946e8ddd2f775b19931f7e91eacf6
|
||||
SIZE (cabal/exact-pi-0.5.0.2/exact-pi-0.5.0.2.tar.gz) = 9255
|
||||
SHA256 (cabal/extra-1.7.16/extra-1.7.16.tar.gz) = 250c6d43c30b2c71f2cf498a10e69e43ac035974d3819529385d99e42ce77c70
|
||||
SIZE (cabal/extra-1.7.16/extra-1.7.16.tar.gz) = 46190
|
||||
SHA256 (cabal/extra-1.8/extra-1.8.tar.gz) = 2fa4ce5eae50560bba80f1883913cf2ed52b3d87fd290dae27d838c94f5389a1
|
||||
SIZE (cabal/extra-1.8/extra-1.8.tar.gz) = 47005
|
||||
SHA256 (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 5f18672eff936355557cdd163905451205d7ee22742edac313dd27cf42a3f415
|
||||
SIZE (cabal/file-embed-0.0.16.0/file-embed-0.0.16.0.tar.gz) = 7198
|
||||
SHA256 (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = f3263c92fa8b18f1e1a64cd12480c8c1bee2c1fa0584ab3345f3dd8522bdbf71
|
||||
SIZE (cabal/fingertree-0.1.5.0/fingertree-0.1.5.0.tar.gz) = 20656
|
||||
SHA256 (cabal/free-5.2/free-5.2.tar.gz) = 72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89
|
||||
SIZE (cabal/free-5.2/free-5.2.tar.gz) = 58781
|
||||
SHA256 (cabal/free-5.2/revision/5.cabal) = 31e49c0d27e9a9493bf3196449501cf2c546e5e988574d64380518fed0ccc46e
|
||||
SIZE (cabal/free-5.2/revision/5.cabal) = 4176
|
||||
SHA256 (cabal/free-5.2/revision/7.cabal) = 7f3992a66987bbba5a6546420f6129fb9b66b80cdd005d34ec77a1e1c8ed8340
|
||||
SIZE (cabal/free-5.2/revision/7.cabal) = 4178
|
||||
SHA256 (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 04c5a436bec4b041f71a733f56a1bd7f435f63dde8d3eb5c1f48d55b4dbc43cf
|
||||
SIZE (cabal/generically-0.1.1/generically-0.1.1.tar.gz) = 2870
|
||||
SHA256 (cabal/generically-0.1.1/revision/3.cabal) = 1b1b638ac022d2404becb6c117b04bfdc2247429ba58596271ca2cdc413288c2
|
||||
SIZE (cabal/generically-0.1.1/revision/3.cabal) = 1203
|
||||
SHA256 (cabal/generically-0.1.1/revision/4.cabal) = 3f64278f5c582dd7c6963967b1290079bcd03b8348989f909ac9bd972ddc452e
|
||||
SIZE (cabal/generically-0.1.1/revision/4.cabal) = 1203
|
||||
SHA256 (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = a89964db24f56727b0e7b10c98fe7c116d721d8c46f52d6e77088669aaa38332
|
||||
SIZE (cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz) = 3756
|
||||
SHA256 (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 8b4e7dc5a6c5fd666f8f7163232931ab28746d0d17da8fa1cbd68be9e878881b
|
||||
SIZE (cabal/happy-1.20.1.1/happy-1.20.1.1.tar.gz) = 183409
|
||||
SHA256 (cabal/hashable-1.4.7.0/hashable-1.4.7.0.tar.gz) = 3baee4c9027a08830d148ec524cbc0471de645e1e8426d46780ef2758df0e8da
|
||||
SIZE (cabal/hashable-1.4.7.0/hashable-1.4.7.0.tar.gz) = 89467
|
||||
SHA256 (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 6f3d40eb22ab87279b9a0bf51c22307706b240c90a664c82bfae2392268c59c3
|
||||
SIZE (cabal/hashtables-1.3.1/hashtables-1.3.1.tar.gz) = 58697
|
||||
SHA256 (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = c8eeda569a30f115244c17920247ba2c45d11b3e30805f648a878f7855d8f349
|
||||
SIZE (cabal/haskell-lexer-1.1.1/haskell-lexer-1.1.1.tar.gz) = 14499
|
||||
SHA256 (cabal/happy-2.1.5/happy-2.1.5.tar.gz) = 7af82f24f65bf951b24000b9e16ee01c750ed40edc0b256881d29daee85c41c4
|
||||
SIZE (cabal/happy-2.1.5/happy-2.1.5.tar.gz) = 61293
|
||||
SHA256 (cabal/happy-lib-2.1.5/happy-lib-2.1.5.tar.gz) = a25a6c5a2db150caf4b8c91e048e302f776372034b84b8f9461fea0483da94eb
|
||||
SIZE (cabal/happy-lib-2.1.5/happy-lib-2.1.5.tar.gz) = 93792
|
||||
SHA256 (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = e58b3a8e18da5f6cd7e937e5fd683e500bb1f8276b3768269759119ca0cddb6a
|
||||
SIZE (cabal/hashable-1.5.0.0/hashable-1.5.0.0.tar.gz) = 89062
|
||||
SHA256 (cabal/hashable-1.5.0.0/revision/1.cabal) = 2f23146cbe0325029927b221647695a4c7d6e97548ff731110979e34361f58ef
|
||||
SIZE (cabal/hashable-1.5.0.0/revision/1.cabal) = 5914
|
||||
SHA256 (cabal/hashtables-1.4.2/hashtables-1.4.2.tar.gz) = ca0e299fee6c0c918f45ce0907afbff1c3891998bb792d1717e4d5f12350ef0d
|
||||
SIZE (cabal/hashtables-1.4.2/hashtables-1.4.2.tar.gz) = 58869
|
||||
SHA256 (cabal/haskell-lexer-1.2.1/haskell-lexer-1.2.1.tar.gz) = 9d76e1528106b1b32e6e465264e39381ca4b450b72a4b5331e7e5127640a1a41
|
||||
SIZE (cabal/haskell-lexer-1.2.1/haskell-lexer-1.2.1.tar.gz) = 14602
|
||||
SHA256 (cabal/hedgehog-1.5/hedgehog-1.5.tar.gz) = e941609fb3deb9acb0caf161405bff1c84da92b2891753c6d937fb9970ea866a
|
||||
SIZE (cabal/hedgehog-1.5/hedgehog-1.5.tar.gz) = 79621
|
||||
SHA256 (cabal/hedgehog-1.5/revision/2.cabal) = c904dc9d8ae7b47a58771a0fbfb7a77882059a2b77c9c0c722dc16de504d0bd4
|
||||
SIZE (cabal/hedgehog-1.5/revision/2.cabal) = 4817
|
||||
SHA256 (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = c90d9fc61cb8cd812be510845493b6a6eddcc4b772581fd40a9433ed8f130f40
|
||||
SIZE (cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz) = 2449
|
||||
SHA256 (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = c681633d3e47d7eabd1cd43028a0e8f2e279a9c60c7701d0dc060145bd598023
|
||||
SIZE (cabal/hgmp-0.1.2.1/hgmp-0.1.2.1.tar.gz) = 15147
|
||||
SHA256 (cabal/hgmp-0.1.2.1/revision/2.cabal) = b3eb47429c31be3cac8b124cc0e1836fc9d7ca149c13c896362e95bbce03c696
|
||||
SIZE (cabal/hgmp-0.1.2.1/revision/2.cabal) = 2475
|
||||
SHA256 (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 6f4e34d788fe2ca7091ee0a10307ee8a7c060a1ba890f2bffad16a7d4d5cef76
|
||||
SIZE (cabal/hsc2hs-0.68.10/hsc2hs-0.68.10.tar.gz) = 40517
|
||||
SHA256 (cabal/hsc2hs-0.68.10/revision/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325
|
||||
SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032
|
||||
SHA256 (cabal/hsc2hs-0.68.10/revision/4.cabal) = 725ef6da03d3d6e332db4de0a35bee45d72e4d31decc5ec7f153e6837af5f03e
|
||||
SIZE (cabal/hsc2hs-0.68.10/revision/4.cabal) = 3114
|
||||
SHA256 (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 0e2dff9c37f59acf5c64f978ec320005e9830f276f9f314e4bfed3f482289ad1
|
||||
SIZE (cabal/ieee754-0.8.0/ieee754-0.8.0.tar.gz) = 17564
|
||||
SHA256 (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 58be09afdf3ad5a25c2aa0d2a7df80d602df09f4e76d3abf2b7cdb0e75d03b22
|
||||
SIZE (cabal/indexed-traversable-0.1.4/indexed-traversable-0.1.4.tar.gz) = 9465
|
||||
SHA256 (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 42d9e84a65a0c17c248233cab98ada872ff6140dfa24d109d6eb285204d07e7d
|
||||
SIZE (cabal/indexed-traversable-0.1.4/revision/1.cabal) = 2098
|
||||
SHA256 (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3c2bb62fba141d6696177070d63b88bc56b194bc60f6b73d2263b0244e2fc7c1
|
||||
SIZE (cabal/indexed-traversable-instances-0.1.2/indexed-traversable-instances-0.1.2.tar.gz) = 3673
|
||||
SHA256 (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = be6844861a29100031bc192cb846c403adb2bb1ea0ce0b65c26530671100afa8
|
||||
SIZE (cabal/infinite-list-0.1.1/infinite-list-0.1.1.tar.gz) = 21953
|
||||
SHA256 (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 68df0fc8070ae2c15f9e6febf1449fee364c131a6d1e93cac45e7895ba86dd89
|
||||
SIZE (cabal/indexed-traversable-instances-0.1.2/revision/1.cabal) = 2401
|
||||
SHA256 (cabal/infinite-list-0.1.2/infinite-list-0.1.2.tar.gz) = 6bae26bd8deee7c7f0afa1dc374094eb26546116c24f5bcc47b631e7608bbd6c
|
||||
SIZE (cabal/infinite-list-0.1.2/infinite-list-0.1.2.tar.gz) = 24232
|
||||
SHA256 (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = c18164a048073310f6353ebc64c9037b52a4b8299963ce05e027bcf60e22155a
|
||||
SIZE (cabal/integer-conversion-0.1.1/integer-conversion-0.1.1.tar.gz) = 6179
|
||||
SHA256 (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9b0a9f9fab609b15cd015865721fb05f744a1bc77ae92fd133872de528bbea7f
|
||||
SIZE (cabal/integer-logarithms-1.0.3.1/integer-logarithms-1.0.3.1.tar.gz) = 9023
|
||||
SHA256 (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 0595a16d458c9c5caa425dc8ebbeb5d9adffb0c8daf4720c1d93dfcfc31dd690
|
||||
SIZE (cabal/integer-logarithms-1.0.3.1/revision/6.cabal) = 3295
|
||||
SHA256 (cabal/integer-conversion-0.1.1/revision/1.cabal) = 941d4ae16e2124cbff5defe2abedb49efc8e03a594f817035bf231a317e6c1c9
|
||||
SIZE (cabal/integer-conversion-0.1.1/revision/1.cabal) = 2256
|
||||
SHA256 (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 6a93c76c2518cbe2d72ab17da6ae46d8cae93cbfb7c5a5ad5783f903c1448f45
|
||||
SIZE (cabal/integer-logarithms-1.0.4/integer-logarithms-1.0.4.tar.gz) = 8948
|
||||
SHA256 (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 45e3fc64c80e1e0b325988395c18e71885e15a1f5209f09343b52b549f1c5697
|
||||
SIZE (cabal/integer-roots-1.0.2.0/integer-roots-1.0.2.0.tar.gz) = 54903
|
||||
SHA256 (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 67a8b36c783337cb9f51a83adfc657eb8d7724a12c7b3ba186ba70ff7ce2c3b9
|
||||
SIZE (cabal/integer-roots-1.0.2.0/revision/1.cabal) = 2476
|
||||
SHA256 (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 8d2019e4a1060b88f2594df5256b086b07c09fff0f0dc5adf6163facee552fbf
|
||||
SIZE (cabal/invariant-0.6.3/invariant-0.6.3.tar.gz) = 28239
|
||||
SHA256 (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = a9e2ab4ee3e0d4613beb7bda36a8ebc4f72318450514f4832d2fa43b74f0aeb3
|
||||
SIZE (cabal/invariant-0.6.4/invariant-0.6.4.tar.gz) = 27079
|
||||
SHA256 (cabal/invariant-0.6.4/revision/1.cabal) = 4a9a609f4e93ffed158b3b4f5a80822c6da30aa71a5370307c0c00c2d658d1c6
|
||||
SIZE (cabal/invariant-0.6.4/revision/1.cabal) = 3513
|
||||
SHA256 (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = d365d5051696c15414ebe23749fc67475a532234b7c7d77060323d149a8fc4fe
|
||||
SIZE (cabal/io-streams-1.5.2.2/io-streams-1.5.2.2.tar.gz) = 64166
|
||||
SHA256 (cabal/io-streams-1.5.2.2/revision/5.cabal) = 2c7a6d55b40fb6cd97970de1ff96dc9a54e2eaedf6938f842c484b4e7959987f
|
||||
SIZE (cabal/io-streams-1.5.2.2/revision/5.cabal) = 9982
|
||||
SHA256 (cabal/io-streams-1.5.2.2/revision/6.cabal) = 92fb59655f173ccd60b8388277325aebb35b315c8c9987b18c86820d5051d98a
|
||||
SIZE (cabal/io-streams-1.5.2.2/revision/6.cabal) = 9653
|
||||
SHA256 (cabal/kan-extensions-5.2.6/kan-extensions-5.2.6.tar.gz) = fa82283c1c9ac3dc0951b7ca9f5b2e6f13d8331c20154ebb222b509824eeeccc
|
||||
SIZE (cabal/kan-extensions-5.2.6/kan-extensions-5.2.6.tar.gz) = 21718
|
||||
SHA256 (cabal/kan-extensions-5.2.6/revision/1.cabal) = e0b972f900a3c04c0f36d7e221e6b04343a5a1f00ce3aababff7932e173f0833
|
||||
SIZE (cabal/kan-extensions-5.2.6/revision/1.cabal) = 2581
|
||||
SHA256 (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 7062d0fb381308316f777b52a889ef6b4ed88c23804a1cf7b4653cac8b7bcc09
|
||||
SIZE (cabal/language-c99-0.2.0/language-c99-0.2.0.tar.gz) = 11220
|
||||
SHA256 (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 7275797bd2cfd4799ae0094ecd9da4e9333d12defd396277ac403343e542e06e
|
||||
SIZE (cabal/language-c99-simple-0.3.0/language-c99-simple-0.3.0.tar.gz) = 8293
|
||||
SHA256 (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 241b4ffce7339744eeb0b92d22814d04c6d137467a0e2f172dbec66d3e474633
|
||||
SIZE (cabal/language-c99-util-0.2.0/language-c99-util-0.2.0.tar.gz) = 5018
|
||||
SHA256 (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = df1e8ca8dd89d884994e0c80761a972088326fa43ed5d47c01b14abb710b994d
|
||||
SIZE (cabal/lens-5.2.3/lens-5.2.3.tar.gz) = 703220
|
||||
SHA256 (cabal/lens-5.2.3/revision/5.cabal) = 08f4e81aa3fa3f175f6932089d6bb8b17669e3d00aa2968b853287e5e8d7f024
|
||||
SIZE (cabal/lens-5.2.3/revision/5.cabal) = 15237
|
||||
SHA256 (cabal/lens-5.3.4/lens-5.3.4.tar.gz) = f1b6ed14b8d8ccafb5724929fb3d0d3b5866b923ca88e8c565b4a84b7993c88a
|
||||
SIZE (cabal/lens-5.3.4/lens-5.3.4.tar.gz) = 707015
|
||||
SHA256 (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = d98021132f28e674958a7c41250831c2375ae70c839d943c7b1d745c68d28e0a
|
||||
SIZE (cabal/libBF-0.6.8/libBF-0.6.8.tar.gz) = 77104
|
||||
SHA256 (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 76ae195f738d72bb75a34be0bbb7ab5fd097d50fb05aaf2a252e88d265d53af1
|
||||
SIZE (cabal/libffi-0.2.1/libffi-0.2.1.tar.gz) = 7879
|
||||
SHA256 (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = a32257be847dbe71ac22d512ab115f9ce26fa08bcdbea7ca8b5256a1700dcbff
|
||||
SIZE (cabal/megaparsec-9.6.1/megaparsec-9.6.1.tar.gz) = 64913
|
||||
SHA256 (cabal/lifted-async-0.10.2.7/lifted-async-0.10.2.7.tar.gz) = c281bfb5761c7998cf663da529f2adc6d011ea6e524ca589047a659824fd3d55
|
||||
SIZE (cabal/lifted-async-0.10.2.7/lifted-async-0.10.2.7.tar.gz) = 10853
|
||||
SHA256 (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = c134a95f56750aae806e38957bb03c59627cda16034af9e00a02b699474317c5
|
||||
SIZE (cabal/lifted-base-0.2.3.12/lifted-base-0.2.3.12.tar.gz) = 11700
|
||||
SHA256 (cabal/megaparsec-9.7.0/megaparsec-9.7.0.tar.gz) = b9ed423625bf20ae7a72480d40d2dd16018a67e2ec45afb840a3607aa931ec97
|
||||
SIZE (cabal/megaparsec-9.7.0/megaparsec-9.7.0.tar.gz) = 67078
|
||||
SHA256 (cabal/mmorph-1.2.0/mmorph-1.2.0.tar.gz) = 61338058eb676b466a462ca45d59f436a77a3bd6b816e4268c6d88522b6a4280
|
||||
SIZE (cabal/mmorph-1.2.0/mmorph-1.2.0.tar.gz) = 6861
|
||||
SHA256 (cabal/mmorph-1.2.0/revision/3.cabal) = df9b213ec18f811cb3137b478d148f3f1680ee43f841cb775835fa282fdb0295
|
||||
SIZE (cabal/mmorph-1.2.0/revision/3.cabal) = 1083
|
||||
SHA256 (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 2a63f8e4e88545093cd57df02911906554e77704df3ee5c7a12044e48630e872
|
||||
SIZE (cabal/mod-0.2.0.1/mod-0.2.0.1.tar.gz) = 16279
|
||||
SHA256 (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = ae0baea04d99375ef788140367179994a7178d400a8ce0d9026846546772713c
|
||||
SIZE (cabal/monad-control-1.0.3.1/monad-control-1.0.3.1.tar.gz) = 13985
|
||||
SHA256 (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = e89c8562173f1ab0f78b892e6548bf03df869191448a39be059c63c074adae58
|
||||
SIZE (cabal/monadLib-3.10.1/monadLib-3.10.1.tar.gz) = 11462
|
||||
SHA256 (cabal/network-3.2.1.0/network-3.2.1.0.tar.gz) = 90f0c6d76eeef4fed4c6cdb16f3b056efece86520a4fa472e0d016f9d37bd201
|
||||
SIZE (cabal/network-3.2.1.0/network-3.2.1.0.tar.gz) = 143932
|
||||
SHA256 (cabal/monadLib-3.10.3/monadLib-3.10.3.tar.gz) = 6a0ad322fa22c82bde1e7ca36b5904063e8d87628e9afc2b60678893ff981d11
|
||||
SIZE (cabal/monadLib-3.10.3/monadLib-3.10.3.tar.gz) = 11298
|
||||
SHA256 (cabal/network-3.2.7.0/network-3.2.7.0.tar.gz) = 68548e660632a3c09b230c33fe08cc880273372b485e65cbe7a717936de9728b
|
||||
SIZE (cabal/network-3.2.7.0/network-3.2.7.0.tar.gz) = 145714
|
||||
SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e893250b881f20e8811dca06c223c23402b06f7a1f2e995797228
|
||||
SIZE (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 31309
|
||||
SHA256 (cabal/network-uri-2.6.4.2/revision/1.cabal) = 6fffb57373962b5651a2db8b0af732098b3bf029a7ced76a9855615de2026588
|
||||
|
@ -211,20 +249,20 @@ SHA256 (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = f49351544dfc7920df
|
|||
SIZE (cabal/numtype-dk-0.5.0.3/numtype-dk-0.5.0.3.tar.gz) = 7503
|
||||
SHA256 (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 63811ab4fd26e829b8868364325a88be3acc79819f5bb5005b2dd3b961ecc491
|
||||
SIZE (cabal/optparse-applicative-0.18.1.0/optparse-applicative-0.18.1.0.tar.gz) = 60682
|
||||
SHA256 (cabal/optparse-applicative-0.18.1.0/revision/1.cabal) = f30973861ac7e7ebff05ff8c7c3d1e4d283a1f3850e1cc14106b0693ec1b6d82
|
||||
SIZE (cabal/optparse-applicative-0.18.1.0/revision/1.cabal) = 5289
|
||||
SHA256 (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 3da1673e24e12902c2879ee08b73e6978f6bfa70693b13995ebf48bfb7aee546
|
||||
SIZE (cabal/ordered-containers-0.2.4/ordered-containers-0.2.4.tar.gz) = 7877
|
||||
SHA256 (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 22fcc7d5fc66676b5dfc57b714d2caf93cce2d5a79d242168352f9eb0fe2f18a
|
||||
SIZE (cabal/os-string-2.0.6/os-string-2.0.6.tar.gz) = 44363
|
||||
SHA256 (cabal/os-string-2.0.7/os-string-2.0.7.tar.gz) = 339c35fd3a290522f23de4e33528423cfd0b0a8f22946b0b9816a817b926cba0
|
||||
SIZE (cabal/os-string-2.0.7/os-string-2.0.7.tar.gz) = 44683
|
||||
SHA256 (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 15dceb4240257a8e8e451a0d9d14ca5316b204214c08e211febbdcefd1732d42
|
||||
SIZE (cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz) = 2265
|
||||
SHA256 (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 170453a71a2a8b31cca63125533f7771d7debeb639700bdabdd779c34d8a6ef6
|
||||
SIZE (cabal/parallel-3.2.2.0/parallel-3.2.2.0.tar.gz) = 14681
|
||||
SHA256 (cabal/parallel-3.2.2.0/revision/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31
|
||||
SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942
|
||||
SHA256 (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = d5490d64345878d16d0573411e4ab9cfb10af9fdb9668086b75be6c26dcbd408
|
||||
SIZE (cabal/parameterized-utils-2.1.8.0/parameterized-utils-2.1.8.0.tar.gz) = 100939
|
||||
SHA256 (cabal/parameterized-utils-2.1.8.0/revision/1.cabal) = 7c1fbc0bc64aaf6a76d3b0a812f79f44df4af9b7896e05b343459d39791d4530
|
||||
SIZE (cabal/parameterized-utils-2.1.8.0/revision/1.cabal) = 4796
|
||||
SHA256 (cabal/parallel-3.2.2.0/revision/9.cabal) = 9d7b34ac537940f67732eca31d48a43bd78fb65a91baebddf63bee4fc3813d81
|
||||
SIZE (cabal/parallel-3.2.2.0/revision/9.cabal) = 1961
|
||||
SHA256 (cabal/parameterized-utils-2.1.10.0/parameterized-utils-2.1.10.0.tar.gz) = 13eab9bf90769a65b0de355aa6066517b4ad7d8a8988650a312b5ca9d3c124bf
|
||||
SIZE (cabal/parameterized-utils-2.1.10.0/parameterized-utils-2.1.10.0.tar.gz) = 101722
|
||||
SHA256 (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 9310ef0d49f8a8922acda10b1cded9854cbee04dea717effc6ee5983072e4447
|
||||
SIZE (cabal/parser-combinators-1.3.0/parser-combinators-1.3.0.tar.gz) = 11699
|
||||
SHA256 (cabal/parser-combinators-1.3.0/revision/1.cabal) = 8659573e0d443d573f5b53f81b81dafbdc988d282b90c11e3da73562b4ea7876
|
||||
|
@ -237,16 +275,20 @@ SHA256 (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.
|
|||
SIZE (cabal/prettyprinter-ansi-terminal-1.1.3/prettyprinter-ansi-terminal-1.1.3.tar.gz) = 8879
|
||||
SHA256 (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 696d4bd291c94d736142d6182117dca4258d3ef28bfefdb649ac8b5ecd0999c7
|
||||
SIZE (cabal/primitive-0.9.0.0/primitive-0.9.0.0.tar.gz) = 60580
|
||||
SHA256 (cabal/primitive-0.9.0.0/revision/1.cabal) = 2e08c5409e3559c7f1669ef50e9a0d9a397e68ecf51110d5e2cedf05cdd7d93c
|
||||
SIZE (cabal/primitive-0.9.0.0/revision/1.cabal) = 3171
|
||||
SHA256 (cabal/primitive-0.9.0.0/revision/2.cabal) = de20bf4eff1f972088854c8efda6eaca2d3147aff62232c3707f059152638759
|
||||
SIZE (cabal/primitive-0.9.0.0/revision/2.cabal) = 3203
|
||||
SHA256 (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 65955d7b50525a4a3bccdab1d982d2ae342897fd38140d5a94b5ef3800d8c92a
|
||||
SIZE (cabal/profunctors-5.6.2/profunctors-5.6.2.tar.gz) = 28522
|
||||
SHA256 (cabal/profunctors-5.6.2/revision/3.cabal) = e178ba4468982326656626e2089e296f64485e68fdddc9f4476dcd5d612b4f78
|
||||
SIZE (cabal/profunctors-5.6.2/revision/3.cabal) = 2484
|
||||
SHA256 (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 790f4dc2d2327c453ff6aac7bf15399fd123d55e927935f68f84b5df42d9a4b4
|
||||
SIZE (cabal/random-1.2.1.2/random-1.2.1.2.tar.gz) = 47229
|
||||
SHA256 (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 922e9ff67958ed1bca19000a9d59153ed3152ef775e9018d5853488e4f4189cd
|
||||
SIZE (cabal/reflection-2.1.8/reflection-2.1.8.tar.gz) = 18331
|
||||
SHA256 (cabal/random-1.2.1.3/random-1.2.1.3.tar.gz) = e9c81926a7d1e40328f645f73592b31efc9c631589669a7f130687b9cc3051dc
|
||||
SIZE (cabal/random-1.2.1.3/random-1.2.1.3.tar.gz) = 47117
|
||||
SHA256 (cabal/reflection-2.1.9/reflection-2.1.9.tar.gz) = c6a7d5e41ad0ee1a05c660acf4fd34b21f38330eec165d246b7fffb398e59fb3
|
||||
SIZE (cabal/reflection-2.1.9/reflection-2.1.9.tar.gz) = 17560
|
||||
SHA256 (cabal/reflection-2.1.9/revision/1.cabal) = eaf28dc9884718a306ed1e0c215a24b36c68b8aa3be425617f66d886d43fe1e0
|
||||
SIZE (cabal/reflection-2.1.9/revision/1.cabal) = 4171
|
||||
SHA256 (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = ec601785ee42a201f32adb205b8685c983f18757b1bd33d2e806d571e0f9996b
|
||||
SIZE (cabal/resourcet-1.3.0/resourcet-1.3.0.tar.gz) = 17620
|
||||
SHA256 (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 216d60f8bcb8805ae8a94bf29917f3dd42c48a8cd91baa40464b431a9bf20c1d
|
||||
SIZE (cabal/s-cargot-0.1.6.0/s-cargot-0.1.6.0.tar.gz) = 40873
|
||||
SHA256 (cabal/safe-exceptions-0.1.7.4/safe-exceptions-0.1.7.4.tar.gz) = 3c51d8d50c9b60ff8bf94f942fd92e3bea9e62c5afa778dfc9f707b79da41ef6
|
||||
|
@ -257,66 +299,78 @@ SHA256 (cabal/sbv-10.10/sbv-10.10.tar.gz) = 684f73e2b6accee5eec4e63c487ea62587f4
|
|||
SIZE (cabal/sbv-10.10/sbv-10.10.tar.gz) = 1044136
|
||||
SHA256 (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 13b343bca8aa26d7718e52e622e5a118056653edafcbc7ccc5333be7217218cf
|
||||
SIZE (cabal/scientific-0.3.8.0/scientific-0.3.8.0.tar.gz) = 24314
|
||||
SHA256 (cabal/scientific-0.3.8.0/revision/1.cabal) = 2148e2e6ab1f1fd2ecee25067e0ee60da886be89736e8a54d49556407d7113ce
|
||||
SIZE (cabal/scientific-0.3.8.0/revision/1.cabal) = 4380
|
||||
SHA256 (cabal/scientific-0.3.8.0/revision/2.cabal) = ba83a6701dd0110138443757aca4a42786afa94272b73045ef878fd860d1732e
|
||||
SIZE (cabal/scientific-0.3.8.0/revision/2.cabal) = 4397
|
||||
SHA256 (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 66e87bc254ffec2ee908bf625c42d3b7363238d6ab1cfba8934bbee7590c9df7
|
||||
SIZE (cabal/semialign-1.3.1/semialign-1.3.1.tar.gz) = 10117
|
||||
SHA256 (cabal/semialign-1.3.1/revision/1.cabal) = 0ebafdb9c3bfac8c5311999ae195115c1452a205b273d54e7b1145a65c1bf610
|
||||
SIZE (cabal/semialign-1.3.1/revision/1.cabal) = 2209
|
||||
SHA256 (cabal/semialign-1.3.1/revision/2.cabal) = dfe515a9e43230f5308564a649a04ea1538499ed98b944644b77bed5394b9deb
|
||||
SIZE (cabal/semialign-1.3.1/revision/2.cabal) = 2224
|
||||
SHA256 (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 1d532030862414f5d4f2f6f001783f77aa14e5f05ee8e3c4a2d2129fca29cc1f
|
||||
SIZE (cabal/semigroupoids-6.0.1/semigroupoids-6.0.1.tar.gz) = 36372
|
||||
SHA256 (cabal/semigroupoids-6.0.1/revision/1.cabal) = f65892f65f941c7368334bdfdcdb9db2ad3952502e94e88785a5a428fa2f3f4e
|
||||
SIZE (cabal/semigroupoids-6.0.1/revision/1.cabal) = 7539
|
||||
SHA256 (cabal/semigroupoids-6.0.1/revision/2.cabal) = bfee06a6d88038a88ddd10fc21c230bf5ee3a14d0584dc6ab7ad54a9252c2c21
|
||||
SIZE (cabal/semigroupoids-6.0.1/revision/2.cabal) = 7539
|
||||
SHA256 (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 902d2e33c96b40a89de5957f2a9e097197afcc35e257e45b32ebe770993673e1
|
||||
SIZE (cabal/semigroups-0.20/semigroups-0.20.tar.gz) = 18788
|
||||
SHA256 (cabal/semirings-0.7/semirings-0.7.tar.gz) = 8fc80ae222196de2c7426e4be011d1f0ba3ee55ac5d268a705c5beeb83fe5de6
|
||||
SIZE (cabal/semirings-0.7/semirings-0.7.tar.gz) = 21947
|
||||
SHA256 (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
|
||||
SIZE (cabal/simple-smt-0.9.7/simple-smt-0.9.7.tar.gz) = 10177
|
||||
SHA256 (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 9df07a9611ef45f1b1258a0b412f4d02c920248f69d2e2ce8ccda328f7e13002
|
||||
SIZE (cabal/splitmix-0.1.0.5/splitmix-0.1.0.5.tar.gz) = 22399
|
||||
SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b
|
||||
SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596
|
||||
SHA256 (cabal/simple-smt-0.9.8/simple-smt-0.9.8.tar.gz) = c9f9fef6eb884764c6fc3212199573149c2c0b60fabcd9d41b01b4f5efacb146
|
||||
SIZE (cabal/simple-smt-0.9.8/simple-smt-0.9.8.tar.gz) = 11227
|
||||
SHA256 (cabal/splitmix-0.1.1/splitmix-0.1.1.tar.gz) = d678c41a603a62032cf7e5f8336bb8222c93990e4b59c8b291b7ca26c7eb12c7
|
||||
SIZE (cabal/splitmix-0.1.1/splitmix-0.1.1.tar.gz) = 21981
|
||||
SHA256 (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 77719280c2a86312e748227bfa732eeaae0e7df48d57acc3c2e5b7b07afe2f8b
|
||||
SIZE (cabal/strict-0.5.1/strict-0.5.1.tar.gz) = 11798
|
||||
SHA256 (cabal/strict-0.5.1/revision/1.cabal) = 58c373b7c7748cbb4a5a6c8c15073f99a1c10a9a9bb6894ac33f43a5cdb901f2
|
||||
SIZE (cabal/strict-0.5.1/revision/1.cabal) = 3557
|
||||
SHA256 (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = ec7c1e8822d62ab910386361cdcee40a22a26cd344c34741fadd982302291e60
|
||||
SIZE (cabal/syb-0.7.2.4/syb-0.7.2.4.tar.gz) = 41809
|
||||
SHA256 (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = a083fa7835516203c168433a1c8dfc0290a94b05fedab566ad0640fc9137a6a7
|
||||
SIZE (cabal/tagged-0.8.8/tagged-0.8.8.tar.gz) = 10094
|
||||
SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32
|
||||
SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
|
||||
SHA256 (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 6daad88ebb414ba6a556d2898d2cbe7650e4276010e3a6eed939daf54b956784
|
||||
SIZE (cabal/tagged-0.8.9/tagged-0.8.9.tar.gz) = 8151
|
||||
SHA256 (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 54a0c7b644813af871a3726ac8771b5e17b5158c792a7acf8f9e2d3ae9360780
|
||||
SIZE (cabal/tasty-1.5.3/tasty-1.5.3.tar.gz) = 66548
|
||||
SHA256 (cabal/tasty-1.5.3/revision/1.cabal) = 9d56ea9dbc274fc853fc531373b2c91bfe360e21460c2c6a5838897d86e3f6d0
|
||||
SIZE (cabal/tasty-1.5.3/revision/1.cabal) = 2923
|
||||
SHA256 (cabal/tasty-hedgehog-1.4.0.2/tasty-hedgehog-1.4.0.2.tar.gz) = 453484d732712525a9c74a07db5f18b5f80f867a98958e67031d8d0bfe007152
|
||||
SIZE (cabal/tasty-hedgehog-1.4.0.2/tasty-hedgehog-1.4.0.2.tar.gz) = 5505
|
||||
SHA256 (cabal/tasty-hedgehog-1.4.0.2/revision/6.cabal) = 2c5384f1985994fc66edafeb6665036a25516ad2d443b04d96c7fb6e2eb368e5
|
||||
SIZE (cabal/tasty-hedgehog-1.4.0.2/revision/6.cabal) = 1852
|
||||
SHA256 (cabal/tasty-hunit-0.10.2/tasty-hunit-0.10.2.tar.gz) = 5af01fa7c1ef98b324da062e36f79986a8b1b83ff0cf6fd53f95d976b41e03f6
|
||||
SIZE (cabal/tasty-hunit-0.10.2/tasty-hunit-0.10.2.tar.gz) = 7808
|
||||
SHA256 (cabal/temporary-1.3/temporary-1.3.tar.gz) = 8c442993694b5ffca823ce864af95bd2841fb5264ee511c61cf48cc71d879890
|
||||
SIZE (cabal/temporary-1.3/temporary-1.3.tar.gz) = 5686
|
||||
SHA256 (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = b0f070d6926cdaacf3a412c5518e5c23afca1e0ed00808a5328c96e468b67f49
|
||||
SIZE (cabal/terminal-size-0.3.4/terminal-size-0.3.4.tar.gz) = 4457
|
||||
SHA256 (cabal/terminal-size-0.3.4/revision/1.cabal) = 21d7f1320eeb86177e860ec07a3d8e7510977b1b415a96ebb62ee4ad72955770
|
||||
SIZE (cabal/terminal-size-0.3.4/revision/1.cabal) = 1364
|
||||
SHA256 (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9dead2b7ceeae40fe0fc060bd54795c32e9926c9d1aebae8f9b9a621fba88202
|
||||
SIZE (cabal/text-iso8601-0.1.1/text-iso8601-0.1.1.tar.gz) = 9599
|
||||
SHA256 (cabal/text-iso8601-0.1.1/revision/2.cabal) = e07a625eef969338992bf9bba8e5dc73f07ac65f991ba636b8f1175890d15849
|
||||
SIZE (cabal/text-iso8601-0.1.1/revision/2.cabal) = 2411
|
||||
SHA256 (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 8173ea138d7dc398747b636012bf6e79e17186560b8a7a7fc9e6456d78556eab
|
||||
SIZE (cabal/text-short-0.1.6/text-short-0.1.6.tar.gz) = 24691
|
||||
SHA256 (cabal/text-short-0.1.6/revision/2.cabal) = 5953dc14c71b6047edab2dc89e922678ff5cbe2e98d16b9e7078150083940be4
|
||||
SIZE (cabal/text-short-0.1.6/revision/2.cabal) = 2812
|
||||
SHA256 (cabal/text-short-0.1.6/revision/3.cabal) = 41be94ccd3f6646ab69b0b05c5130ea3c7911a4598ab9b9192f21ad25a69163a
|
||||
SIZE (cabal/text-short-0.1.6/revision/3.cabal) = 2827
|
||||
SHA256 (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 2e30cec027b313c9e1794d326635d8fc5f79b6bf6e7580ab4b00186dadc88510
|
||||
SIZE (cabal/tf-random-0.5/tf-random-0.5.tar.gz) = 18483
|
||||
SHA256 (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = b2854c612f2fa4adfa1ecbb4089a2211fd9cb3210aec17ba4a455ae486b22721
|
||||
SIZE (cabal/th-abstraction-0.7.0.0/th-abstraction-0.7.0.0.tar.gz) = 49904
|
||||
SHA256 (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 81f55fafc7afad7763c09cb8b7b4165ca3765edcf70ffa42c7393043a1382a1e
|
||||
SIZE (cabal/th-compat-0.1.5/th-compat-0.1.5.tar.gz) = 14893
|
||||
SHA256 (cabal/th-compat-0.1.5/revision/2.cabal) = 129a59ba3ccfcd06192fd6da899e2711ae276a466915a047bd6727e4a0321d2e
|
||||
SIZE (cabal/th-compat-0.1.5/revision/2.cabal) = 3330
|
||||
SHA256 (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = f9c577238d4ba65fe3e78bc77f0cca54f17d02c0f6075b2487da5c63bdb4a61b
|
||||
SIZE (cabal/th-lift-0.8.4/th-lift-0.8.4.tar.gz) = 14711
|
||||
SHA256 (cabal/th-lift-0.8.4/revision/2.cabal) = 2f32c878a42a6a5d725514556d5851d8a63a368a301970948d372d0408268cb3
|
||||
SIZE (cabal/th-lift-0.8.4/revision/2.cabal) = 2791
|
||||
SHA256 (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = f9b6184aba4c6b61dd0d96f7dad41a4c9db0a01d3cdbf993a7d860488f1c04c5
|
||||
SIZE (cabal/th-abstraction-0.7.1.0/th-abstraction-0.7.1.0.tar.gz) = 45428
|
||||
SHA256 (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 3011403d85b0070630e33d66b9370535ccd1e0e672ae58f847550b2b15bb4fd8
|
||||
SIZE (cabal/th-abstraction-0.7.1.0/revision/1.cabal) = 2268
|
||||
SHA256 (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = b781a0c059872bc95406d00e98f6fa7d9e81e744730f75186583cb4dcea0a4eb
|
||||
SIZE (cabal/th-compat-0.1.6/th-compat-0.1.6.tar.gz) = 14622
|
||||
SHA256 (cabal/th-lift-0.8.6/th-lift-0.8.6.tar.gz) = 04309ad70ef80ed054ebda5b7d34a66642017604019f9e44ad321eec04a1ef1f
|
||||
SIZE (cabal/th-lift-0.8.6/th-lift-0.8.6.tar.gz) = 14310
|
||||
SHA256 (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = f533c3f95addcca461a0ccd1aafef75dd801bfa6599c0d1184d54bfffb61d870
|
||||
SIZE (cabal/th-lift-instances-0.1.20/th-lift-instances-0.1.20.tar.gz) = 6721
|
||||
SHA256 (cabal/these-1.2.1/these-1.2.1.tar.gz) = 17d6d933365edabf801a16842c1403bdd37cc5300faa2fcca980decdab22e4de
|
||||
SIZE (cabal/these-1.2.1/these-1.2.1.tar.gz) = 9906
|
||||
SHA256 (cabal/these-1.2.1/revision/1.cabal) = c04f573531b37864506b071046e010a7a6aad11650cf895467f9f279d0130b8b
|
||||
SIZE (cabal/these-1.2.1/revision/1.cabal) = 2279
|
||||
SHA256 (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = c98fbea21d036c3263af186df0569b8425c87ad353b021353794743e4e631dcc
|
||||
SIZE (cabal/time-compat-1.9.7/time-compat-1.9.7.tar.gz) = 57331
|
||||
SHA256 (cabal/time-compat-1.9.7/revision/2.cabal) = f0bff15af6faaeff36b679e6b810fa71534b2f85a91bf98d7541dac6a469b20f
|
||||
SIZE (cabal/time-compat-1.9.7/revision/2.cabal) = 4486
|
||||
SHA256 (cabal/these-1.2.1/revision/2.cabal) = 35c57aede96c15ea1fed559ac287b1168eb2b2869d79e62ed8c845780b7ea136
|
||||
SIZE (cabal/these-1.2.1/revision/2.cabal) = 2294
|
||||
SHA256 (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 502ef8694a5b131b47c0e5df2e9053d005a3b345b30f5225af04f081d3ef5cf0
|
||||
SIZE (cabal/time-compat-1.9.8/time-compat-1.9.8.tar.gz) = 63414
|
||||
SHA256 (cabal/toml-parser-2.0.1.0/toml-parser-2.0.1.0.tar.gz) = 03366d727abac9e30055487dbfa07973c321aff571a0de9e504337aa586697e1
|
||||
SIZE (cabal/toml-parser-2.0.1.0/toml-parser-2.0.1.0.tar.gz) = 48201
|
||||
SHA256 (cabal/toml-parser-2.0.1.0/revision/1.cabal) = 13b6e9987e26a41e57f8e57dacf4ff069cc076f61be366ee8c9e6da5d61771d4
|
||||
SIZE (cabal/toml-parser-2.0.1.0/revision/1.cabal) = 4017
|
||||
SHA256 (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 323bf8689eb691b122661cffa41a25e00fea7a768433fe2dde35d3da7d32cf90
|
||||
SIZE (cabal/transformers-base-0.4.6/transformers-base-0.4.6.tar.gz) = 2902
|
||||
SHA256 (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = b62c7304c9f3cbc9463d0739aa85cb9489f217ea092b9d625d417514fbcc9d6a
|
||||
|
@ -327,46 +381,50 @@ SHA256 (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = e777c94628445556a71f135a
|
|||
SIZE (cabal/uniplate-1.6.13/uniplate-1.6.13.tar.gz) = 29787
|
||||
SHA256 (cabal/uniplate-1.6.13/revision/1.cabal) = c8b715570d0b4baa72512e677552dd3f98372a64bf9de000e779bd4162fd7be7
|
||||
SIZE (cabal/uniplate-1.6.13/revision/1.cabal) = 3320
|
||||
SHA256 (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = fb85a22291e78f9e58cd7f5e563a726500ad1a004b3b335b93c0975b828a112b
|
||||
SIZE (cabal/unliftio-0.2.25.0/unliftio-0.2.25.0.tar.gz) = 58335
|
||||
SHA256 (cabal/unliftio-0.2.25.1/unliftio-0.2.25.1.tar.gz) = 3bfc6f8dea6966c2c06df83e6d3f481bbd77531f58b8049c46738aad9268336e
|
||||
SIZE (cabal/unliftio-0.2.25.1/unliftio-0.2.25.1.tar.gz) = 58203
|
||||
SHA256 (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 99384cba8d56d9d61b85e38a313a93ebcdb78be6566367f0930ef580597fe3e3
|
||||
SIZE (cabal/unliftio-core-0.2.1.0/unliftio-core-0.2.1.0.tar.gz) = 3865
|
||||
SHA256 (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = f6a2736f858b5390d9384dca43d3ea4d96e9ca17217791791ca4951ba6e8072a
|
||||
SIZE (cabal/unliftio-core-0.2.1.0/revision/4.cabal) = 996
|
||||
SHA256 (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = d9cfb287cf00592d39dc9c3cac8b99627ea08f2c01798e70130fc39f7c90f11d
|
||||
SIZE (cabal/unordered-containers-0.2.20/unordered-containers-0.2.20.tar.gz) = 59823
|
||||
SHA256 (cabal/unordered-containers-0.2.20/revision/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc
|
||||
SIZE (cabal/unordered-containers-0.2.20/revision/3.cabal) = 3921
|
||||
SHA256 (cabal/unordered-containers-0.2.20/revision/4.cabal) = 233cbcdda6c2698932bb391ce0935fb44f80c115621ee815a21ed33ac8ede422
|
||||
SIZE (cabal/unordered-containers-0.2.20/revision/4.cabal) = 3921
|
||||
SHA256 (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = ee48deada7600370728c4156cb002441de770d0121ae33a68139a9ed9c19b09a
|
||||
SIZE (cabal/utf8-string-1.0.2/utf8-string-1.0.2.tar.gz) = 10726
|
||||
SHA256 (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 7e0dd953483d6fd3ca49bcaed6b11f9e3c2787213479b2581e07747836b8357e
|
||||
SIZE (cabal/uuid-types-1.0.6/uuid-types-1.0.6.tar.gz) = 11222
|
||||
SHA256 (cabal/uuid-types-1.0.6/revision/1.cabal) = 595644500d36908be85cd02fb446c411555ecc5c59b7ce33d1205cfc9ceb55a6
|
||||
SIZE (cabal/uuid-types-1.0.6/revision/1.cabal) = 2604
|
||||
SHA256 (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 63f272279eab8ab9411a0fffb1252ac309b297313f8e33be9ebbc2f981edecee
|
||||
SIZE (cabal/vector-0.13.1.0/vector-0.13.1.0.tar.gz) = 156855
|
||||
SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d
|
||||
SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015
|
||||
SHA256 (cabal/uuid-types-1.0.6/revision/2.cabal) = 88e78c100b699cb829524af914cea82422bd518ce90625122ebe4c8048aee13d
|
||||
SIZE (cabal/uuid-types-1.0.6/revision/2.cabal) = 2619
|
||||
SHA256 (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 28f203c786cbf8ac6dc3fea3378ec36f34173d505fb4a1dd60fc8418ad91c423
|
||||
SIZE (cabal/vector-0.13.2.0/vector-0.13.2.0.tar.gz) = 185739
|
||||
SHA256 (cabal/vector-0.13.2.0/revision/1.cabal) = b736a57b73520d2acf4865e3e2b40030d69782f35f870e376dc717ee2508d81f
|
||||
SIZE (cabal/vector-0.13.2.0/revision/1.cabal) = 8804
|
||||
SHA256 (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = d0f507334bdea5431a2f07f525a97f29e76522c32210f5de6d5a2b4f1d42bf7c
|
||||
SIZE (cabal/vector-stream-0.1.0.1/vector-stream-0.1.0.1.tar.gz) = 12577
|
||||
SHA256 (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 16a69e2ed71d7b35e16860fac520f94fa4da120eb973d9f8fbf0aa3a703d4a9f
|
||||
SIZE (cabal/vector-stream-0.1.0.1/revision/1.cabal) = 1583
|
||||
SHA256 (cabal/versions-6.0.7/versions-6.0.7.tar.gz) = e09615865142a5835811cd5169565c2ef8b81bad729ab0950650eea79fecc2be
|
||||
SIZE (cabal/versions-6.0.7/versions-6.0.7.tar.gz) = 19505
|
||||
SHA256 (cabal/vector-stream-0.1.0.1/revision/3.cabal) = 5ac96695212a45ae7dc16d8031dbf5311da53e052c35f7ad4a8e2db7fafb651e
|
||||
SIZE (cabal/vector-stream-0.1.0.1/revision/3.cabal) = 1642
|
||||
SHA256 (cabal/versions-6.0.8/versions-6.0.8.tar.gz) = 3f85f9052a8de704c94c920883d10d0eb71743b5b54469590d8fa8df59153b0e
|
||||
SIZE (cabal/versions-6.0.8/versions-6.0.8.tar.gz) = 19566
|
||||
SHA256 (cabal/void-0.7.3/void-0.7.3.tar.gz) = 53af758ddc37dc63981671e503438d02c6f64a2d8744e9bec557a894431f7317
|
||||
SIZE (cabal/void-0.7.3/void-0.7.3.tar.gz) = 6741
|
||||
SHA256 (cabal/what4-1.6/what4-1.6.tar.gz) = b2588b49f899ce23b5bc5981560dcd9c1f7efa4c7ae1b4f32a8e4be5024c7788
|
||||
SIZE (cabal/what4-1.6/what4-1.6.tar.gz) = 428826
|
||||
SHA256 (cabal/what4-1.7/what4-1.7.tar.gz) = 7b2c2893d0770b22242fad992677d8d07bb5459a3a77b7f1ebfda97f98396ac5
|
||||
SIZE (cabal/what4-1.7/what4-1.7.tar.gz) = 434701
|
||||
SHA256 (cabal/witherable-0.5/witherable-0.5.tar.gz) = 48434cc1e465b13cbc0133a90c3ec0d827c93b77ce95807fe0a38b65f4918cd1
|
||||
SIZE (cabal/witherable-0.5/witherable-0.5.tar.gz) = 10819
|
||||
SHA256 (cabal/witherable-0.5/revision/1.cabal) = 85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de
|
||||
SIZE (cabal/witherable-0.5/revision/1.cabal) = 2343
|
||||
SHA256 (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 6b662b244b2e318a2923dc7057d707369a29ea4a0e721b4710eac7239cc727af
|
||||
SIZE (cabal/wl-pprint-annotated-0.1.0.1/wl-pprint-annotated-0.1.0.1.tar.gz) = 15458
|
||||
SHA256 (cabal/wl-pprint-annotated-0.1.0.1/revision/3.cabal) = 79d12e6d7302c8bea0986cb713fcbfc33225cca3ee158ac741cf1a468f5ed8bc
|
||||
SIZE (cabal/wl-pprint-annotated-0.1.0.1/revision/3.cabal) = 2296
|
||||
SHA256 (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = b917a9d54a992b163aeb3c065a5199ad1ab76bd096c6e14b534c9e6555543c78
|
||||
SIZE (cabal/zenc-0.1.2/zenc-0.1.2.tar.gz) = 4290
|
||||
SHA256 (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 6edd38b6b81df8d274952aa85affa6968ae86b2231e1d429ce8bc9083e6a55bc
|
||||
SIZE (cabal/zlib-0.7.1.0/zlib-0.7.1.0.tar.gz) = 29318
|
||||
SHA256 (cabal/zlib-0.7.1.0/revision/1.cabal) = bae1c5a6092d65c5e763246f91e04fef3f43e37cb055130725c9a973c88a250f
|
||||
SIZE (cabal/zlib-0.7.1.0/revision/1.cabal) = 5223
|
||||
SHA256 (cabal/zlib-0.7.1.0/revision/2.cabal) = 85e64a75c0b490506a7edaa2d54950c668e66b65758bb08bb14cd31faf53a206
|
||||
SIZE (cabal/zlib-0.7.1.0/revision/2.cabal) = 5357
|
||||
SHA256 (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = c83bb438f9b6c5fe860982731eb8ac7eff993e8b56cbc15ef5b471f229f79109
|
||||
SIZE (cabal/zlib-bindings-0.1.1.5/zlib-bindings-0.1.1.5.tar.gz) = 54770
|
||||
SHA256 (cabal/zlib-bindings-0.1.1.5/revision/2.cabal) = 0c6f9f81832af2473281fd58631aff8c6bbad24191e00d2a5a6ae2479249043b
|
||||
|
|
Loading…
Add table
Reference in a new issue