mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
math/hs-Agda: Update to 2.7.0
PR: 280954
This commit is contained in:
Älven
Gleb Popov
parent
27fcd0fff5
commit
89654d1f64
@ -1,5 +1,5 @@
|
||||
PORTNAME= Agda
|
||||
PORTVERSION= 2.6.4.3
|
||||
DISTVERSION= 2.7.0
|
||||
CATEGORIES= math haskell
|
||||
|
||||
MAINTAINER= haskell@FreeBSD.org
|
||||
@ -17,83 +17,86 @@ USES= cabal
|
||||
|
||||
USE_LOCALE= en_US.UTF-8
|
||||
|
||||
PLIST_SUB= AGDA_VER=${PORTVERSION}
|
||||
|
||||
USE_CABAL= OneTuple-0.4.1.1_1 \
|
||||
QuickCheck-2.14.3 \
|
||||
STMonadTrans-0.4.8 \
|
||||
USE_CABAL= OneTuple-0.4.2 \
|
||||
QuickCheck-2.15.0.1 \
|
||||
STMonadTrans-0.4.8_1 \
|
||||
StateVar-1.2.2 \
|
||||
aeson-2.2.1.0_1 \
|
||||
aeson-2.2.3.0_1 \
|
||||
alex-3.5.1.0 \
|
||||
ansi-terminal-1.1 \
|
||||
ansi-terminal-1.1.1 \
|
||||
ansi-terminal-types-1.1 \
|
||||
assoc-1.1_1 \
|
||||
async-2.2.5 \
|
||||
base-compat-0.13.1 \
|
||||
base-orphans-0.9.1 \
|
||||
bifunctors-5.6.1_2 \
|
||||
assoc-1.1.1 \
|
||||
async-2.2.5_2 \
|
||||
base-compat-0.14.0 \
|
||||
base-orphans-0.9.2 \
|
||||
bifunctors-5.6.2 \
|
||||
blaze-builder-0.4.2.3 \
|
||||
blaze-html-0.9.2.0 \
|
||||
blaze-markup-0.8.3.0_1 \
|
||||
blaze-html-0.9.2.0_1 \
|
||||
blaze-markup-0.8.3.0_2 \
|
||||
boxes-0.1.5 \
|
||||
case-insensitive-1.2.1.0 \
|
||||
character-ps-0.1 \
|
||||
colour-2.3.6 \
|
||||
comonad-5.0.8_2 \
|
||||
contravariant-1.5.5 \
|
||||
data-fix-0.3.2_5 \
|
||||
data-fix-0.3.4 \
|
||||
data-hash-0.2.0.1 \
|
||||
distributive-0.6.2.1_1 \
|
||||
dlist-1.0_1 \
|
||||
dlist-1.0_2 \
|
||||
edit-distance-0.2.2.1_1 \
|
||||
equivalence-0.4.1 \
|
||||
generically-0.1.1_2 \
|
||||
generically-0.1.1_3 \
|
||||
gitrev-1.3.1 \
|
||||
happy-1.20.1.1 \
|
||||
hashable-1.4.3.0_1 \
|
||||
hsc2hs-0.68.10_1 \
|
||||
indexed-traversable-0.1.3 \
|
||||
indexed-traversable-instances-0.1.1.2_2 \
|
||||
integer-conversion-0.1.0.1_1 \
|
||||
integer-logarithms-1.0.3.1_5 \
|
||||
hashable-1.5.0.0 \
|
||||
hsc2hs-0.68.10_2 \
|
||||
indexed-traversable-0.1.4 \
|
||||
indexed-traversable-instances-0.1.2 \
|
||||
integer-conversion-0.1.1 \
|
||||
integer-logarithms-1.0.3.1_6 \
|
||||
monad-control-1.0.3.1 \
|
||||
murmur-hash-0.1.0.10_1 \
|
||||
network-uri-2.6.4.2_1 \
|
||||
parallel-3.2.2.0_7 \
|
||||
os-string-2.0.6 \
|
||||
parallel-3.2.2.0_8 \
|
||||
peano-0.1.0.2 \
|
||||
primitive-0.9.0.0 \
|
||||
pqueue-1.5.0.0_2 \
|
||||
primitive-0.9.0.0_1 \
|
||||
random-1.2.1.2 \
|
||||
regex-base-0.94.0.2_4 \
|
||||
regex-tdfa-1.3.2.2_2 \
|
||||
scientific-0.3.7.0_7 \
|
||||
semialign-1.3_1 \
|
||||
semigroupoids-6.0.0.1_1 \
|
||||
regex-tdfa-1.3.2.2_3 \
|
||||
scientific-0.3.8.0_1 \
|
||||
semialign-1.3.1_1 \
|
||||
semigroupoids-6.0.1_1 \
|
||||
split-0.2.5 \
|
||||
splitmix-0.1.0.5 \
|
||||
strict-0.5_1 \
|
||||
tagged-0.8.8 \
|
||||
text-iso8601-0.1_1 \
|
||||
text-short-0.1.5_3 \
|
||||
th-abstraction-0.6.0.0_1 \
|
||||
th-compat-0.1.4_4 \
|
||||
these-1.2_1 \
|
||||
time-compat-1.9.6.1_6 \
|
||||
splitmix-0.1.0.5_1 \
|
||||
strict-0.5.1_1 \
|
||||
tagged-0.8.8_1 \
|
||||
text-iso8601-0.1.1 \
|
||||
text-short-0.1.6_2 \
|
||||
th-abstraction-0.7.0.0 \
|
||||
th-compat-0.1.5_2 \
|
||||
these-1.2.1_1 \
|
||||
time-compat-1.9.7_2 \
|
||||
transformers-base-0.4.6 \
|
||||
transformers-compat-0.7.2 \
|
||||
unordered-containers-0.2.20_1 \
|
||||
unordered-containers-0.2.20_3 \
|
||||
uri-encode-1.5.0.7_3 \
|
||||
utf8-string-1.0.2 \
|
||||
uuid-types-1.0.5.1 \
|
||||
vector-0.13.1.0 \
|
||||
vector-hashtables-0.1.1.4 \
|
||||
vector-stream-0.1.0.1 \
|
||||
witherable-0.4.2_4 \
|
||||
zlib-0.7.0.0
|
||||
uuid-types-1.0.6_1 \
|
||||
vector-0.13.1.0_1 \
|
||||
vector-hashtables-0.1.2.0 \
|
||||
vector-stream-0.1.0.1_1 \
|
||||
witherable-0.5_1 \
|
||||
zlib-0.7.1.0_1
|
||||
|
||||
CABAL_EXECUTABLES= agda-mode agda
|
||||
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
|
||||
agda_DATADIR_VARS= Agda
|
||||
agda-mode_DATADIR_VARS= Agda
|
||||
|
||||
PLIST_SUB= AGDA_VER=${PORTVERSION}
|
||||
|
||||
post-install:
|
||||
${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
|
||||
${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
|
||||
|
||||
@ -1,52 +1,54 @@
|
||||
TIMESTAMP = 1710558419
|
||||
SHA256 (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2
|
||||
SIZE (cabal/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz) = 1869461
|
||||
SHA256 (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = c9e764d4ee1e57cad8341bd5d0de33ba3a52b6793fc1309679f2bf60c030bb2b
|
||||
SIZE (cabal/OneTuple-0.4.1.1/OneTuple-0.4.1.1.tar.gz) = 5601
|
||||
SHA256 (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 632dfded172086fb9f0e26d3578bcfffa3fb6d135ea5a8de17b7a33ff6e6e682
|
||||
SIZE (cabal/OneTuple-0.4.1.1/revision/1.cabal) = 2575
|
||||
SHA256 (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 5c0f22b36b28a1a8fa110b3819818d3f29494a3b0dedbae299f064123ca70501
|
||||
SIZE (cabal/QuickCheck-2.14.3/QuickCheck-2.14.3.tar.gz) = 76849
|
||||
TIMESTAMP = 1724187447
|
||||
SHA256 (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 007a0938cd148387a9f8979f3f5f581c7faccafb8ea1624d28349f65c8d4b900
|
||||
SIZE (cabal/Agda-2.7.0/Agda-2.7.0.tar.gz) = 1890826
|
||||
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/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/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 839eff14d9f1d2d37f485edf116740d996e1ee9fa82ca2e0a73dfcae0ad5b851
|
||||
SIZE (cabal/STMonadTrans-0.4.8/STMonadTrans-0.4.8.tar.gz) = 7458
|
||||
SHA256 (cabal/STMonadTrans-0.4.8/revision/1.cabal) = 229e84983eba8df59e5da922afd25c77403577c3cc9120ea9c59693ec9a3b52e
|
||||
SIZE (cabal/STMonadTrans-0.4.8/revision/1.cabal) = 2101
|
||||
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/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 914eefd0e80d12db5c721daa2cbab427acee39795f125c5460c1fe48cf9a5d7f
|
||||
SIZE (cabal/aeson-2.2.1.0/aeson-2.2.1.0.tar.gz) = 341038
|
||||
SHA256 (cabal/aeson-2.2.1.0/revision/1.cabal) = a23a61aada8233e10573e1612c0b2efe5a1aba0d59b05dbe2f63301822f136cb
|
||||
SIZE (cabal/aeson-2.2.1.0/revision/1.cabal) = 6582
|
||||
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/ansi-terminal-1.1.tar.gz) = 525d6257bebad9755fa528ce03e64c6a439fbc129aa307a14063896e4871b253
|
||||
SIZE (cabal/ansi-terminal-1.1/ansi-terminal-1.1.tar.gz) = 34897
|
||||
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/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/assoc-1.1/assoc-1.1.tar.gz) = 7aa2e6548b3d9d49a286ac20639479aaf6c47a1446113ed784d98737c5f60df4
|
||||
SIZE (cabal/assoc-1.1/assoc-1.1.tar.gz) = 3193
|
||||
SHA256 (cabal/assoc-1.1/revision/1.cabal) = 56d0fd1c17aaf6268e81bf19ba5afe186128d7f88126bd546d5b3151ab692652
|
||||
SIZE (cabal/assoc-1.1/revision/1.cabal) = 1617
|
||||
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/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/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = db1d9e8d56c8bb0066d313a3b5bc4143c021698d377f4c51b3ba010cff1e8421
|
||||
SIZE (cabal/base-compat-0.13.1/base-compat-0.13.1.tar.gz) = 41518
|
||||
SHA256 (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 5bbf2da382c5b212d6a8be2f8c49edee0eba30f272a15fd32c13e6e4091ef172
|
||||
SIZE (cabal/base-orphans-0.9.1/base-orphans-0.9.1.tar.gz) = 26418
|
||||
SHA256 (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 06381471b5be16516a1b2c4b21a5101a3d991038bface8e0cad144c0044d57fc
|
||||
SIZE (cabal/bifunctors-5.6.1/bifunctors-5.6.1.tar.gz) = 38170
|
||||
SHA256 (cabal/bifunctors-5.6.1/revision/2.cabal) = 82fa7ed8f69f0bfa375de117ab36414c0b96a97ee046edc3ac6da7a295a94755
|
||||
SIZE (cabal/bifunctors-5.6.1/revision/2.cabal) = 3273
|
||||
SHA256 (cabal/async-2.2.5/revision/2.cabal) = cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35
|
||||
SIZE (cabal/async-2.2.5/revision/2.cabal) = 3257
|
||||
SHA256 (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = f146de664ac838ebe18ec9360df82da3660149dc7d51fd29bcb61d653b799c50
|
||||
SIZE (cabal/base-compat-0.14.0/base-compat-0.14.0.tar.gz) = 42744
|
||||
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/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/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
|
||||
SIZE (cabal/blaze-html-0.9.2.0/blaze-html-0.9.2.0.tar.gz) = 81915
|
||||
SHA256 (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 85c42f84f4ead2c48844fbe0865069add3bb3bb3322d38607e93d5515a4c9c58
|
||||
SIZE (cabal/blaze-html-0.9.2.0/revision/1.cabal) = 3087
|
||||
SHA256 (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 8606ac8b4a1f7f8f1bbc0770b2752e9b6f88ccc9fbdcbb33aa20577d0e5930e8
|
||||
SIZE (cabal/blaze-markup-0.8.3.0/blaze-markup-0.8.3.0.tar.gz) = 14647
|
||||
SHA256 (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = a8365ac8b98738065c2867682dbcd9b0baeb7a5cd1eaa8e508279edfd19227b9
|
||||
SIZE (cabal/blaze-markup-0.8.3.0/revision/1.cabal) = 2276
|
||||
SHA256 (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 027f218b81d28a7c0a33b93d456c4e5aa92d145e9dcee14834fbad73a39ad7e4
|
||||
SIZE (cabal/blaze-markup-0.8.3.0/revision/2.cabal) = 2360
|
||||
SHA256 (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 38e1782e8a458f342a0acbb74af8f55cb120756bc3af7ee7220d955812af56c3
|
||||
SIZE (cabal/boxes-0.1.5/boxes-0.1.5.tar.gz) = 7598
|
||||
SHA256 (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 296dc17e0c5f3dfb3d82ced83e4c9c44c338ecde749b278b6eae512f1d04e406
|
||||
SIZE (cabal/case-insensitive-1.2.1.0/case-insensitive-1.2.1.0.tar.gz) = 53609
|
||||
SHA256 (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 22de71fde38b236d3e9168a832b5e1e75d1fb4f4028667bdf747b3b4c8c1529c
|
||||
SIZE (cabal/character-ps-0.1/character-ps-0.1.tar.gz) = 8192
|
||||
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
|
||||
@ -55,10 +57,8 @@ SHA256 (cabal/comonad-5.0.8/revision/2.cabal) = 4a4dbfbd03fb4963987710fca994e8b5
|
||||
SIZE (cabal/comonad-5.0.8/revision/2.cabal) = 3631
|
||||
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/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 3a172d3bc0639c327345e965f9d9023e099425814b28dcdb7b60ff66d66219cc
|
||||
SIZE (cabal/data-fix-0.3.2/data-fix-0.3.2.tar.gz) = 5842
|
||||
SHA256 (cabal/data-fix-0.3.2/revision/5.cabal) = cd7d6ff8b68aca3b51d8116870fc8ccdbc557989562cd3d5c941e4f0b7bc5af1
|
||||
SIZE (cabal/data-fix-0.3.2/revision/5.cabal) = 1734
|
||||
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/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 9117dd49013ca28ff188fc71c3595ac3af23d56d301c1f39bac93d44d8c60bbe
|
||||
SIZE (cabal/data-hash-0.2.0.1/data-hash-0.2.0.1.tar.gz) = 8504
|
||||
SHA256 (cabal/distributive-0.6.2.1/distributive-0.6.2.1.tar.gz) = d7351392e078f58caa46630a4b9c643e1e2e9dddee45848c5c8358e7b1316b91
|
||||
@ -67,8 +67,8 @@ SHA256 (cabal/distributive-0.6.2.1/revision/1.cabal) = 0f99f5541cca04acf89b64432
|
||||
SIZE (cabal/distributive-0.6.2.1/revision/1.cabal) = 2996
|
||||
SHA256 (cabal/dlist-1.0/dlist-1.0.tar.gz) = 173d637328bb173fcc365f30d29ff4a94292a1e0e5558aeb3dfc11de81510115
|
||||
SIZE (cabal/dlist-1.0/dlist-1.0.tar.gz) = 18667
|
||||
SHA256 (cabal/dlist-1.0/revision/1.cabal) = 55ff69d20ce638fc7727342ee67f2f868da61d3dcf3763f790bf9aa0b145e568
|
||||
SIZE (cabal/dlist-1.0/revision/1.cabal) = 3812
|
||||
SHA256 (cabal/dlist-1.0/revision/2.cabal) = 854727594c5a816ab3d10f15b1bc4fedaf9e3f7d1ef517a2bb9011f29ba261d2
|
||||
SIZE (cabal/dlist-1.0/revision/2.cabal) = 3942
|
||||
SHA256 (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 3e8885ee2f56ad4da940f043ae8f981ee2fe336b5e8e4ba3f7436cff4f526c4a
|
||||
SIZE (cabal/edit-distance-0.2.2.1/edit-distance-0.2.2.1.tar.gz) = 13228
|
||||
SHA256 (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee
|
||||
@ -77,34 +77,28 @@ SHA256 (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 598ad6d9d914f598cea2
|
||||
SIZE (cabal/equivalence-0.4.1/equivalence-0.4.1.tar.gz) = 9310
|
||||
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/2.cabal) = 378ec049bc2853b8011df116647fbd34bb9f00edce9840e4957f98abc097597c
|
||||
SIZE (cabal/generically-0.1.1/revision/2.cabal) = 1169
|
||||
SHA256 (cabal/generically-0.1.1/revision/3.cabal) = 1b1b638ac022d2404becb6c117b04bfdc2247429ba58596271ca2cdc413288c2
|
||||
SIZE (cabal/generically-0.1.1/revision/3.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.3.0/hashable-1.4.3.0.tar.gz) = 32efb16c2891786209b7cbe5c39df9b3a9ae51e836f1a54f646bc4602b7ab0f5
|
||||
SIZE (cabal/hashable-1.4.3.0/hashable-1.4.3.0.tar.gz) = 25601
|
||||
SHA256 (cabal/hashable-1.4.3.0/revision/1.cabal) = f3bf68acfa0df7a064a378ef2cdcfeb55e6fb96100675f4c593556dcbf3d7194
|
||||
SIZE (cabal/hashable-1.4.3.0/revision/1.cabal) = 4718
|
||||
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/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/1.cabal) = 488cca2a179a5141da8f35a3a7e6699a0ef690f834f589d6b152c4947aa8fe2d
|
||||
SIZE (cabal/hsc2hs-0.68.10/revision/1.cabal) = 3013
|
||||
SHA256 (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 1d32925fb6f78e3a52a849b29fc4360df51c97be95ba8ac642517d3ff01a53d9
|
||||
SIZE (cabal/indexed-traversable-0.1.3/indexed-traversable-0.1.3.tar.gz) = 9824
|
||||
SHA256 (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 0f9b4e895ccc819f74d15f913c93613cc74cab74dbb05d7e305aa387bdbe374a
|
||||
SIZE (cabal/indexed-traversable-instances-0.1.1.2/indexed-traversable-instances-0.1.1.2.tar.gz) = 3769
|
||||
SHA256 (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 00d5e3e149e2bee0f7a547e0093294c306d4276e73a619abe7d8e69f7ce03c7b
|
||||
SIZE (cabal/indexed-traversable-instances-0.1.1.2/revision/2.cabal) = 2550
|
||||
SHA256 (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 20ac70cf1cb65458bba2c562c209a8930e45bdb89886182d644d0a457fc46f39
|
||||
SIZE (cabal/integer-conversion-0.1.0.1/integer-conversion-0.1.0.1.tar.gz) = 6166
|
||||
SHA256 (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 0e57a82635323f015b5d6c242bcfbbeeaa9854fe9c8058e57052254dbb24bb14
|
||||
SIZE (cabal/integer-conversion-0.1.0.1/revision/1.cabal) = 2250
|
||||
SHA256 (cabal/hsc2hs-0.68.10/revision/2.cabal) = 60e78b6c60dc32a77ce6c37ed5ca4e838fc5f76f02836ef64d93cd21cc002325
|
||||
SIZE (cabal/hsc2hs-0.68.10/revision/2.cabal) = 3032
|
||||
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-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/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/5.cabal) = 4d0dfc334e64ff57bb1a08717afa4a4a7f28e4cdc46615dd287be31ef63ec00d
|
||||
SIZE (cabal/integer-logarithms-1.0.3.1/revision/5.cabal) = 3278
|
||||
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/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/murmur-hash-0.1.0.10/murmur-hash-0.1.0.10.tar.gz) = e92fad6000823aa2dabaa55096d2bc4fe21ad347f10614fc684da23e7f48bf90
|
||||
@ -115,14 +109,22 @@ SHA256 (cabal/network-uri-2.6.4.2/network-uri-2.6.4.2.tar.gz) = 9c188973126e8932
|
||||
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
|
||||
SIZE (cabal/network-uri-2.6.4.2/revision/1.cabal) = 3217
|
||||
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/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/7.cabal) = b993406e98fe9126eff4a69d28e7e361037dd1c0892a9fd6c26e1f92eb9c4fa4
|
||||
SIZE (cabal/parallel-3.2.2.0/revision/7.cabal) = 1926
|
||||
SHA256 (cabal/parallel-3.2.2.0/revision/8.cabal) = b9cf0b07fdff16f503487a4daa1e40a1f1f6c10974b4f15d6dfd5f243a643e31
|
||||
SIZE (cabal/parallel-3.2.2.0/revision/8.cabal) = 1942
|
||||
SHA256 (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 8a8fe8718dba5b1a6133e1d9eae5ba69ca76028f59d088985a8489446ac74261
|
||||
SIZE (cabal/peano-0.1.0.2/peano-0.1.0.2.tar.gz) = 2915
|
||||
SHA256 (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 1bf88b8d2c4ac90dee3000684b6e0078502dc5a1030528b687aa143b3ecc1f02
|
||||
SIZE (cabal/pqueue-1.5.0.0/pqueue-1.5.0.0.tar.gz) = 42173
|
||||
SHA256 (cabal/pqueue-1.5.0.0/revision/2.cabal) = 7dadcc2a66f0f91bea789b450355a5ce9ebdc697af8c817f9e3200e856c8adaa
|
||||
SIZE (cabal/pqueue-1.5.0.0/revision/2.cabal) = 3896
|
||||
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/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/regex-base-0.94.0.2/regex-base-0.94.0.2.tar.gz) = 7b99408f580f5bb67a1c413e0bc735886608251331ad36322020f2169aea2ef1
|
||||
@ -131,79 +133,87 @@ SHA256 (cabal/regex-base-0.94.0.2/revision/4.cabal) = 0322b2fcd1358f3355e0c8608e
|
||||
SIZE (cabal/regex-base-0.94.0.2/revision/4.cabal) = 2601
|
||||
SHA256 (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 933ed5c54246bb50e335d86b884ffb70bc252b5f776fb291f162a80a27bd75b7
|
||||
SIZE (cabal/regex-tdfa-1.3.2.2/regex-tdfa-1.3.2.2.tar.gz) = 83016
|
||||
SHA256 (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 92afd144189801dff0fa2544b55c7b6c7c7e556c10dddfb61f2d75909f68af98
|
||||
SIZE (cabal/regex-tdfa-1.3.2.2/revision/2.cabal) = 6997
|
||||
SHA256 (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = a3a121c4b3d68fb8b9f8c709ab012e48f090ed553609247a805ad070d6b343a9
|
||||
SIZE (cabal/scientific-0.3.7.0/scientific-0.3.7.0.tar.gz) = 24723
|
||||
SHA256 (cabal/scientific-0.3.7.0/revision/7.cabal) = 909755ab19b453169ff85281323da1488407776b2360bd9f7afdd219fd306ef2
|
||||
SIZE (cabal/scientific-0.3.7.0/revision/7.cabal) = 4869
|
||||
SHA256 (cabal/semialign-1.3/semialign-1.3.tar.gz) = 628e43319f584a8dd46c124ee0685cac586e0f6f877c5ceff37c3dbb2e3cc56c
|
||||
SIZE (cabal/semialign-1.3/semialign-1.3.tar.gz) = 10543
|
||||
SHA256 (cabal/semialign-1.3/revision/1.cabal) = 7be9ef5ca1d6b052991f68c053aab68b9d1ab3b1938c9557ac84c97937815223
|
||||
SIZE (cabal/semialign-1.3/revision/1.cabal) = 2888
|
||||
SHA256 (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934
|
||||
SIZE (cabal/semigroupoids-6.0.0.1/semigroupoids-6.0.0.1.tar.gz) = 36222
|
||||
SHA256 (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 47a23b451c114e65361e713e8fe36828fca3a84285325e8f444254b2ab0c43c5
|
||||
SIZE (cabal/semigroupoids-6.0.0.1/revision/1.cabal) = 7465
|
||||
SHA256 (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = e5ea15b2898c62c63fae798784bc402b3862733d97a4f7ee3ec4f9ae6f447478
|
||||
SIZE (cabal/regex-tdfa-1.3.2.2/revision/3.cabal) = 6997
|
||||
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/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/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/split-0.2.5/split-0.2.5.tar.gz) = 52da404e8397c1ab238354c8d4fd9a7e9c5cac8849cc2ce2e45facc85e74a913
|
||||
SIZE (cabal/split-0.2.5/split-0.2.5.tar.gz) = 16008
|
||||
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/strict-0.5/strict-0.5.tar.gz) = 3f4f0995dec2d520d0e321542f71412dac023658fdab603db04364d75269a0fd
|
||||
SIZE (cabal/strict-0.5/strict-0.5.tar.gz) = 12564
|
||||
SHA256 (cabal/strict-0.5/revision/1.cabal) = bd57d7b3655951dfaa7d1e1374d7352dfe83f82a9c98309bf3a6587ef8cbd87d
|
||||
SIZE (cabal/strict-0.5/revision/1.cabal) = 4120
|
||||
SHA256 (cabal/splitmix-0.1.0.5/revision/1.cabal) = caa9b4a92abf1496c7f6a3c0f4e357426a54880077cb9f04e260a8bfa034b77b
|
||||
SIZE (cabal/splitmix-0.1.0.5/revision/1.cabal) = 6596
|
||||
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/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/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = f58e7a46f951f1f13d2929e0a2f84f6db7894d55a641169aaf300aea9ada5fcf
|
||||
SIZE (cabal/text-iso8601-0.1/text-iso8601-0.1.tar.gz) = 9578
|
||||
SHA256 (cabal/text-iso8601-0.1/revision/1.cabal) = ac86f2500ca751db3c0de029dd7e7826bef7366d59dc0085b00fc695c43b9f76
|
||||
SIZE (cabal/text-iso8601-0.1/revision/1.cabal) = 2407
|
||||
SHA256 (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = a35ec6cde2ada084c1a050dc5885be5ab01f851b93d744cf0facbc1c18002dda
|
||||
SIZE (cabal/text-short-0.1.5/text-short-0.1.5.tar.gz) = 25113
|
||||
SHA256 (cabal/text-short-0.1.5/revision/3.cabal) = 9c73c9c9182ca69ee92ce3758f515b1c078cd167d882ccc8c46f92f68c65e190
|
||||
SIZE (cabal/text-short-0.1.5/revision/3.cabal) = 3216
|
||||
SHA256 (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 69ea6eca1f0c00b6e1e1f8329c908ec76e73855e2ce6e91ace2f8bbf92c51a30
|
||||
SIZE (cabal/th-abstraction-0.6.0.0/th-abstraction-0.6.0.0.tar.gz) = 43152
|
||||
SHA256 (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = d8959fa6a2812afcdd5f6f255fd6be8b3e0ca01e425586a554544fcb70b0ec7c
|
||||
SIZE (cabal/th-abstraction-0.6.0.0/revision/1.cabal) = 2303
|
||||
SHA256 (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = d8f97ac14ab47b6b8a7b0fdb4ff95426322ec56badd01652ac15da4a44d4bab8
|
||||
SIZE (cabal/th-compat-0.1.4/th-compat-0.1.4.tar.gz) = 14838
|
||||
SHA256 (cabal/th-compat-0.1.4/revision/4.cabal) = f5f2c679ecc1c1b83d2d68db6cc564e5c78d53425e69e1b9e36784820e122d37
|
||||
SIZE (cabal/th-compat-0.1.4/revision/4.cabal) = 3224
|
||||
SHA256 (cabal/these-1.2/these-1.2.tar.gz) = a8ed7174b7f790764360f48aab72fea382a6093ed369c7bc6881fae1abacd4b8
|
||||
SIZE (cabal/these-1.2/these-1.2.tar.gz) = 10606
|
||||
SHA256 (cabal/these-1.2/revision/1.cabal) = 011e22f6891ca028f87c04ea48796696c92d593313a9c699f7ff4f9ffd7aec6e
|
||||
SIZE (cabal/these-1.2/revision/1.cabal) = 2882
|
||||
SHA256 (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = ad07bb00eb9678c2136d3680752b00acc4cbc522654bb3199bf31c61ef1e6b80
|
||||
SIZE (cabal/time-compat-1.9.6.1/time-compat-1.9.6.1.tar.gz) = 59964
|
||||
SHA256 (cabal/time-compat-1.9.6.1/revision/6.cabal) = 17631ef01a03a6f55fbe131690f87f6dee9a1572acc99b6c06f04882470ffb52
|
||||
SIZE (cabal/time-compat-1.9.6.1/revision/6.cabal) = 5076
|
||||
SHA256 (cabal/tagged-0.8.8/revision/1.cabal) = 9193defbde3dda997236ccc11a1db3e073cc531fe523e13e9659df776feb0b32
|
||||
SIZE (cabal/tagged-0.8.8/revision/1.cabal) = 2732
|
||||
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-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/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/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/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
|
||||
SIZE (cabal/transformers-compat-0.7.2/transformers-compat-0.7.2.tar.gz) = 46485
|
||||
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/1.cabal) = 746c32b23f93cb13e52309e54e82d69e4315105f9815b1fcac25a57071505cff
|
||||
SIZE (cabal/unordered-containers-0.2.20/revision/1.cabal) = 3921
|
||||
SHA256 (cabal/unordered-containers-0.2.20/revision/3.cabal) = c7fe9cba405ed9905e12d89c7add3b3eb9868dfba7975e70ba0cdd64b7b11abc
|
||||
SIZE (cabal/unordered-containers-0.2.20/revision/3.cabal) = 3921
|
||||
SHA256 (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = c79c624257833841a22890e4d2b0ab07e4be88e0f99474d328223815c0814252
|
||||
SIZE (cabal/uri-encode-1.5.0.7/uri-encode-1.5.0.7.tar.gz) = 3506
|
||||
SHA256 (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 1b432e4fe43da8059feaeb6b4e973c2c4481ee86829d528f2be78a0e3645ec00
|
||||
SIZE (cabal/uri-encode-1.5.0.7/revision/3.cabal) = 2462
|
||||
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.5.1/uuid-types-1.0.5.1.tar.gz) = 0bec6d6982b3c92bfa5eab1d213be2d4b6696b9a2c3a1f1f05812dc3762dca2c
|
||||
SIZE (cabal/uuid-types-1.0.5.1/uuid-types-1.0.5.1.tar.gz) = 11965
|
||||
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-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 4c5d75a3384e76ea4c02587c2bd8123cff3c5c8aab182cee58aea38d824c715b
|
||||
SIZE (cabal/vector-hashtables-0.1.1.4/vector-hashtables-0.1.1.4.tar.gz) = 15765
|
||||
SHA256 (cabal/vector-0.13.1.0/revision/1.cabal) = bc032ccfb51d775eb6f4082c5fc02f5416b0ea0d6644a60d87677a6937f2d70d
|
||||
SIZE (cabal/vector-0.13.1.0/revision/1.cabal) = 9015
|
||||
SHA256 (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 39a9aaf451cf9e6c299904dfb02f13afaffe151d553014c1da2f07e3481b0ce8
|
||||
SIZE (cabal/vector-hashtables-0.1.2.0/vector-hashtables-0.1.2.0.tar.gz) = 25681
|
||||
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/witherable-0.4.2/witherable-0.4.2.tar.gz) = 790d2bb274283419173bd89104439860675a9410f70f21912973ecd9098b4104
|
||||
SIZE (cabal/witherable-0.4.2/witherable-0.4.2.tar.gz) = 11876
|
||||
SHA256 (cabal/witherable-0.4.2/revision/4.cabal) = cec516b35df0ff53ab0068e70a912a0ba7b65c672fbc554727183faa195ad3b8
|
||||
SIZE (cabal/witherable-0.4.2/revision/4.cabal) = 2342
|
||||
SHA256 (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 7e43c205e1e1ff5a4b033086ec8cce82ab658879e977c8ba02a6701946ff7a47
|
||||
SIZE (cabal/zlib-0.7.0.0/zlib-0.7.0.0.tar.gz) = 369149
|
||||
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/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/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
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
Agda is a dependently typed functional programming language: It has inductive
|
||||
families, which are similar to Haskell's GADTs, but they can be indexed by
|
||||
values and not just types. It also has parameterised modules, mixfix operators,
|
||||
Unicode characters, and an interactive Emacs interface (the type checker can
|
||||
assist in the development of your code).
|
||||
Agda is a dependently typed functional programming language: It has
|
||||
inductive families, which are similar to Haskell's GADTs, but they can be
|
||||
indexed by values and not just types. It also has parameterised modules,
|
||||
mixfix operators, Unicode characters, and an interactive Emacs interface
|
||||
(the type checker can assist in the development of your code).
|
||||
|
||||
Agda is also a proof assistant: It is an interactive system for writing and
|
||||
checking proofs. Agda is based on intuitionistic type theory, a foundational
|
||||
|
||||
Loading…
Reference in New Issue
Block a user