1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-02 06:03:50 +00:00
freebsd-ports/math/hs-Agda/distinfo
2021-10-22 17:25:14 +03:00

140 lines
12 KiB
Plaintext

TIMESTAMP = 1633109477
SHA256 (cabal/Agda-2.6.2.tar.gz) = 072caaad7a405b764423958d2001b68fbfd3fc8f98870cd0a5f0bcaeadfd3095
SIZE (cabal/Agda-2.6.2.tar.gz) = 2872739
SHA256 (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 65d3d7e953388df26c748c4ca2c57175e71a71e779fe6b1a77f6639c4336ea07
SIZE (cabal/Cabal-3.0.2.0/Cabal-3.0.2.0.tar.gz) = 758932
SHA256 (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 1ae82a40060b8014981b8f4d45517f80f02456e73245030993c4c9123b827103
SIZE (cabal/STMonadTrans-0.4.4/STMonadTrans-0.4.4.tar.gz) = 6298
SHA256 (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 07e746655fd9bec81c59927c5617877ff4fcd81d0df45c5fb8ef154fb8f40294
SIZE (cabal/aeson-1.4.7.1/aeson-1.4.7.1.tar.gz) = 277911
SHA256 (cabal/aeson-1.4.7.1/revision/2.cabal) = 6199a98b072e5a7748e81ab72476a0992cf23d925ebe4fefd5b917cbda9c2af8
SIZE (cabal/aeson-1.4.7.1/revision/2.cabal) = 7098
SHA256 (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = b77c8a1270767c64e2adb21a6e91ee7cd904ba17edae17bc20fd03da5256e0e3
SIZE (cabal/alex-3.2.5/alex-3.2.5.tar.gz) = 108531
SHA256 (cabal/alex-3.2.5/revision/1.cabal) = dae09bfcac2fe2ac7e967c0e565fd0bc1b5b3ed5e0ca450a004b9497e9d44d17
SIZE (cabal/alex-3.2.5/revision/1.cabal) = 4225
SHA256 (cabal/async-2.2.2/async-2.2.2.tar.gz) = 4b4ab1ac82c45144d82c6daf6cb6ba45eab9957dad44787fa5e869e23d73bbff
SIZE (cabal/async-2.2.2/async-2.2.2.tar.gz) = 12927
SHA256 (cabal/async-2.2.2/revision/1.cabal) = a178c166856da7ff22fe4500337b54812e94fd2059409452187d72e057ede9cd
SIZE (cabal/async-2.2.2/revision/1.cabal) = 2934
SHA256 (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = ba66cd6de1749ec92568db1b9c905b43a849f0ad918d45d7b594407a02ebefb2
SIZE (cabal/attoparsec-0.13.2.4/attoparsec-0.13.2.4.tar.gz) = 163431
SHA256 (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5941a05141a61239e8d6c4f2c9876bec3765d786766721b8474b8625febf914a
SIZE (cabal/attoparsec-0.13.2.4/revision/1.cabal) = 5796
SHA256 (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 356f1542ec93e7192a9073d32a8ef1e48194275495dcec7fb0d241f4baaf6d36
SIZE (cabal/base-compat-0.11.1/base-compat-0.11.1.tar.gz) = 33691
SHA256 (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = caf66fed3c0a3b0437692cad18c93a7074e8524a86b8be1ce04d0a18cbf6aed8
SIZE (cabal/base-compat-batteries-0.11.1/base-compat-batteries-0.11.1.tar.gz) = 16748
SHA256 (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 2a8062385e5d5dee418428a22c72b9391557bc1fe2f93bd643f7754b36b9eb01
SIZE (cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz) = 20727
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-builder-0.4.1.0/revision/1.cabal) = 3231635f58df8f62a4e791d3ccade450d07dd370bf97729a8d0fabf113acc6dc
SIZE (cabal/blaze-builder-0.4.1.0/revision/1.cabal) = 3558
SHA256 (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 60503f42546c6c1b954014d188ea137e43d74dcffd2bf6157c113fd91a0c394c
SIZE (cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz) = 81617
SHA256 (cabal/blaze-html-0.9.1.2/revision/1.cabal) = 49db3eb70fa93fb572f3a9233b542b59e7f766a2b95c92d01d95a596c7727473
SIZE (cabal/blaze-html-0.9.1.2/revision/1.cabal) = 3048
SHA256 (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 1bd3ba68775e4a11efc71567e30e8ef3d27801c6b5fe4a1abf57dd747af37661
SIZE (cabal/blaze-markup-0.8.2.5/blaze-markup-0.8.2.5.tar.gz) = 14529
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/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.8/dlist-0.8.0.8.tar.gz) = 7129cf18068d3384e305708a10426ab8f573bee1030b023a114f45f1d0ec496d
SIZE (cabal/dlist-0.8.0.8/dlist-0.8.0.8.tar.gz) = 9262
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.5/equivalence-0.3.5.tar.gz) = 17ab5a2a6759f6855de40acdd9dde0d0f89e9d9219a4bc8e52623816da97f698
SIZE (cabal/equivalence-0.3.5/equivalence-0.3.5.tar.gz) = 8313
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.7/geniplate-mirror-0.7.7.tar.gz) = 6b64885458d7a0a89ff452ea5d4a663f6fb3e4573e54f57141dfecdfa9ce8423
SIZE (cabal/geniplate-mirror-0.7.7/geniplate-mirror-0.7.7.tar.gz) = 9448
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.12/happy-1.19.12.tar.gz) = fb9a23e41401711a3b288f93cf0a66db9f97da1ce32ec4fffea4b78a0daeb40f
SIZE (cabal/happy-1.19.12/happy-1.19.12.tar.gz) = 183254
SHA256 (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 822e5413fbccca6ae884d3aba4066422c8b5d58d23d18b9ecb5c03273bb19ab4
SIZE (cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz) = 29835
SHA256 (cabal/hashable-1.3.0.0/revision/2.cabal) = d60cad00223d46172020c136e68acef0481a47d0302b2e74b1805b4f3a446a9b
SIZE (cabal/hashable-1.3.0.0/revision/2.cabal) = 5389
SHA256 (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 125ce62701fba3f666609f5c75f452005aa5d32dff4eeee3f3903c30b2ed55e6
SIZE (cabal/hashtables-1.2.3.4/hashtables-1.2.3.4.tar.gz) = 58458
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/integer-logarithms-1.0.3/revision/2.cabal) = 63d42595ec92b71ac98a07b984b0a2eb3d4956f4ad2d856c3bf6fc3dc218d228
SIZE (cabal/integer-logarithms-1.0.3/revision/2.cabal) = 2820
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.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.3.0/network-uri-2.6.3.0.tar.gz) = a01c1389f15d2cc2e847914737f706133bb11f0c5f8ee89711a36a25b7afa723
SIZE (cabal/network-uri-2.6.3.0/network-uri-2.6.3.0.tar.gz) = 31997
SHA256 (cabal/network-uri-2.6.3.0/revision/1.cabal) = 43727dafd00531c8c9df1ed4ee1cf363d76111f8e841193a3397a2a4c5f79b3f
SIZE (cabal/network-uri-2.6.3.0/revision/1.cabal) = 3033
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/3.cabal) = 421ce1717610bab82969572b96be89d83ea8d8afe7751cb54d80b996fff063d3
SIZE (cabal/parallel-3.2.2.0/revision/3.cabal) = 1817
SHA256 (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = dd8bb7d829f492d6200fca4a839a7563b80571c5f76b4d0fa76700ebe897f7dd
SIZE (cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz) = 66023
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.94.0.0/regex-base-0.94.0.0.tar.gz) = c41f82f5fc1157c961a4cbdc0cd5561e5aa44f339ce6e706d978d97e0ca6b914
SIZE (cabal/regex-base-0.94.0.0/regex-base-0.94.0.0.tar.gz) = 9679
SHA256 (cabal/regex-base-0.94.0.0/revision/1.cabal) = 44aa95ca762294ffbb28cf0af9c567d93b5d2c56e4f38ce5385a257d899f968e
SIZE (cabal/regex-base-0.94.0.0/revision/1.cabal) = 2253
SHA256 (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 15c376783d397b3b9933cf35980808feddde273bd6f2445babbccb2f76a42ec0
SIZE (cabal/regex-tdfa-1.3.1.0/regex-tdfa-1.3.1.0.tar.gz) = 77767
SHA256 (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = eb8d0f007cf45faca8574f56f0d19c9b02bc529ef1688d8f8a9751ce7dc36cc3
SIZE (cabal/regex-tdfa-1.3.1.0/revision/2.cabal) = 6483
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.4/split-0.2.3.4.tar.gz) = 271fe5104c9f40034aa9a1aad6269bcecc9454bc5a57c247e69e17de996c1f2a
SIZE (cabal/split-0.2.3.4/split-0.2.3.4.tar.gz) = 15942
SHA256 (cabal/split-0.2.3.4/revision/2.cabal) = a6df9c3e806ee7cb50bc980a183fc1156f35022a39430dabac0bf9456fe18a4b
SIZE (cabal/split-0.2.3.4/revision/2.cabal) = 2647
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/tagged-0.8.6/revision/3.cabal) = 7cce0b9355d1daad797555dfa906f756ed0253a40bc826ca367adf21d7b369f3
SIZE (cabal/tagged-0.8.6/revision/3.cabal) = 2606
SHA256 (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 36fef33ad0f34b9b8fb5552fe6187579a00d5f90d938e9bc24d382a9919feb79
SIZE (cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz) = 35111
SHA256 (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = bb6a44e667945ddca8ded93e041ee91986a4a19f59e149a5dd21fdb1bfa3db88
SIZE (cabal/time-compat-1.9.3/time-compat-1.9.3.tar.gz) = 50050
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.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/unordered-containers-0.2.10.0/revision/1.cabal) = 5e9b095a9283d9e2f064fec73a81a6b6ea0b7fda3f219a8175785d2d2a3de204
SIZE (cabal/unordered-containers-0.2.10.0/revision/1.cabal) = 5199
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/4.cabal) = 963505cf2eeadb4f1c14336cda8ee8a0e658386450caa6eef34100e44b73fc46
SIZE (cabal/uuid-types-1.0.3/revision/4.cabal) = 2462
SHA256 (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 3b6e27683f6f20b37b8a35d0fab9e34b57dad72ac64cb16f428726780d4011bd
SIZE (cabal/vector-0.12.1.2/vector-0.12.1.2.tar.gz) = 131049
SHA256 (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = f0f810ff173560b60392db448455c0513b3239f48e43cb494b3733aa559621d0
SIZE (cabal/zlib-0.6.2.1/zlib-0.6.2.1.tar.gz) = 143424
SHA256 (cabal/zlib-0.6.2.1/revision/1.cabal) = d34ddf5fece4d1e9d471b5298f36335bb3cfe12cb5a1b8525c42f0b665382f45
SIZE (cabal/zlib-0.6.2.1/revision/1.cabal) = 4547