aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda/distinfo
blob: 4ba66d6d366c839ef817fc8d9f805900d5e87370 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
TIMESTAMP = 1614527277
SHA256 (cabal/Agda-2.6.1.3.tar.gz) = bb1bc840cee95eea291bd220ea043b60153a6f7bd8198bc53be2bf3b83c8a1e7
SIZE (cabal/Agda-2.6.1.3.tar.gz) = 2716612
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/1.cabal) = 6d8d2fd959b7122a1df9389cf4eca30420a053d67289f92cdc0dbc0dab3530ba
SIZE (cabal/aeson-1.4.7.1/revision/1.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/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/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-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-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/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/1.cabal) = 4c70f1407881059e93550d3742191254296b2737b793a742bd901348fb3e1fb1
SIZE (cabal/hashable-1.3.0.0/revision/1.cabal) = 5206
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/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/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/1.cabal) = bec13812a56a904ff3510caa19fe1b3ce3939e303604b1bcb3162771c52311ba
SIZE (cabal/regex-tdfa-1.3.1.0/revision/1.cabal) = 6324
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/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/2.cabal) = 1f7ca84e6c88cbb923641c60041c9f56c34f1a889759cc073cdf10542b441ff9
SIZE (cabal/tagged-0.8.6/revision/2.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-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/2.cabal) = 2cab161f274309cfd9ef62694a6bd1b47525bc4c79a827293b055e4a9eadb4d2
SIZE (cabal/uuid-types-1.0.3/revision/2.cabal) = 2473
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