freebsd-ports/math/hs-Agda/distinfo
Gleb Popov ef619face3 math/hs-Agda: Update to latest version and unbreak.
Approved by:	tcberner (mentor, implicit)
2019-06-13 18:51:51 +00:00

118 lines
10 KiB
Plaintext

TIMESTAMP = 1559579061
SHA256 (cabal/Agda-2.6.0.1.tar.gz) = 7bb88a9cd4a556259907ccc71d54e2acc9d3e9ce05486ffdc83f721c7c06c0e8
SIZE (cabal/Agda-2.6.0.1.tar.gz) = 2372106
SHA256 (cabal/EdisonAPI-1.3.1/EdisonAPI-1.3.1.tar.gz) = 95a3b8d01599520a50456219b5a2e9f7832bcddaaeb8e94ce777bd87a4a6b56e
SIZE (cabal/EdisonAPI-1.3.1/EdisonAPI-1.3.1.tar.gz) = 30512
SHA256 (cabal/EdisonCore-1.3.2.1/EdisonCore-1.3.2.1.tar.gz) = 73c6014d07107a9ed21df76a59f70c9d68d64ac84cced35f7b628f1d792cf239
SIZE (cabal/EdisonCore-1.3.2.1/EdisonCore-1.3.2.1.tar.gz) = 82522
SHA256 (cabal/QuickCheck-2.13.1/QuickCheck-2.13.1.tar.gz) = a6463a96e7af7d6d5614dc919adca6e740b92a66334a55333ffbe44cac89d9c6
SIZE (cabal/QuickCheck-2.13.1/QuickCheck-2.13.1.tar.gz) = 71215
SHA256 (cabal/STMonadTrans-0.4.3/STMonadTrans-0.4.3.tar.gz) = 574fd56cf74036c20d00a09d815659dbbb0ae51c8103d00c93cd9558ad3322db
SIZE (cabal/STMonadTrans-0.4.3/STMonadTrans-0.4.3.tar.gz) = 5786
SHA256 (cabal/aeson-1.4.3.0/aeson-1.4.3.0.tar.gz) = 6564ac0fb429cd4bcafc706fa4b905dab94f57f765ebd96a65c9ba4b9e520c19
SIZE (cabal/aeson-1.4.3.0/aeson-1.4.3.0.tar.gz) = 272210
SHA256 (cabal/alex-3.2.4/alex-3.2.4.tar.gz) = d58e4d708b14ff332a8a8edad4fa8989cb6a9f518a7c6834e96281ac5f8ff232
SIZE (cabal/alex-3.2.4/alex-3.2.4.tar.gz) = 110688
SHA256 (cabal/async-2.2.1/async-2.2.1.tar.gz) = 8f0b86022a1319d3c1c68655790da4b7f98017982e27ec3f3dbfe01029d39027
SIZE (cabal/async-2.2.1/async-2.2.1.tar.gz) = 12775
SHA256 (cabal/async-2.2.1/revision/1.cabal) = 61789382f449a02f827e70a029ba8f24a223b9c6b3792bb094fbd41ee360e851
SIZE (cabal/async-2.2.1/revision/1.cabal) = 2983
SHA256 (cabal/attoparsec-0.13.2.2/attoparsec-0.13.2.2.tar.gz) = dd93471eb969172cc4408222a3842d867adda3dd7fb39ad8a4df1b121a67d848
SIZE (cabal/attoparsec-0.13.2.2/attoparsec-0.13.2.2.tar.gz) = 159729
SHA256 (cabal/attoparsec-0.13.2.2/revision/2.cabal) = 6a0baba19991e84ef939056e7b411ad3a1ea0fb5e1e8fce7ca50e96c84b206c8
SIZE (cabal/attoparsec-0.13.2.2/revision/2.cabal) = 5791
SHA256 (cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 990aea21568956d44ab018c5dbfbaea014b9a0d5295d29ca7550149419a6fb41
SIZE (cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz) = 33158
SHA256 (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 91fc8b966f3e9dc9461e1675c7566b881740f99abc906495491a3501630bc814
SIZE (cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz) = 61365
SHA256 (cabal/blaze-html-0.9.1.1/blaze-html-0.9.1.1.tar.gz) = ea0e944298dbbd692b41af4f15dbd1a1574aec7b8f91f38391d25106b143bb1b
SIZE (cabal/blaze-html-0.9.1.1/blaze-html-0.9.1.1.tar.gz) = 81502
SHA256 (cabal/blaze-markup-0.8.2.2/blaze-markup-0.8.2.2.tar.gz) = c6f0cf8fd707ba8c0b700e0c5ad6a1212c8b57d46a9cbdfb904d8bf585ad82e1
SIZE (cabal/blaze-markup-0.8.2.2/blaze-markup-0.8.2.2.tar.gz) = 14458
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/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/dlist-0.8.0.6/dlist-0.8.0.6.tar.gz) = 780b4ac91d6e88e77ebf1629568bddd45959b8e0cd295b17c7d55d835c03c73f
SIZE (cabal/dlist-0.8.0.6/dlist-0.8.0.6.tar.gz) = 9057
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
SIZE (cabal/edit-distance-0.2.2.1/revision/1.cabal) = 2351
SHA256 (cabal/equivalence-0.3.4/equivalence-0.3.4.tar.gz) = c1fe3dae3aaaec95fa9e45b6259134c32a249091b7dc58413a98db4e8421420b
SIZE (cabal/equivalence-0.3.4/equivalence-0.3.4.tar.gz) = 8424
SHA256 (cabal/exceptions-0.10.2/exceptions-0.10.2.tar.gz) = 918c2ccbfb03caff826726bb7bf5170734b393817ace939f8dea86d60fc1512a
SIZE (cabal/exceptions-0.10.2/exceptions-0.10.2.tar.gz) = 19932
SHA256 (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 6d5cdb1a5c539425a9665f740e364722e1d9d6ae37fbc55f30fe3dbbbb91d4a2
SIZE (cabal/fail-4.9.0.0/fail-4.9.0.0.tar.gz) = 2416
SHA256 (cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz) = 4b6b82d0348e79ae4a5e1deac029441251ae87ec15a7667cf0a1de5ff80215f8
SIZE (cabal/geniplate-mirror-0.7.6/geniplate-mirror-0.7.6.tar.gz) = 9314
SHA256 (cabal/geniplate-mirror-0.7.6/revision/1.cabal) = f30c8b1329ee8a8d3aa17bd6e16d55b821403a556497559be289973cdb16dfdf
SIZE (cabal/geniplate-mirror-0.7.6/revision/1.cabal) = 1071
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.19.9/happy-1.19.9.tar.gz) = 3e81a3e813acca3aae52721c412cde18b7b7c71ecbacfaeaa5c2f4b35abf1d8d
SIZE (cabal/happy-1.19.9/happy-1.19.9.tar.gz) = 179328
SHA256 (cabal/happy-1.19.9/revision/3.cabal) = f8c774230735a390c287b2980cfcd2703d24d8dde85a01ea721b7b4b4c82944f
SIZE (cabal/happy-1.19.9/revision/3.cabal) = 4667
SHA256 (cabal/hashable-1.2.7.0/hashable-1.2.7.0.tar.gz) = ecb5efc0586023f5a0dc861100621c1dbb4cbb2f0516829a16ebac39f0432abf
SIZE (cabal/hashable-1.2.7.0/hashable-1.2.7.0.tar.gz) = 30182
SHA256 (cabal/hashable-1.2.7.0/revision/1.cabal) = 03b6836ca9cd3ad0e5a2f3cce989b001dd0e05f306a873db3196037adb30e0a4
SIZE (cabal/hashable-1.2.7.0/revision/1.cabal) = 5215
SHA256 (cabal/hashtables-1.2.3.2/hashtables-1.2.3.2.tar.gz) = d1f3bc6e56f4ca29b1c1648cd3df083480ee83fb3101a678c59e97ce35df9c69
SIZE (cabal/hashtables-1.2.3.2/hashtables-1.2.3.2.tar.gz) = 58148
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/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 5ae262018698af35bb74916fad170d96d3eb44669c72ed36db9a19a3392cec16
SIZE (cabal/integer-logarithms-1.0.3/integer-logarithms-1.0.3.tar.gz) = 8840
SHA256 (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 89b9db94ead4cc0784dbcfb47c51b5664c1718860db00cd8ada3ef6fdd4465ad
SIZE (cabal/murmur-hash-0.1.0.9/murmur-hash-0.1.0.9.tar.gz) = 4204
SHA256 (cabal/network-uri-2.6.1.0/network-uri-2.6.1.0.tar.gz) = 423e0a2351236f3fcfd24e39cdbc38050ec2910f82245e69ca72a661f7fc47f0
SIZE (cabal/network-uri-2.6.1.0/network-uri-2.6.1.0.tar.gz) = 27262
SHA256 (cabal/primitive-0.6.4.0/primitive-0.6.4.0.tar.gz) = 4cbeaf7924dd79221f327ea101a29bf35c4976dc3319df157ff46ea68e6a0c64
SIZE (cabal/primitive-0.6.4.0/primitive-0.6.4.0.tar.gz) = 45937
SHA256 (cabal/primitive-0.6.4.0/revision/1.cabal) = 5b6a2c3cc70a35aabd4565fcb9bb1dd78fe2814a36e62428a9a1aae8c32441a1
SIZE (cabal/primitive-0.6.4.0/revision/1.cabal) = 2079
SHA256 (cabal/random-1.1/random-1.1.tar.gz) = b718a41057e25a3a71df693ab0fe2263d492e759679b3c2fea6ea33b171d3a5a
SIZE (cabal/random-1.1/random-1.1.tar.gz) = 10870
SHA256 (cabal/random-1.1/revision/1.cabal) = 7b67624fd76ddf97c206de0801dc7e888097e9d572974be9b9ea6551d76965df
SIZE (cabal/random-1.1/revision/1.cabal) = 1777
SHA256 (cabal/regex-base-0.93.2/regex-base-0.93.2.tar.gz) = 20dc5713a16f3d5e2e6d056b4beb9cfdc4368cd09fd56f47414c847705243278
SIZE (cabal/regex-base-0.93.2/regex-base-0.93.2.tar.gz) = 9156
SHA256 (cabal/regex-tdfa-1.2.3.2/regex-tdfa-1.2.3.2.tar.gz) = 0e8ea50b60abbe998b191005695647fc2fcb544bdf5b6829b7e7a48f33bed00f
SIZE (cabal/regex-tdfa-1.2.3.2/regex-tdfa-1.2.3.2.tar.gz) = 67702
SHA256 (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 278d0afc87450254f8a76eab21b5583af63954efc9b74844a17a21a68013140f
SIZE (cabal/scientific-0.3.6.2/scientific-0.3.6.2.tar.gz) = 23510
SHA256 (cabal/split-0.2.3.3/split-0.2.3.3.tar.gz) = 1dcd674f7c5f276f33300f5fd59e49d1ac6fc92ae949fd06a0f6d3e9d9ac1413
SIZE (cabal/split-0.2.3.3/split-0.2.3.3.tar.gz) = 15681
SHA256 (cabal/split-0.2.3.3/revision/1.cabal) = f1c7b12865e38d1e241ceef74c85eb81d82301022fea1a5012d8d9803af5e26f
SIZE (cabal/split-0.2.3.3/revision/1.cabal) = 2614
SHA256 (cabal/splitmix-0.0.2/splitmix-0.0.2.tar.gz) = e6abb71ab9c1daeb35262523f23adf7d5d70dfbf097ec40caf91b35866a43bf9
SIZE (cabal/splitmix-0.0.2/splitmix-0.0.2.tar.gz) = 9865
SHA256 (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 2cd35a67938db635a87617d9576d5df0158b581e8e5694f07487c0f4b1549221
SIZE (cabal/strict-0.3.2/strict-0.3.2.tar.gz) = 3948
SHA256 (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = ad16def0884cf6f05ae1ae8e90192cf9d8d9673fa264b249499bd9e4fac791dd
SIZE (cabal/tagged-0.8.6/tagged-0.8.6.tar.gz) = 11759
SHA256 (cabal/th-abstraction-0.3.1.0/th-abstraction-0.3.1.0.tar.gz) = 4b9e1bcc6ec3d897fb09c3d7fa2f37f0672d5370e0e3e49809886da81fe001b9
SIZE (cabal/th-abstraction-0.3.1.0/th-abstraction-0.3.1.0.tar.gz) = 34248
SHA256 (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 07ff1566de7d851423a843b2de385442319348c621d4f779b3d365ce91ac502c
SIZE (cabal/time-locale-compat-0.1.1.5/time-locale-compat-0.1.1.5.tar.gz) = 1956
SHA256 (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = da67cf11515da751b32a8ce6e96549f7268f7c435769ad19dc9766b69774620b
SIZE (cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz) = 40421
SHA256 (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 65f117bdbdea9efc75fb9fd539873de7687e005d8898bb21821020a4b383c573
SIZE (cabal/unordered-containers-0.2.10.0/unordered-containers-0.2.10.0.tar.gz) = 44733
SHA256 (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = e82b588aad63112d34f6bad6f1ef72489b9edebfe14f2f523dc1dabdcbe2b186
SIZE (cabal/uri-encode-1.5.0.5/uri-encode-1.5.0.5.tar.gz) = 3447
SHA256 (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = fb0b9e3acbe0605bcd1c63e51f290a7bbbe6628dfa3294ff453e4235fbaef140
SIZE (cabal/utf8-string-1.0.1.1/utf8-string-1.0.1.1.tar.gz) = 8667
SHA256 (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 68cc6cf665e7212334a51b63d6936daeaca023b2cfe8637d130acfe95f91700b
SIZE (cabal/utf8-string-1.0.1.1/revision/3.cabal) = 1151
SHA256 (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 9276517ab24a9b06f39d6e3c33c6c2b4ace1fc2126dbc1cd9806866a6551b3fd
SIZE (cabal/uuid-types-1.0.3/uuid-types-1.0.3.tar.gz) = 11999
SHA256 (cabal/uuid-types-1.0.3/revision/1.cabal) = 01887ed945e74c3c361b00700bd9aeead37d1124d39c0d4f190f89fb0e909c47
SIZE (cabal/uuid-types-1.0.3/revision/1.cabal) = 2473
SHA256 (cabal/vector-0.12.0.3/vector-0.12.0.3.tar.gz) = b8a2bfbf9d22d34a28cde9b9e92bfb054e46797754154dd5883295c38936e5a8
SIZE (cabal/vector-0.12.0.3/vector-0.12.0.3.tar.gz) = 124899
SHA256 (cabal/zlib-0.6.2/zlib-0.6.2.tar.gz) = 0dcc7d925769bdbeb323f83b66884101084167501f11d74d21eb9bc515707fed
SIZE (cabal/zlib-0.6.2/zlib-0.6.2.tar.gz) = 142677