DATA 4ti2-1.6.10 939 BLAKE2B 96a45b4298f203c72c728b1a3a6e759bb43c44a2fc86e1ad07ee7475224021f2ba6faaa8f24cd51c529a5d9eafc252bebd940740bd585d84d1d19d3f234630e3 SHA512 66382813d9c1db71b2e2885257392700a11778dc869734e24d71731e95fd148432db7322611cba44326a53fe2b4fbd7461d14cdfb54736e7a6bfa65957017b7f
DATA 4ti2-1.6.7-r1 841 BLAKE2B 194d66395ba279a0219195752a318be6f6252b637e5b9e5be6fa226b12a36a7f73e1fa84d1cf363c212d4b82a1b5fcaf30a498194cfe882023005783d99e1705 SHA512 90e40a7349fb7a9f0e08b06f95955b733ac7dc9633b10abe5ff0b4ea97557cb4a91a782f297935a79b0c0ffcb1ec46062b4c3baf993aa0e1a83b45542e9a5e8c
DATA abc-0_p20230313 600 BLAKE2B 5486475c2cc9b8564fd98f60529a9955a5318a472fc488dc389e43b97fd7b5a81f34d56509b750f3230b1a8d45c250a016fea7af011e308b46aa1bb3c589b620 SHA512 05d83279292c29f3fb08424f1ec7e986651c29befe9509a8f649b979c8cc6e64ea062323ba496a1319241b02484f65f33ca33b3830452b0ae2032611525f9b4f
DATA abc-9999 559 BLAKE2B acb48e896750c3d8b9a5fbfa6e9b44418353695eda86e440379321d00bfb18477c31620f4cc8c966135969ecb9f9f32bc6203eada814b4952f721de9ea8cabf1 SHA512 6cf1388dd31280c1f51bbcc4e9dcd8b3b9b0c2e3b57f265806a015bc62a941c3dd2a5e54deba037e444b0b5dd7df90f1a8a8b81710b224b7574f91df4d6ccb76
DATA acl2-8.5_p20240307-r1 689 BLAKE2B 924404697838af75fe4f3986df99e84eacb494ca12dec6f0ecdbbbc93bb062ad89ccfa566dcf73bc2f5dd93321334fb062cb4a247fb45b31e03471c489d77961 SHA512 608bae8d2a0f925ee4b442d1ea78891a7edbea08a1624af127bdef7d080801fdabbc372e805aace52a98b24429107e00a24379396809bc044e9f20be2f9fb0f1
DATA acl2-8.6 678 BLAKE2B c6c64f20dcf6c9dc97260c38e1b56e0cf9b675c7c3e8f56336172900f641b12e673e1aa88c575ad8d1c959056dfe5fa137002792a7516e5e9d307614a609027f SHA512 1705150077ecbcbab27677fc9844e1bd3b191a586456612f6f4430c4a480181ac11a8c6bccd43f405d812787a76eb25d50e58434c253fb9013056b3ac8880334
DATA alectryon-2.0.0 2713 BLAKE2B 31f70866ffd3e0dbe58cf693f2753c85386c5efb125ada3ad332414f9e95276656ff79b57ca07410520193e034da243b33ae7d172078df9db40e002fee728925 SHA512 67a602aa77ca88ef60961ddccf8c1feb1f973bf7a15c80e252a79ed84ba472f831801d37bba0852301c1b948a30e4bd9ddc04b3e4ca43eadd58cdfcb912aaeb1
DATA alt-ergo-2.4.3-r3 1227 BLAKE2B 1eece07eb1b7d87dcf7aa51f5f7b61c814b58f33407f2b579839ccaddb0143c612343e8684332b676280d3889584951f6e28e9e47fca0477ed3c65665a643a8f SHA512 5631edbd55353756defb48df2fd45fe92b60d040a8b4d49a0fd6ec208f75cce5b56b12406388bdecb93f6a930baaef0e81ed084b6d3d66b5260b3fc018142349
DATA arb-2.23.0 912 BLAKE2B 93caafed5ff85b35ad5948258d03e39455f9b20c4a1be0f87dc3782d9c19e974e7b8b850d06901656a8c183ac46585a23ea4fe3096601c325c174d2642400858 SHA512 7a3d77fff472656fa86745a1e91fef7be3f91b536cafa413a034e2f09fe697aff7e1a91a9639cc6badcaa84776f9887e01f14e57d97c05f2acc55fa68c9faeac
DATA bertini-1.6 623 BLAKE2B 12451f30875b1f90f9dd22191df4ac102311ed3cd8bc238246107a93d061daf00f85fe27ceba99e28f2799f4a95388005620aa98754e3002c606e6e1f6fc818f SHA512 67936a5e9d70adc18a2bcba2a411fe7dda5d78cab42060852381a9fd7db07251caf4c42339cabfd55cf6a6f6d8e0fc64160d7b917fe5ef9ffaa729ef3d41de2b
DATA btor2tools-1.0.0_pre20220518-r1 757 BLAKE2B ee40e621b319bcd23b70461b5f7b6c47c22b59d984e6d714fc059ec7979567026b6b2e196cbd68e3bf37e27ecbd46818c9ac4ea3cd8e568bb8514cf870fb8997 SHA512 ab8765f32fa3bee0e8e7fd856ccef100aff3bcd3bd30e3668027bfa4401cf36064a23f9c21572925fbd6a9d64a6e32445c130520bb02b811b7463053adb1c6e7
DATA cadabra-2.5.14_p1-r1 3812 BLAKE2B bd611dc478f7666e997f2a6d5874677962475dc562bd7d0990a31e67da9c621d8f1aac17eff63b66cf520f2092648b7575d96846df4c526b5acbfbd7d72d64ca SHA512 82f3508263deb32593749f008f12cb3ffebef7d8738c5f6b84c862312804c8610b953bdb81bbb636359942ccbbc469e8a42ebee1d127c852a6bc159577056bce
DATA cadical-2.0.0 515 BLAKE2B c37f4b7d5e8979d7bcaf79ea70f095318bba49c9a20971b7c327d39ba63ae0fd90d44fdac01a7eb24aadc02e79439f2ddfbca6d10ad3e7404746f061e729e04e SHA512 1c88dc931e2c4fe8a3f0d7f2a85835876cc50167d760d7fefad0027b7445c91d697df3a44d057e5b14c088c38e36755640c44d320a45461f75028f163bb58327
DATA cadical-3.0.0 516 BLAKE2B 9bd74c941f5fbe1e1a15364853ea4d993152cf19f9b94b945e2c3173cfefc7c0692d018d5f60871c06ba883d8569b20813ce1af48f83740775110e1ccca680bd SHA512 6366825f2d607c0a7360af15d53a6d5108a2e1311c72e59c631773dd38174d85e1d78e2b1239ed1d1bed30048438fda4d56612f5ac8727878317afaa692abe11
DATA calc-2.13.0.1 542 BLAKE2B 3345da5054382e9a627cf67113da9536500c278615f487b72425086a19a1d590ac81777b2045ee82fe9bc3fa1997344b28701ed9af2c53b09818b857bfb46451 SHA512 94fdee3f95128d8820a2ec1ff0e620c49c228b57eff99deb8ead42e8a468b7e63fadf14ed21a22f516156a5cffbeaaf522c1ebbaa9fc70bcad8b36507d88741d
DATA cgal-5.6 1124 BLAKE2B d430be3828e3b5a2df7041a8306bf90ded4c0109d8159a07c7e4dea2eff191dfedec693219f2328295690e6bf434ae6fba5f44e7a8d3ca4750be5499974de1ee SHA512 5468e33353a528b2881704fd19e5213eae565a44503a53961b58fd5bce808933726aa26f5c7c14d5f99373c05299d8febc097093c47d39b403853887974edf28
DATA cgal-5.6.1 1133 BLAKE2B bdf72d6ba373ce8dd721a1c0a49604781979c36bc17d70f9876406734e2f51afb586c69c838eef89fb28474150e8f5c9d8b58fd655c650233742fa6b0e133ff9 SHA512 e6a08b8363486bfc41c19986203e0fbc62814d34443681700cf86e786b7d31e730e3b648fde7f293651125d220dcc9785da7699be87bcd016fc2f9c66ee74c6e
DATA cgal-6.0 1124 BLAKE2B 2abcac3fa7f79c441e375a78a3f23243923d4850556768cb829cf7e1d676bb5da9488af318e965d6e198aa252ae471e248f77006eedbde06851d2154078a4e05 SHA512 6247d931c35eca8bb5ed63eff3a1cb04f73fe366e443b7adc544b07cd4cfc9a8b45620703b60948de8ecd4815877c09680ec9b3533063dea91d36b1a253c62e3
DATA cgal-6.0.1 1162 BLAKE2B 2fd43e56142a5aee38b6c15d2c3afe57c99c3ffe8ac0cbf41b743496d7ef3201cb3c3dd479d9baa3c085ee6aafe6392e05b1aefff0c618994118de72ab5f29db SHA512 e3d8873cdbbd6336c91f961927ca999b62c8a370f4acbfae300cf86cc3025539b0a6377be08b05276febd3634475185e9c3822d83dd4b99251817e97f430f5a2
DATA cgal-6.1 1155 BLAKE2B 713d94013a2afa976277e2e038570b571bb8fe06d75cc719837695b822f21a4871fa077556024ce6c20371b1aa0f3a2ef83d626e34cdc2301dd9e3fe5e2c1439 SHA512 650ff74a3e1e1e7939d960082baa63496d16d289942be69a8bd052f46989a49727203bf8f28413db030a8af2dcf778ff027401103c574e0a8d029139b13801e5
DATA clipper2-1.5.3 775 BLAKE2B 45e07d79d7fe766317b5e5098dbe86712cc7666e224dce851626851184d596576239f9df33f976b78e020c9935ae5c1a11c52b77b819a59f3fb37fd23f37d503 SHA512 21507b1646dcca4f40583f94b7ccfb35673dbf1a43859c5f9daf7d19421a24f1ef547a3d12f7440032cfe940c6e937c3b42b60f3eeba4af3543dea66fe378504
DATA clipper2-1.5.4 775 BLAKE2B ef0c45bf8107266588d9a98319ba19ee6300016df9f987720ec9f99cf5bcbb6444d566ff72fd741d9a6d7f6e649693ceaaeebb72ef85ea45f52a1b5c95de1ce0 SHA512 192bee0f59aa9f30af4a68d22cff9a68dd7b4a3d11f89aad9d31b6ec83ce9224198b3417878d4f18bc8be577e96af27b56a38432e864cb4c067de376dff91a29
DATA cliquer-1.22 389 BLAKE2B a5b6d95e1a33de4faeb6e18b2a4a6695e492fb4e5b79305b61e0e042a38573765434bfff8100e1acf2ab406156e8e6151e1d59891bd5eea5301a9d8a2c62fdce SHA512 3aa1734f6c9e29d485b7ec3e1612bfda45f5bc0786c4989d7eff3bf7d5b9b7968f2231cee028f6ee2bbef6284579a0e94062a46eaf6afeba4802db99642e607f
DATA cliquer-1.23 405 BLAKE2B 44e5dc0a1b4d728f6c353e795b86973580515e3a33128a96cc86712394617f683f18968f272481e29be9e2582f2487b5e98ea3a24de1850e7fa97fc1783c98b6 SHA512 00fa1e39799c51e4c047e939d614000a1e80cbbcc37f578548fe78f74f6a0b272aed4391fe9b396aaf88e11f9ecbea81468f7a2b24032e3e4a54ae0cb2a1a935
DATA coq-8.17.1-r1 1426 BLAKE2B 7f2cac075df69c1da157226dd37cf7a38393d9bfce59c14303a7f5090d3ca56ae0ef65e083f4984a5c64ee088b8d70fc77fcea6d560507b95110027b709ce2c9 SHA512 a59e0bbcfaaa3e53153f335272eca6bee82195c8502945481a0002cdeefd9d9bec7c151b46f1e845a6bc4f40dca3e49ea78681e542f3ce2cc8bf1595f6670642
DATA coq-8.19.2-r1 1426 BLAKE2B 54165da05d7621761efc3ddf47696ccd0efdd95b21bf91f78f438f721baa8b6c85a8849a301417ffbf82e31256aed7171176ac192d51b25728a059439701ac72 SHA512 05f9708f65834107a266f75bd4d985b7fb657a2983cc048a4f1d760d46ce1f64f6980202e5c3cdd8427cd55fa3523277890afbf91fcce7bc22942fe97ef6e754
DATA coq-8.20.0-r1 1426 BLAKE2B 32e9b4fadd517ceb82601ba8d3b2b406132a9f3cc24daa54318c1e0fece444c0a73ea70b39ab817be0361e3f714b42de48eb705b8c72becb7c2091b86b3be21f SHA512 a57dd3a95f73b8ff5e9cfdadfa6507386a487ec46e87fe93586926ab3eb21ecf1198026e3d0326cc5ca091065f418c5c43620e142bce12eb2310ae0e8b8c13d7
DATA coq-9.1.0-r1 1313 BLAKE2B aa946ed1b3df8de457ac8810b576eccb100c0ed572b3cfa6f0bd1bf9c4c0ffad70f5a4f513fb0a1bfdc7882a04ec85277d7b122a17c12b5aad9ca40f49a1f507 SHA512 802fe89dffd455b5ea4105884eaa30654d2afeb70951ac5e5d78336a8155d27dffc0ec52351ce2fb5cc216dd9cf82fb544a143dc328d217ed5ed6b12894543b0
DATA coq-9.1.1 1314 BLAKE2B e74f1dff66d18a881f4378b48fa38135cccf41e02ab0fe141f9e3c97bb949a9b35182c4f93a2004ce9cc4cc52b4a3cc458bcbf0d9f39c806d74676bb312f0fd9 SHA512 82b96e8af8d3617e401456c01e268f0e8555517ca27399c5dffaf13cd3f551b242ee5557aefde3eac34e2ca344b245e5de85f7b82dca8e56ca5b31c08a500fb7
DATA coq-9.2.0 1314 BLAKE2B 29f648bfbd98a8bc06407c9f796a8a1c654e3acdf8502e9735890284f539bcd6ab328b6ae75d64054e5a800f667eaa8dcd429a5daf7832502b55c1ec47489eee SHA512 e5efa0027825b4d827af3ca5c218ff4f7b8e1343ffac406943dbea545b4219dfe1d756c088498be8b79bcf2ef13977d3923fb201e7bb91848b642006d0ca1019
DATA coq-mathcomp-1.19.0-r1 502 BLAKE2B 04922335ef37653880b268629f9f824765a0e3e76c76be6bdebedb64db746771be203786eaaa6bde4e10a23c26c67312f26ffa923b40ebf3e0e757c1a39edd19 SHA512 345b85a6a5819640ec44e317d2a299bab86b3f2da2e32543ca9cc31e7c9bbc0a1951c7631d50ebb8f2ccb6c50bcf504a341b214163edfb5efd3eb4805735db12
DATA coq-serapi-0.20.0 1367 BLAKE2B 8a6ef802f1ad93b39f10519b1fe99d69829c95911216a3163661bdd160ad4413ee2eff37c9ab80f51ff50263843885d8a11e4df7a7a0ae4512777aea36df1c3e SHA512 aa0b5859d4b9e17254fc5ac5aaa704593d7f5f679fe3263589ab723b4a2d3e5d1afc628d470867c8369e84c51dd71e97c05b827f57a9a73b2726f028d1acb9a3
DATA coq-stdlib-9.0.0-r1 684 BLAKE2B cf681502af861dd4a17cefd426ff04f16eeac39133ed926029a1b01b83c969e937f0cd04285c0a44529a7a2857f1093f952c353543760b40e26219e7eb5733a3 SHA512 df22582f403ed6b6fbbcf4eb03a220cf6d9f85385b3cf5e2ecee6001f48eab4fda5767d2b229174e6abd936d50c1aaa4a2824639037fdf4e03134d854aa9d36a
DATA coq-stdlib-9.1.0 689 BLAKE2B 4cac5dcc08a769524fd69ab6ddd3c971489dbe8d10e00c9409a774c20dbc572b5a626c49688ba20899bd6854ce73cdfe71f3eda16d0df5c09e9ccdce59b40dc8 SHA512 1e06019fec962965a136cccde1fdb04a8ddbb3f64a15c26d4b1a68679f8864783ddc0bb2b47d7f0370540dc290304309ae10cb5fb76578d61b29755ba9c8f47b
DATA cryptominisat-5.11.21-r3 1941 BLAKE2B be38dd5a585409992dac6efd6a39ddedeaba175639ffb4711b5aeebbfc34329d528542c8005121d7d400deff16fe6ba42b3e0e7f6a90a50e9312ddfe5b91c6ac SHA512 5473dc6da72aac897b14038e0dbe64171440ea54d44781ffa67ae2563b77af53f2fa6f6707f37dc95d42996be461cadf654c0c58a66016e8b3f7dc5db7a34f6f
DATA cubicle-1.2.0-r2 1111 BLAKE2B 85ab9a97652954647e3ef704b6c482c242267ea73b687bf372340fceb039aebbaa53eface95647426aa1eb040e65b8c248bdfae65c2427aa735e025e03582be1 SHA512 8e79a8c3611728dbade412d9b66ed13e334a0258c2e2cb977d498a74c484bf7b5419a7a82cca5224cc61cdb718b0af5dc74feeef916435325abababd582a2037
DATA cudd-3.0.0-r2 365 BLAKE2B efabfbc5543bcb10d5435e2180e5f9018d42e0304236acc55de5099e52b0c80d0b097986c697d4a90418f226a78fcb831344bc1daf3826b0e6dcafa397531451 SHA512 bc847415339e5984fceef8e10b553b2eb4daa11ef26507f942c25629d53e41030dce3d72f152b057da6f35295a27df6f8076f980add55e52cfcefff6edd52f42
DATA cvc4-1.8-r7 1246 BLAKE2B 819ad2488dca8af156d0ec74eaf0e232b566945f774971e4cfd104a4d2883cc9dc0211addedd42a5405017b473cb1f759c7e76b9dda3819468f7e0e22dfcc798 SHA512 f9d8d3f941d8e5f00f0fde8f52b4844f2f31baa824a1a791c14363b95394cce15aa33ea8d80f5afd3392e5803f962a23dfaa2fcc5b2cfe6c46abebcf50a009bc
DATA dataplot-20131220 1284 BLAKE2B 14929b29b03ca6fff8e905eda18a47365103b2907526e425cf0fd5ad252518b5a0b31ea958ab0d2fdfdd06a9a83818dfd2e6f212ade0a813291aa3a9c3b9ae54 SHA512 a4b29aa736c8bc7ac6e3a23159a1311de34a14f95627e0b9c7117d976de48213c508045d89dd6065a3e7bd47b4b629f0ef1fa6055fe53b1718738ea104d11dfd
DATA dsfmt-2.2.4 448 BLAKE2B 9a0c28bbb28859844fb380d07f46ebdd1851b43cb3e819efc9abac0f79ac99921ae0e48d71be6321ac83a24ea049951efbaa50ea3230fd2647443a8d95c6c2d7 SHA512 4b7efbcfca020f942ed6f5e839b8988916aa2917b45318514b15650ca6a0117c4e61de7c3d0290f73cd40eed0a6c4a0f6c5c362fbc9ad7a0954a9aa23941cd1f
DATA dunshire-0.1.3-r3 2157 BLAKE2B 894ffa3bc3a23da2025f2018da03c2cfd072804df94a5ffc0f9b3c34c08b9575a9d0ab65c508b2a3fbf0fe4ac01493e243e0ec42084ab77f2a37bba9e18baf9f SHA512 8e53a1eb870bc0d25e17fe3e5d15660de66b7f5d5f2a59e48ff6504c15bd6bd13e13d7114376d8a1827b77b5d8eaba0561d396a0e9c02093298991db3eed23d4
DATA easycrypt-2026.05 1193 BLAKE2B ed0f5a6d054c37e5980ba2dba38fa9f3e1a3a4248fcabca1796243491f814b3040966c57faf25dfebd4c1ed67775568a59b53e62cbd6a75e4e9783922db5bf50 SHA512 6717050bd71fe9e037354e50566a72e44bf7948a7de1e760f2977f66b5af480e17af13ed7c2b94ae750454987944328975c59c89cd72461632b48de01ad37c23
DATA easycrypt-2026.06 1193 BLAKE2B c53c7a0e69844fc864dd66fea2d1b8619c16960f6a9fd7f7a51a04ec9c9de60c91be362939d6937b38a9ba93758d6a7a4955e9b45a5865357d0ce20d78a76599 SHA512 c342579aeac2a515f3330e955342e30ddf30d7027be6e620c9ec0790a24d518e9c4dba92d2cbc89f75f12de67bcef2dad373dfee2106c38c5a1a053f9121e5c4
DATA eclib-20250627 1046 BLAKE2B 8f753b48f2b62241edf7c54bec9298bd88e76ae1b2a8c9e065ee26b9e766485040821e7631981ec7d260e8db93c3685c47a9a94775b48424ab52b73f76bd9598 SHA512 ca80edb14880b4e06444d86e8ce6f62f398436ba7e1d3334fcc026d836dcc3dc37965c99991248d66cde644079423f62750a47dfec4ff35dea98e9b5d162e905
DATA ent-101202 454 BLAKE2B 0da3fb7bd790b7e34b6980bf33579911139a5c80161ea87707c0d39afa7fd65b47c181cc9a64d214f85d7125375ab8ba1f46c55c32091d62408d5a978304280c SHA512 a65b796665c6e44e18d13904aabaee244a35dc241085b919a28a681959d35821697bdcd0011ee8524a12b6f00daa99891471cfe56b78723c8ae1bf6a85e15c0d
DATA eprover-3.0.03 497 BLAKE2B ffc6b328400ffc8304a3e664ee8a5d10f79ea4a30201f714d8dd163119b8b66970717fddf3e91fce79c612e58877e5132c99ccbeb809e591c2fd485257cbf7da SHA512 22b9b5529c09051e4bea599c8eee043c23f39f262b5b49d3815b86258c503aecc43dc18adfb5992c94f8f6ed54a0c34a95e29938ad938ec705c3d2619e3d16ad
DATA eprover-3.2.5 495 BLAKE2B 9e86adfb04920250836a84f780218568b0c4265e529ab40e885f827847cfd9f13a83bfb23e0c41ababf89fe9781d27322d1cf4337298bdb4930ac1c8a82b24cd SHA512 20b127fa371ff8173c9e0b02fc6ac117ec63d0ff8e0f55d53962008c7a865d157a5ac1566962e0b40f8cc554bbe4687ec4c3c77ab1a08141e52f971aadb3af0a
DATA euler-1.61.0-r1 768 BLAKE2B 45a25ba4d4382bc77ce896d008e8817ab10947243b86349489109d811827033a58d34913ae6ef2b642e1768f9f56c817ad99938bdb0e5eb25b16724870ecdc8d SHA512 10e8114b88fa37f3db995aa69fed32f4f18a062bb1835d557ebfd42977f6cf373efe5a5c2550d9388241efbda89f93ac69b050fd2fd987f262898225a68a85cc
DATA fann-2.2.0-r2 681 BLAKE2B ebe8560240096dabb9e4b514d855866c824312712410fd7717d836c4badd652fe49adaa34d0d907ecd8b41b840ec61b9ba3cdb9ea180f3c95758215d3303838d SHA512 76d8be8fde102f256a3e2923b65790def6ba545a34031cdcb9bd1338440bae0baff735b672cac23245ca8e942782d1d41217f204983c99a9b943268448611686
DATA fann-9999 739 BLAKE2B 480a7950a3b14ddffa305081262f4ebd2bed4e0c92d43e9229ae8149c6f4379ff115282f38912b8970bb9c81f7c5223e03a4b0dcb594067db637848b9327e90d SHA512 9609a4863146ca545a8f59d4beeb65a100f4d84e0b0c00a495a96dd4f71c70a89b8d72fac92ec763fc01f9f49b64c957648e79cac9ad20c7aad506a54bc3fb67
DATA flint-3.1.3_p1-r4 1093 BLAKE2B 5b15e9e3ac928d49a79f3a9fd99ad3f09f299ac63a39ad8cb161b3b3cb68815d458409b326b4b0026ce553a3c6c5a34be4974499faf8580f42daa09e766ec820 SHA512 d4a80db9616d26a9eea897bbe2abf27628f9c3e9e537722e8903c6bf528124fed04482ddadcc62dd761db8832ba4df2c8bfe3def0a9c254d5b1dc348810ea2f3
DATA flint-3.3.1-r1 1060 BLAKE2B e44f0b4b7b55e90719774c9ce48f4117367434f25413a72866ed4bb59871b26c36ef620a85b815f6e5aca226b1c3ea982536ac0661423d1d6cd154d1da6b7b98 SHA512 fcddfd3d4962847d73570d4e80c63a8a94c78245517d14cf742df07bacc11b45a72dbb0cbe04774ea363b81b619712725745f376e44102d45474f312f5522709
DATA flint-3.4.0-r1 1060 BLAKE2B 807cf81a443f8e8e93ba39a63486bf51c1bf62ceab56e0089ace0656de866641c13a7624b707b4951a9c3074a705e63cafb0156ba0801767b5bfb224ff36fc9f SHA512 54cc317e81e8984be7ce6631ac3305c418465469fc9c5654b82f24dca12074b461c28cf01563ac09168cf40a376f6b898748cf802c1010a333ecd3d94454fca7
DATA flint-3.5.0 1079 BLAKE2B 35ac97685f54a6af9fecc5869cf7061fafb4aee0c4cfa466828a78bc1a014ce23b0a749d95292eb42b652b265343aef1510c29f62dbe6ea01afb6e9a64abc0bc SHA512 b19e440fa1f384363a89808ebd350be62a23f574bcf5a015b03e7740ee77778b74cfab70627067637acd9d383a103d325236057bf5a0d6a532c833b0df5e7e07
DATA flocq-4.2.1 541 BLAKE2B 13bea6d209b29d77fb250de36fb9d5acdd35522932a5245a57cc08e57cb545017813f6bdfe146e107461265340a222ab7e133388b0f315e83416b9fb1449322e SHA512 a9a5081abb3a614f3346b25aaf107a438c6d27c688fb1c96fd725c6f9f1dd186955b528c42e60e23e5e76d1effd17d73f61ff689566ae91f02b185cc6243aab1
DATA form-4.3.1 1319 BLAKE2B 37c1840fb7c02b4de0cab7fd4b1bd69fcbb832bb351a2586675a26cfb0e21ce923b376282f4bfd6b9c88e6532509bf91f6e9ff4c505e7006d93f1ee5ec46d3ec SHA512 16f18d23528043a4726aba77326f2018cab9fcf36cbbd9c3b9f795ebd18857010a5cb126230453412b4f040881eb5260c798643f0fa3c748b9e01fabf5c5b46b
DATA form-5.0.0 1667 BLAKE2B 447fd60161663ab007b2a6a55106c18c60ee13a5f3e893faf16f18fb43b90ea0fea0d0bb5c000ebd97af41018a39249d4255de7335d525c80766558aba5eea5d SHA512 26f936cb9367b2fda01cb15c8c74a1c5c2c2e7f473b11ff1e1698cffc7dbaf7ba8d3498fef8f149425cfc523675a736811ecebb164ec72ebad14d6d50b98fb5c
DATA form-5.0.0_beta1 1342 BLAKE2B cb21e7dd210fe57608a8e97058af6dbb4ac7e6b754ae4cad3f26721c9bab101c60b76a232bb8e0d6e1b9b3d39c2d136eeffc58884dfe0bc6b36b105bb283f472 SHA512 c411a88b57c52104683de695497495084678505ad56b1cf56cbf6d49e5c4fb079a5d7ffc6d16485c0c18c79a3375872bf267334f6038e911a410febb3b0808fd
DATA fricas-1.3.12 1474 BLAKE2B c18360138c85e8becc1ce3a0d81db1d5e1ea366585f0db16a4c75926a0f9f9b8859c3fdab63c3138c4fa5bbee1c0bd8dde3676417a64c0ca2cb76ad32de6560a SHA512 ef433b3b534608aa061e1e9f1d50b0499eec730fc91ac835a0fd82adec6bb62593d78fa4f634e69d41a8857e416c8494fec5e18addc8f89c0b79e80c5328bcb1
DATA fricas-1.3.13 1474 BLAKE2B ef985bcfbabbe2696c7a69ba6f7b4ef1a41d463862fee0c83d022b713b7fae4f8621048a74ef8bb9e5c3231d0913fdfd58ddc2247c435c7ef63f771325473513 SHA512 f7951cd0bd1f97232c798814180c982a2a7c45f8e0ab0b39638b9a1ed0780f341e63c90dcf56bb85a8333be69f0904cbf4105cce4950527980bb5ce244357dc5
DATA frobby-0.9.0-r4 508 BLAKE2B 662b0ef067debbca4a3f8b10683b0efe7c0e69c0a6621cfed80a40a0d20b3376aefbe690daa82c4c3b4a7ddc71d849226853a0f9db91ef30a2eb938c1f43ec2c SHA512 09b73c6339065b38681cfea26fc10609f4a565aced16d699fab4e4b74994d5a181a7715fc26bca0539374c8f9b357f3fb5d65b865b274a4fe9561e4e8e306862
DATA functions-matlab-colormaps-1.0_p20250328 481 BLAKE2B 7f8490bda216a9c7e922c0296050f1a7a6aefc3a534a22dfedd96b22f26c7338f8ece749a6163c8da9faf0eddb55e3580f077cfd3ca1eb90b495f64f6277e055 SHA512 c916a2e2dd35c74307ec9be9c2d30af541fdcfb6396e227f4fc8ac562bd7f015789c670584b0b3c09bbfd34594af43b3f63403d72986136ae3dd3a9606c5c502
DATA gap-4.15.1 1140 BLAKE2B b1529c5d0bda57b91d134a283b4a282b1a2cd535d8c875ac1e40c160419e5a20ee4df38f5ac4b00551dac589a51bc5bb8e4e41e179f3de9512f85ac83cf5f34b SHA512 7c7d3a182c1e8795b23db45526fc6a61173b97753799f3442fa7ec67fc777287a374b028b3a1ccfbbb45fbc1d40943acea68562ef5cd04ddb91d221679ed8a63
DATA gap-4.16.0 1142 BLAKE2B 3fbbed45248b0c40f428fe69876f810a5f9dc1af194e1ba02bcfd99ddbf59dba3b6f835a8d4775fe8cb809abe4ec0848d38f8bbfbbc2f7079523054dfc4e2c36 SHA512 b86c48f8f196b5059ac099a4a878f84ff590fb7c5e09efb9e25e77030b8b6be05935965626afcf0c15b02eaa6fc272dc968ee4ca4a20f953a0fa6039236b1451
DATA gappa-1.4.1 644 BLAKE2B a638156671875013460c9ffde5c09f52c28686bdb4595fe968a2534e4cf6b30a5836f83a468bf1f78cd30b5ad6773eb7c608e9446f7a4fd1a8fc4f40b84d8a52 SHA512 63912b4c3b902f9ecf1e4abb7248f1f83f862a16a7bb5f7492093a9a4c7589c0a3bab5b7ea1ce4e52416514ee4a2d390653798c25eaf682b34a62981899613b7
DATA gappa-1.4.2 644 BLAKE2B eb84c33a025c13587176c5364e666f59a324785b3b88ee053e34bf4d0052fc1678373df704292cc98b5fe3b3af1de3f2394981d6cf4baf9b4aab4ccde2dbdcff SHA512 0515f29575f7addb410c3b03239e76753347b3b729dac185fdbd72bf6835edb31560c41f3c9672dee6c5b3e372d9885ea392be33e4bc1a530d0a99cff37711c8
DATA gappalib-coq-1.5.2-r1 704 BLAKE2B 3c5e3d7de87a0afb8f8cb8be7bb8f9dd6c2cb771ff9130e16a7478cd87446354676b2c74f02ad01374447ecca2f6cb19722003476e183d589180580cb0db7156 SHA512 5779827e7e6edb5ea5b59ab489419883d9edce32cfb67e29128157e0433f18da26ec862bdf2ace10826d78a87a76252c222566aa58868b8a5d6c62897069734d
DATA gappalib-coq-1.5.3 704 BLAKE2B 18de35d5e1abaeee84864242d2dca1a3c342dcb1d7a269fe5d86d303b1dbe4c661bb0780dc73683a061866be02e2c409c13f5887d89d4e44dfa495ba17df344c SHA512 6f3c5c784550008810c61c049360f218567df81154704baeee868c82a5fa46bdbadce2390f7b222cedb0bc59ee158e6636af6a11aaa153c7bf7b3220b634813f
DATA genius-1.0.27-r1 1700 BLAKE2B db4c1131b37b0d95be5e76b27de15f92594d464227ac99415d66b2981992ca15d709d31f3eac0026a2797cc16701fbcb212cbc6dec74603711cd7cdba60fa271 SHA512 181986dd81180130bb9d2399d699bfb3ac4213a2b4ebea4a3be9d4f35691b1820c73fd1b53ee144be1dae10fc6cfd42123848430bc51a0a00917b22e7f856d93
DATA genius-1.0.29 1701 BLAKE2B a10aa7776fe372bd538133ce7db1e5b3c985a152cd592abe2b52fb9bf3e994933dde8ca6257be9307ad8b662375bce2a8749597aa0cd7966f765f426aa6213be SHA512 d0005d914016c6416eadcb827b8e451b2a2404dc5c15149846d9b37c570f1c56f3a4150db10cc9c346e85f45b2332e1bcd5638f77286abe02457d6768b452fac
DATA geogebra-bin-5.0.752.0 895 BLAKE2B 31e8aab5bd3a87c8b1d257f7488216693d80dca225e58a3cd9bc2acbf5d9d1d7a3fdad259e4df5c663cb6a05586f18c0fa2773eea10759f66562c878b57f0163 SHA512 15de8320ce419cb6b014837b53966d96be045a88bed02d37c9ed0d4d623650646cbec09ebbcd5b320db15ab62716e403bfb43a8a4d4d4d8a307034c427a1caa2
DATA geogebra-bin-6.0.804.0-r1 1559 BLAKE2B b342f04ce5de6ebc1d292e3f5b2da3e52116651a863ed509eab067209a7574b323b0dbf5bceaee5df70c21d38ddb68fed1fc54f23eadd8e257f082b160bbd1ac SHA512 989457edff10c69567f4761b11ec118f1aa72c0b0f9c04ed4b75216e14b2c476c6c3c36bb527ed06f005e297a44258b8070035f62e3617540a978cba621f3339
DATA geomview-1.9.5-r1 1046 BLAKE2B fa9274dd895d190a6ce9a907412b75bbf55f1154d56eb3dfe41206a9b9d9b445a51081318e4f8151f8ea1b6d39d8c932458f46517eaed9e3248391304f2bb44a SHA512 d5cd324abed8fac7c4c0fdffa435a696e3510e054e3888208de6d81b3f40a2cdf321a54576c3f94eebc24f52aaa1296e656c01e3feb47dd063a11c16833d0264
DATA gfan-0.6.2-r7 697 BLAKE2B 4df66a6de58b6bf109442f60492f1c774bb7ccbc9f03c5d5e35c18972394773d770640ac3cb84bad6c3141b74f3395cf577fef92e4e5c58d26f9778705ca3a85 SHA512 28bc57a8e9a35b0fa0ca59a2561472e8fbc03813f1f70b0715ec7c6525e04fcd18565fc11745fd3dd93b83738906e0378cd821da25769fa44737adca4123b694
DATA gfan-0.6.2-r8 763 BLAKE2B 1fabd4248536ca9eb75adf4018318a75eec94bc1bc2707a6e0c62e82aac2a072323c8d0dbabeec323dfed8e3c8eab63fdf9821a1c9ea780182e64f402144872c SHA512 556f940b5866c42c336c7fe3ea91fa4eb327bdf6ccf7857cc8e7b760e0078011ed398da657b00b1265513a29c2c755d83360a5c653f5512d6c941aa5a9945972
DATA gfan-0.8_beta1 833 BLAKE2B 1371a6a350f8583e26f3b9c4cbd59cc6fcb938780dcff97b511ac2a8fc6f4f192161c64253380e13c732853a95c7601462cb8dd4add841725b62c1f4904c49e1 SHA512 38a7f3dff0ef78dbba5662689abd8955df1c830d48764f441dd162ce491b72b5e4e65401921f6f6e7ed4053de61324328a4a0bad0e8ab5853f4fb74898751c42
DATA giac-1.9.0.995-r2 1929 BLAKE2B d989377c47a5a3ccb37f0157805bcae39b8ddf2834a7bc47689a97466f4c11f5f3672dca3c1e5009cf495de5f6b328dbf0347ba8fe39e82506457323cf7a84b6 SHA512 46c8bf12d7fb2265a9656274ce06b25a341fd8d9711207ab3049d824b1a3d3d13b7be63d5223a96dcf3dfe91c73d6bcab3c5019055c1354580b229148c51f9f8
DATA gimps-30.19.14 920 BLAKE2B 411b04769c03a2e033608062f502292c58143af1330fb4e22c8a9ef793ab04e7560c2b07aceac17468a602e0710754f844bc3d3ed2efbfe1496acbe94bf94dcc SHA512 5b05402593671a32392dee2208111460ca04bfdadfca169243cd81dc42f81190a984551b9bea7a4cc06cfb4f305a2d3095ec9b899514c75d67a4868c2f163532
DATA gimps-30.19.20 919 BLAKE2B d999d2b9fd2ff52e7365ccdb28ebd63fd869913756bfee4c6d1d5667289cbbf61ce5c6737449510ad93d688616878e80b6bdbe340933f1f49b31ad339e7ea74d SHA512 9a9aa2d10e48b7fdd29bed7f99d1eaca72a2ad7ff8b2d0b80f2ca4f8478223392b86f02f596f447f354b2300e6d098401c089260f8e94bd0d98ef5b54a98cf4c
DATA gimps-30.8.15 889 BLAKE2B 9d892f115b73422c2b9285f6402632aa176d6c571a934603474813bdb015942fab14f1fab62bc9f053453d58c21f8bdf80ce69a7854fbcacc4e38c563aa8bdaf SHA512 e1564d6e1542848d55165b6dca0f8025034e25fd785c869ff68fcd0246d5aff00b884cd5737a592442f97a940bc0713812788ab6db82b4266d95c5adb4494c80
DATA gimps-30.8.17 766 BLAKE2B 9ad755d70310ac5807d6e850fcbba6d5a320e7d5c7a7edb677e7b3ea7bede3e6e62f9c3bdfd77a0009d91307eb4c6feafad07a3e63814d668d17706f589d3833 SHA512 d4a9d305f6ff2072e148a7ef717643670be5fbe0efd18e9bd4b3ca1fe58a16a411cfcc2f3fa9ad95baca6b66ab39f6106511063ab704b7262b258551e11e4fd8
DATA ginac-1.8.10 865 BLAKE2B 06ed8ed3020af810a7ea5c277ad366f3fed749d06ca5cd08500af159a12584b75fc67ee1a59588869a7e679b81e208c31ce71be770266a42e54942a6f7cbac78 SHA512 60cb2cd3d555773e67a8cae687d8b8e75461aa92a2ac6e268e0eb008fced30386b31e58d54f8c5290f98119ad16fff8f3d3903ab428bf239dd23ce89ac93faef
DATA glpk-5.0-r4 1093 BLAKE2B 08dbacdc6b49abdd33bdfaf0b213b7602646de380e9d88c4e9b44bc4e456f2661eef8bda63ea23f40b5ca14a9fd1fb1dbedc144517633698125d9322d2841d52 SHA512 fe28754d0b382439ca9dd54467cf98b7ef37ed5b7af3713ff1fc8a6c7749e2121c165f8f04e453c92aa079d38e18bc20819c44deb3f7756201ea50f1f42a7e4f
DATA gmm-5.4.2 335 BLAKE2B 469782e124ffaf3cbdf800975e38c6a5d2540e9c319335781d7cf36c2d6f699d912a60c070b3d29b54cf21f8da6ee7d38bded38ddfa4f7a261bd08dcbc58a332 SHA512 0aeee3b5ebe413c7807b31868002acc32d317f570fa82c55bbd723220043a94c84dc99a5f2b04a3aa51377fc3217bd14d76dd384492c6b7f216a17d7915249c6
DATA gmp-ecm-7.0.6-r1 635 BLAKE2B 3e480df2b8e16f33221a1b4022291ce8ff496c91b01902c702a04f1f97957c070918d233ef624ddf3d090d28affdf8487468cea635591d4394003a6df637b9bb SHA512 ef934a7080c8eb3fbae4c59c2991d3d39aa6f9f859cb3e05484e697004d4584b836c0f63322de388b09e5eb3548220e547dee92d150e34c43501518baeca65b7
DATA gp2c-0.0.12 388 BLAKE2B 3c0e65142de4caa5fbbca7725c036cd727b7f34680bc82c3ee018304841ab0cccddbd82ee910ea15f66790ebd2edd9bf4c8790108f6261f4b59d625d21ae4b8b SHA512 36f327e3dd3f1f064637a6a576091ef53d0865a0869abd76de6b531a56ebb78a3a15c96ee8660a932cde869e2dfb943d7529ee6fa6be5c7fa948449da2bf075c
DATA gp2c-0.0.14 396 BLAKE2B 0c0baace3f90321e010df0bb9088af7e30c7da9806ce8796553583673c8bbf94bd3826fb2f024732a82d3639a50fd419bc1f2ab8542c0534e144428c416e5943 SHA512 9a0b8b78014d9f612af8c3667b91e2435f0cc16b4d25685bee4d3d49d1dbc5cfb96657ca4520bb0f56808a55a4454b5fee258f0c676aaa8e7abd069a19ab6f6a
DATA gretl-2021d 1835 BLAKE2B 370d3fb5a7ed3db2c94b71a48edc8d557175ff26d4a516346cb3aee6ad332df72834d623b0546e8e92a9272846151aefaf008e80a01de4d7d5d7e9402c2dd40b SHA512 35b0c6870257bb2c1ae6477440c91a24e91eb14ecc6221457162b95f3bad94edd79f2ded4591a65daaa70a2fa73c3117f8a2aa0698ea0927b66614f5046baf90
DATA gsl-shell-2.3.5 1604 BLAKE2B c856857088663c91c9578eb6b60600a2fc46eb49b171d153d0eaf63ddda9d91d6d0017f14101018630f961e8f1dc3f180002767af3cc8caff232782d20af31f9 SHA512 46df68f3efeeba76136e5905bd862cac54288d827831953d4cf82028f008b59acc1957b835f8e47cfda6570508049c62c599e76f2574ee084aa9ac031aef0ea8
DATA highs-1.14.0-r3 1058 BLAKE2B bc2ddc2f1ff44ff935933be76d638107f3269a162ce03836fadf2340389d5432852046f3925d5d9483fb89d86203cc2145547a7b3df6b3d18ea454bf243a3b80 SHA512 350558ce59f6afb1c13ad59a7fa287e0e7f1923123d7fb49768b6b0c98712c31334564b098dd67bc41b1929161866764068074a2a4f430e1a9ceb30b13ed0b93
DATA jags-4.3.1-r1 957 BLAKE2B 3968b5a2f86afa84bc72d8d3286708d56d531be7776b1354bd6ed00265c8db678cbfeb40ff59b36cf9887f24e3dbcdeb65ef636b805925dc91d6902124f0ae42 SHA512 13589db1fbc48fe3ae21c935710fbb18a76ce29b629ad1bac2644f6093cc2df2d5311c966bb7e7ac50dd126116b7d5838bd8c0c5224b6e8313d34a768b95a44e
DATA kind2-1.9.0 843 BLAKE2B 9b6133d626c0ba4d75ef2f7e847b74149e873ecf6eb6e494593353339073401da35dddff9c270a5f1d7b936902e21e724b66dda746e729e9801a758e452363d4 SHA512 9f4068ff5dd7c3620fd2098bbd107f860fc66691277f3607146847ec295b402b6de1b5ee4004f09fce060ef5572df87ca6824c27bbe8c8ffbeb660c816298f0f
DATA kissat-3.1.1-r1 481 BLAKE2B d916950cf14bf1d54d2c4385e735b3fe9bbc83345289877339d978d4084e97bcdd46cdc98fbafd6c6aead289f9dd38bb6d978bacd05d69225ef1800abbd82afa SHA512 bc81d73ab1df431606668de807b7dbb0fbfff9e09fa6ba8fa33dc6c88110f2ed2cd93b112b4ae1f5f37985f9b7540519bd923fc995f3fef2535017fff6df9cde
DATA kissat-4.0.4 484 BLAKE2B 753856d4d0c258a1bd2d37197803cb7e551c8d7b47c7c998f6b697a1bc40a0f2e50a34b28978ea7131f646334d8d4a73c82cd03f84b93aa7cb7a8563e315708f SHA512 b778f6b3496a0e8010e914f2c9cdd0477b7caf0272448364ea076b9db1b3f4520aad69affb468fcdec84dbea3f9c18539077e6b58487267afe5f9bff59076a6a
DATA lcalc-2.1.1 840 BLAKE2B 976442e37fa779679ae9ca8845f390b6a33bdb9e046b4b671ffe808bbca16abb514c484918f925d6fae73e1e5988a5f30ac4b3aa1c9dda427bd55176c6706756 SHA512 ee8532fdb659661936adeaa89dabdc356deff9d9536bb52bda6078fb1ac338ce6c53e59f0b9a4bddb7c033a3445701de9caf88974cc33337ef59d47e6593dc71
DATA lean-4.24.0 1165 BLAKE2B 2670fb05e503515b83c2853829d6c4c4c6d4c2d5f75943ec0d25c8ac7aba65f96caadd773e932aef0fa239f3a3c48a2cefedf4210deabe4f979d1dab058bd0f2 SHA512 e587635e29b7c2868f1d21507fed613d2f8300fb959adb4b07bda0eea02a2e18c760182d08c4b518109ef4b881b55f8acfe559dc87f79ceeb8c96dcf3b1fe47d
DATA libpoly-0.1.11 1343 BLAKE2B ca663a145560dc19dcb3775a8a50c6846c8dc754988c077d157ad9b0ac54df25eb799e7fdaa39596dc95025dce978f36eea80b50ed3054125bdbc3e19f53aa1a SHA512 b4b0140466c10cbc93be709578f6e5359516cb93562c2ee93b2d9814e4b05e27c48a10fcf0aeb4e18cfd3d752638efaded980cd1292559ad3755a4cee95ab90c
DATA lpsolve-5.5.2.11-r2 490 BLAKE2B b044e372e89113472dcdabc155f00289d76b87bffdb60e837212e731334ea5c15d16a04d40f54e1ecc8dd9d133dc731e0fea9eebc26c185b77301d5e313c5b21 SHA512 7de4f14fbc80f18439a42aacf044b5537a172894650f79cb7e9005aa542a65cfeb4fc5ca2671dbfe91536a5c8439234380cebb01c498cee23dd9975300aa3f19
DATA lpsolve-5.5.2.14 492 BLAKE2B 49928cf6fdf61334f9f38e67b259110c971e0017791f199564e956f8adef7f7fb5495e0ea2468ef620cf37ca02a57e388096b5c94441dbaebf134d238f93e412 SHA512 a435bc49b242e21eebb688a594044c530a4a886656e76a004ffd5f85276379ef08162d9652a57c9c190a924458cc79090b62b0ca3ff7972aacbf8be6a2db69f9
DATA lrcalc-1.2 354 BLAKE2B 9c2013cf8f92b6cf8b1ac8c7b5be1cc477672b9115d296af5b7bf5f75e7a2bd3407b901d400736fd399be410f8354249e4bc09812ef06d1373bf7a28bdbc5b7c SHA512 c9b55b12d079920e202f8f2d18e027c73952a1711360c10bdd9a9d21521b0714ae719e8cce9178e90637c8f79a43989d31fe697af398f14108b7e3df7d132fb8
DATA lrcalc-2.1 361 BLAKE2B 40dfc762be15b4171d4b2fe9b8cc371e968818fad8db4e5bbd23f422cee243a598293920a2f491b784acc70c6efb3f30cd116cd19d375bd8e89ac3d9b207d67a SHA512 130049b8cfcb35c45210a777325baa58be9ad6a02ce97600ee3b79730f9a34cc139e18a0a30abc97c6bd8403026e3e58629c7b2d90ac55a1eea77885210437f6
DATA manifold-3.1.0-r1 2444 BLAKE2B 9a8db2d444c274d0f47cf4d690d1fd4a8ddb8f315ad466e7370ca28340101043c2eeade2d7ba0e13a926ee398720b2d3d1f4dd975edadfb5dc997ee3d23803e2 SHA512 fe8652db07f3f59031c578b5f278b0b775c8a7abc6d703c4039d7e1fcbb4df24f84305f74788a51c9e37f99f1c7d97922570bb98773482d22618fd04a5de8201
DATA manifold-3.2.1 2527 BLAKE2B c186c96156aa099e01918bfd3b953e0ef3aca7a2832a9d7b0f31f1aa0232a2e6491cda6c1c41f084bbfb9231154331e389ddb2df1e9d3f9d9f459613db0af5fe SHA512 4505b5c310518d78e6c20f76d36ef2840cfa46f89427110da2076afa97c9eddb1188b1de6ad4b1e4cac7411118341c425114fb9844dd9d164d121d285df670c7
DATA manifold-9999 2507 BLAKE2B 27cd09418bea6bf6a488d1e35abb737236845f108aabe0ff99be71e83f20750dc8e8a546d0885082dcc437dc4d86c07519f021945a9d3b9a65b9e57a49816f24 SHA512 c68caba2e7afa7abb416575bea0ab7f9ca77be3743c9a63b1d9f738ea3cda5044a2391271bfe28da1721942d54ffb337b99b77b315343bb1ca52fe34b91ea610
DATA mathematica-10.3.1-r2 684 BLAKE2B 3a49bddbe04e1e3dded5697d1a624dca6a06378defcd658fe7086b69ac56a38c9cdea4ec14494547ebfba1bf78e0f5137d241cafde76f0a75de8c4d23733c457 SHA512 680b2f2c363baea4c6b61199e01f2b94793b9c957e2f17e9db985f6a9dba123badcf607bb82678028508fd658df312bd85dd36acb55e5fce9e3d33730bf266da
DATA mathematica-12.2.0 672 BLAKE2B 849c89c78e0c04827958fda3717cf7ec85e1f8d032e69ad90b77d0fbc7687ea1d970434e787cb6b838086335e731314e157d0dff29340d4bd9c30dc6b0c5a390 SHA512 77466e2d67ea5385d44d94c16adc1b36b28f491a9aa4dd47650ef8e2c2dfd5842e75e3eb1768b8d871b75b0fb307622503ef4e9bdaf0bb67a19b69d1c976c22a
DATA mathematica-13.0.1 1052 BLAKE2B 35c4cc488d259aeb4a487c72c80296570e07659c2f8840c5ad28b9d99c8cb9c2a6c0f90f4e38bb8adf2173a30f2fb76aa268b1b745c3b58381cdbd9ac1e45a2a SHA512 130c3e3c3b83c6c5bafb7f63c464a2feba003a88cdb7d482ae54bcbe3f48388d20163c68f2abbdeabd24f138713ec46b7f985786b2d3f3f17859e8448ee88b0a
DATA mathematica-13.1.0-r1 1265 BLAKE2B c473365d5a37a4525e51ee28872853a2837fe807f11408decb56ce32b52a972e080d62f5332422c9a5444b3c92c78096da281284a3cdd1b9f540833f5467efb6 SHA512 acfdd55a9b6401a18fced92b9e5bc7a2b3dd885b0c092c04eba96ab88037b127e4a509a400d7d1bc91bd26f97e89fde7c6fea92086ebe5979b0ed072e2409b14
DATA mathematica-13.2.1-r1 1238 BLAKE2B 6de6273be04f804dd6089f2da4e26be73d7281c206983866fecea77dac06e854d6589951e83bfbc8c8e2850b214257a663949b22a60498b8f57d8255ec7e5198 SHA512 b1b79ad171cc6230c59231a6d12f1837f69bb4aed367f8d30890631d2daf74b4d0778a2daf3a624a57e344fc85c4ba6ca5b46664101de1ab59cd8ff86cfad975
DATA mathematica-13.3.1-r2 1642 BLAKE2B 163ccf9c89c64124af1358acd9c7c20687711326137dd37eac046f44628015d1e3a78d8af73d36cefe21c667c5ab10d6d74607f74ebe1ccca12cfee93882e285 SHA512 d6af012f6164d3afb4aa83bc90d1fb6da785a35393b2ec288e68959d1be5aeef6d492cc5e610f8c5b5842dbf4dfe5ae8a80b2bfaacf5e3d21b96672c320f9a8a
DATA mathematica-14.0.0-r3 1642 BLAKE2B 188f5e19c7df369d995008c3fb2b9ba0bf3de2e002ae18911c7f26823a6ac48670f6174021d3be2a6271308015625055a9ce358622c08756eab4de7c55d5a16b SHA512 bfd75bdf1229c4e556cce37260c1d3f8ec13b4556b9cad1297ec845b1ac7c2f87873e1dbef744887c0326cf95af163e7ecf937802421d1d1a07a4b5542de9f0a
DATA mathematica-14.1.0-r2 1690 BLAKE2B fb2b8c924f1896fcda0d7694b7db50943d4c3d503d1871e741669dbaf8943f181108e974d54a327381b4cbc7abe229ef20b503635036d73a24c0a10a9d91c44a SHA512 322b1274fdf64b2dd9557f25cfc59ede00478ca265d572ab7485acd97f28a07ae2279a8eb63f1e49cf74bb6f120376144540f5b76c9762d809f6332467a42ac4
DATA mathematica-14.2.1-r1 1773 BLAKE2B b14cf39f198a42a63962e270577ec0c05f71783f313736af4246230118b06c55e350996bd1a33ad2643768e6aa76aca7791a447c2a16c3476acf9366ff04aebc SHA512 c3183de2136f17fd687693cabb5d2d20c1e938d544611b5fe3b9d964b18d199d85212396bbf2aafd0afd646c01db983e64b0eea9c4c448383470da4a3f6cc103
DATA mathematica-14.3.0-r1 1773 BLAKE2B 8b6825b4a64e9b2a3b0defb35fdc374fc71a994fc426c771cfc0bbdcc1d39d8cbcf13ffa2b5a8d86fdd34ea41204762c820cf4a45b1a27045f0edf1bf83ac0e6 SHA512 64603e500cbafb615beb16ee3f0174cc2dcc5b55f6877bdf8acf13e3af19cd63c8dde6eaa60ea2644f4dfa411f3b0f8487ebdafff1ac924c291fd741547bedb4
DATA mathmod-13.0-r1 896 BLAKE2B f66c0ad063ce26ecc12a163a9e7fee58a1cdfbd127ccbebed5f0dfa27afbefe6c7179ae720bb1c8909a9f2b0fde7c5edb22795a7117a786ac870df07586ec07f SHA512 28876ff017bd492fd00cb307316145ebf010af90360d1c7d85d962950fd7604dcf9a46eab6b0f1de818388d806fbe2b79ae52842e8c0f74f1c7001eac54be9b9
DATA mathomatic-16.0.5-r1 629 BLAKE2B 82cbe81b7a584058940a48ff48f36ba65ad1d666758cecd77bbfc6b9fe61e7411c830c941f1da0cacb6317f5c61f4c69ce43456a68ecdd2e3def95210fec4bd0 SHA512 7fafa6c2eac463977b96b00cde560a5f2d5562b8d6f9818215ba28e3a238ad7d436ace9f283351e35699b2da5dce02771e57dd79a540df73f4da3408bc94a6b0
DATA maxima-5.47.0-r2 3021 BLAKE2B 94893dd7f19360ff14885d122202f122a5c937f22baa18f3a517fcb8549d85915747e9d03440a05402ea5f3d6629bd9bfbb847a1bd42904c30a022b77da6f5a1 SHA512 8eea4f6e686b9dba9b694d5c5921fca1e036576db8655ae3596358349c6a21408e8aace73a7cde0dc3203ae15b1a4416c6043261870a55c204b4f7bbd53656c5
DATA maxima-5.48.1-r1 3026 BLAKE2B d901df5771b7a29e55dfb3402881c5537a9e1e31d7d6fcfa88aaaca0d3f8185f1ab499f9e3a97625488d676da8ec8fe7295137498adc424ee29184facddafecf SHA512 7d0dfc1e73281c4ce17c9d21fabb384bbcb80eb9bec8947450d7db128f9f34e172d97686536d63a3ba947983a8aced94c00bd85b71aee0929184e909dde77fbc
DATA maxima-5.49.0 3184 BLAKE2B 8be1b9585d0e1ba47ff1b9d5b49b275fb0f6ea3701ee1c97085de441e0bc03545b277bfbe9df854e8d33280e36fb8904e72a389cb82dda5ee294c7172d36f89f SHA512 09cd43bf8b7ff9741e296b89cfee8c7386d4d8a072b295fc1254068fade34a63bfea65a1e63253c5b75d09374ebdff84ec754123c22ae01602449886e91a5ee0
DATA metamath-0.198 720 BLAKE2B 4cc3af8d0556a30062386adadfcbc03e333e263b4d32825bd064762eb600a2ab3685b57b51f326173e79055f0546768a26d7c1608065e590e25470207b493052 SHA512 364477bb0bc9518a804c9de1888ea4f3de9c4cf7d13301a89e2542b166164267ef9cfaed99e220de233da111fa8d3d760b363f47134b85761fc70381b82c582f
DATA metamath-databases-20220303 420 BLAKE2B 0309a52c3c625fbe7bcc0eb0c6c46d1d66f251a39c024f0ce865345059c1670a2cac45bbb0cc26ba83fb3d8a9da8565348aa99a99af5f0262e1f07627815f2ee SHA512 ed99bb5ecaca5983e160ebc731b1d1f33404fdfd71d9fa5cb3059f9badbfc64b7b536d2cbe4fc46da196fc76ba9f82f3fa5b4f2afe2cd7340be7baaa3ad6cac5
DATA minisat-2.2.1-r1 827 BLAKE2B 89c70f47d419aceee4eca54205e3355d2c05490611dd6d1dea91aab031247c4248a9646797d4d8a102a448a8ec386f73d1ca31d01f7d0a5da5773685da1201af SHA512 0484a6a437c4eed5d6a4d69f33bfe34819444ac9bae4bcaf4aeade20c28b55ac2786b515f4c5d28ffad945bd73cc68bf26ae589c2f187d8317fd4b8e7f9e8697
DATA msieve-1.53-r1 661 BLAKE2B 41d99d29c5f5cf334b3ba132bd177df543308c147c3de5d9010cb93c7fb0f18430e1236d9142903f11e392fc31d40981687732ea697afde2f33cd02bb6970eca SHA512 0e1a01e2a668b2274cfc2ca4ca31dba303a905b2f83324cc91bb631a3297286acf18fd3e3519cdf4bb99d1bc78ca8d60cb1e825f32f211e678ff0987d51b02bc
DATA msieve-1.53-r3 787 BLAKE2B f99ef9b114ff4f8b567c8f0af1105f17a13a78d8cf2d09c5e4cf0df7f5e78d3d8f465dbd9deda0d571acb0b2e5904b4b449e7fc2341dc070a598372fdfb9fb6a SHA512 981cd5d5d70b786c0d1e925b68a1dc2c97272320a6d46583f759f581b65a98d6887a88f889ea654429871850c4064193985e528931188023515b2e496e5df8dd
DATA nauty-2.8.8-r1 1039 BLAKE2B 4b53702b0969839aae1f3d83d46d2a5d0db89d988a71bc0cfaec276974da779e6550c3dfbf57747c155556733cdb6a20d9f27006fca3bc3c1e1ddbada76961df SHA512 3845a805b8ee5a7b742093906ea04bde56e691a2653019f209c7f6832ace030981a5348b0af047034bfb458da34bb6d1984c596d1a25b7f519a3887254ab9f66
DATA nestedsums-1.5.2-r1 618 BLAKE2B cb8fa0d1baf72b27a2460a79e7339454da188a4bf1a8f85bda30931d685f5e10f0d89a488d2bfd23d492a7847515e69bc28c81fa7c9604c964a0a021208fab9f SHA512 a1cbad33c71b6794a82c07e5dfbd3ec6f3a9fe5c8c0afd9e37a1c5f456813bb469e72783e5e7a41f34fa55e2d75ca12bd25353d7ee15a420d082a0212fcd7c82
DATA normaliz-3.10.1 964 BLAKE2B edd870cf2f2afdd3c9670e38cdf987653ca1a74706a10d211691a0fec6c471327e586316cda481fb2ace81d8288cbee35edf673cf68c7e86f1b6b8073d8ec0c9 SHA512 b87793fe8f0074ca2b2aa42d4853747ba850dd18cc245b62198cfdd3d3a1b915f45e8a85f2333cda2efdd38143d5e9504892a761bfd0f0f0b37aa51b0ad877dc
DATA normaliz-3.10.5 616 BLAKE2B fc0af7b163ebe1e53ab5feefbec04d01eb4e8e377ee5ee44e3fde26801e0e7c6268de1ab42d425a33992152126ae4241f5a9b32626ab3473a714cef9845d5d00 SHA512 bc4bf79b23bdb1356bbaf048d4eaa36e71faaf57d39dd3da0524d9984da75f2fa416b16b54ccaa7e3c7b8926455b1ea0e01798691e7734946c264fcdd690c4ee
DATA normaliz-3.11.0 616 BLAKE2B 74576ca790600ea0e1e36fc878aab0c325515b48157500a50fb1901093cc469e874668359ec88a1ab49993d8f5261e2a3bd22b3a19f2aa6928070af843bd12c3 SHA512 1cadc1cea41d949bd743890b058babbe7af17ba5b365e737e923e5464c4be9b2f2cf3e5005b192a2497101d955fca8055fbdeb84e5a2d3ceceb2f16db1845624
DATA normaliz-3.9.3 613 BLAKE2B e4a8e9eba31f429b3c3cde0d65a76afa7dbcf57b9f74b67fb61d872542cdb1a065ea623571fca2ecaf3e9147bcd87cf9f548a84a78e4e44cafd61c3ca22bfd77 SHA512 3e20a8216f3b7af7d23950b94364f74193151730f90b105f0c68b365a18bfb4357877142dd01475b6c0e4d4f3cd6721019916668c2e5af0030b10cb33ada3710
DATA num-utils-0.5-r2 445 BLAKE2B c6e90ac91b833cfc4680a897944381a45481e62c822bcea61f276858e7aca2ec07baad0d9f6564672bbe84319112fdfa6a073e7799bb97dab9701bed815d2321 SHA512 b405361d63ba1d4a086703420a6e0c3c226ad5c6be7913536bac5a2e74bf508784be26caca5e2281c445a18d7f354cc10a38a2da5f1830c16489ac0a14631397
DATA octave-11.1.0 3956 BLAKE2B 3c7eeb74a56640c9039c55daf7dbd279ff72f0f1d4a8e27ac0f1ec9b9163d1bcb5e688bc54c3b88dd6126dd665940a77462479abb69a8b3862d66fde56cadfd0 SHA512 075bcf502594e253e0d42811a1ed720d0446bf61cdfbb6eee23db93ec73ad4d4a98262b63f550688ae08d929d6c347ebe00486bf982464b21fc8757fa8cc87b6
DATA octave-9.2.0-r2 4301 BLAKE2B e60cb2b6ef5d6224073bbc53efa089cdf50067a7e0f716105b8ce82c171a93f85577e8b3446fa4b27ad744526d5551e44794e19490ca5d4ea90da8e9d64dafc7 SHA512 e3e27d5fc6680f780066a88cc3d6a060a8aa90df43e7b8f66f4c71af388794b60e1bde51d76c81cfb9def21035058db89e51fe86a65515eb8948795b808ec220
DATA octave-epstk-2.4 435 BLAKE2B 2bf2fa0797f529aaa1420597784d7e1d79dd47e8440f6bc82fa17966f785857e1274404d93d1511e124c8c11067643ade2a1e176b416a034472c005cb32f1119 SHA512 21a17c60cd6bd64d8547ad3c675e370c913982edfd7044f73ed3d7cd04a5aac12c08994cce5baf1b45af2a3e5323850fb893f864115960c423dc7daecbf647a1
DATA opensmt-2.7.0 1010 BLAKE2B 2bebdff5c8d504703e64ca2a09cc62d206d5b430d751226b8c2acefa639f366e77b2ebe936f8fe0a00d58f593ed8887653be81ff78937e93f8bcfdf43a18639c SHA512 e923716cdcf022bf6ae3340672321c158054ba860b97bf3ca708bd60432cd22bc3dc127fd6c74851b2bcc2822d1d0d7be20f5cbb049adca4f7956636c43ed87d
DATA opensmt-2.9.2 1010 BLAKE2B 9e8633dfc49d08c3881bf445abf3b05eb5165f90690d04fa8b7ae968146520a5928826dc5eaae04955b6d9d4a17d9351f9caf56337c26734a84a89996814e648 SHA512 ed6326a2507e263eccad8d499747098abaaab75bbb319d1cca25c550207968227a7387be8fc03f3033258076d98e760915a9ee91a713610f04883cac33edc3e0
DATA otter-3.3-r4 534 BLAKE2B 54e591339743c954b722ad346d6ddd5ec9841861ee509e2ba20beca02ebc1a99a4d24e67fd66b23a00550c1e4d4f7fc80c4ac294625b1fb33a49ab665ff0dfee SHA512 ee0f6386194a7b539ff01868ae3c6c79c403e8b951684e3a7c8a10e4e43552a6334971ba5e6444f737662eb1279fc4c43e5b963e6b9f7a25d0e1cb9b6f42e4a1
DATA palp-2.21 538 BLAKE2B f513277268fcd3369e081339ecae7ea45fc946802e3de790d68947e47d95d325efb841696e914fef980c6c578335e4cad123bb5431a1d7034ee09d01923893d6 SHA512 2580983bec35565b5b121a547019c751e233a8cdee81d0e0600cf14209ea2aa602781583b4c498132de744dc05b08e803993cec7aae6ceda1c5b1256614f221d
DATA pari-2.15.5 1019 BLAKE2B c2f26108dc66dc0a3f807654c6a64a404f5e7cff48c207c60eb658d2800c0ab51dcdfebcd1b72ebdb99a53507f7d99b57b5daf4e1a744112dd3796930e73b19c SHA512 f27429911b630aa9f46afdc782bc97a9e9783ea975d04753cb9d89d98b1dd6f297b76db4d1355521a83402422af255b8180140cb6d99647d51cf7efc5b2ca85a
DATA pari-2.17.1 1019 BLAKE2B ac487d603dc5468bcddc326aad6a14462d5ab91c01ed69366cbb95d1fcedb4906ee3cb3efe56fe4e265c4a974aeac64f7b1d38d9a630d30b3648158944e1006d SHA512 728b0abba6ba472cb9aa91a13e7863b856f1972b6a5adb59920e45425514698ea3c764ebb2b4a2a85261f288d983e9f606e796b2ca9b1b2acfa6f41579b0696d
DATA pari-2.17.2 1021 BLAKE2B fbe1baa96811400cc894d316d4ce7d5e8728ef646fe4ede36618f06e3440424e65144d32822f2a008b423185d69b6426d0c2a060bcc5eed352cc579062f89763 SHA512 2d4c5e8d09bae2d9bd04ce57af42b789ae7fa01f5e6f0b10fc0873547e4453f10ac0a3a5ea3aef4a39bf28a470ccef3a0ba6d4588a2d7d3d5af4db8445edf2a2
DATA pari-data-20191216 701 BLAKE2B f31b0ef15ccfe6d5faf02543b99f1f479c02d5ee9d0b988b241cf5d445a311baf46ffb2c6fec3b82532f8e1dd053061c6d7c586441f3842cad76bc72ad0d9a72 SHA512 2fd706e261ce6bec98dbdb8e70d0a621f24a8a557110f57664f2303a0e56bfc73d12b0e86d48fbf564919dba21bdb510c0115badf267260568b1a4523aa95d86
DATA petsc-3.22.2 2011 BLAKE2B 3bb214b3ad6e6b442a03aa2176293a5842bda65b709ecfb42ba7df7c4f90e7b04a40f814a020105e6abc1aa1fe2197389fbb13bda4c0db78e56658476081829c SHA512 31e8542cba57ea6b7c5e8f621c587c0c1609ee262386ec4d69d26ea9ba86c949bc7afa4942ac7326db37975d5bbf8be66b2f9f5c26384bb54d6fe290d50d0847
DATA petsc-3.23.3 2127 BLAKE2B b0caa9f52e3c0dec7d67232ba3d703be8edf73deb8d61c58e502467a31583cbd4abcf59c6368abb29440f4f75ce5f72ee1126c3570f7f6faa59a143bfecf23cc SHA512 b8953a7162eecaf87bd5a6a254427c506adac3d37f9f03140f74eaf2894aa3a9f73461c9daa0441e96de7275b97e863f5372c165a1eeaf0593de4007e9f104dc
DATA petsc-3.23.4 2127 BLAKE2B 7733cf3a0425e3454f9ea23c0d663d45a04f7a584e9d9e8c26a75286ae8b3ec5c1bdbbee611ac5d22f055283426dea76fb1b2a1f53197026dca1e611dde52823 SHA512 ae2c911338129d9cd511ed62b38737c39528e70688a2051016dc4e20f11d228bd5d5481f56c22249716763957ee34bdcf03a99f67c66277c0e0ee54b7a5b3669
DATA petsc-3.24.5 2127 BLAKE2B 781ba6593954232f393db09350525e78406eae26acb016210e34e7fac710dc21f194ce5797b5c983b6084a6c2d006a062e8102c59c7867c8578080e39e9c3d80 SHA512 c2d2bb5ccb29f7b653f52c42165264987c8e31e5c67e9afa5e66acb6610a4cfaa7585ad8a9a549bb478313509ac323360f3cd47b6325f3e4d2d77d9c9f6b0c56
DATA petsc-3.25.1 2148 BLAKE2B 6b39bd52ab443008d7e1f9b1e839b51940cfa3577494a4222999b8a1357a13417b22eef8ba14c7223f24896c690f7e2ef860c8a5d4ee9fc160bb85a8f7cb1eda SHA512 22277a5a900d5bfd6e2012e1fdc6e29a80ef7f8354a3c6c36ad9e052ef33c92c486d9946867c65864bb96b97ab5b32190aee802048c28b1e905f3a9c4ac8006d
DATA picosat-965 350 BLAKE2B 7658327919a361a4fa9d83ea4a1ca209463e04972ae5a093dc4bfbd4b4305d1b57d501090dfd6626340141d08bbd2b5f528aafdb93a2d3c79f2d3d09ffba3542 SHA512 1a67778e2dffaba9e7ecf48d71b148d1140fb0c70add1bab7b4964e610f2baa62f45ce90ff016d06e01475aa25e68af4b5c88ed9d8e907ceacf12e7ef122b75a
DATA planarity-4.0.0.0 395 BLAKE2B 39559e96da2f9861d02dc11187f5e8559927876bfcda5ec3b734b4f194433f738da95f25e8bee3494c94ba8d6883129a1f1e427ea84c758a591dc98652061e7d SHA512 a1feeb7e498d6d1238b625f3b05138d8eb500585bdaa16e8ed5fda0b8bcaeddbf62795021a2de6a2c36d03243be483b662965f52ab3f2c803a5c108fef006b3f
DATA planarity-5.0.0.0-r2 424 BLAKE2B 4e0891945efe1608e91c0a130f7b3a9192a3d915c947108151622523b343f5561627a7d2066c44f88155226f3f5b23bf742a6488dd68348b73a79e4e90359478 SHA512 ee6ea5cd5c155bf8f24da9f8aeecf6912df1f892d52a50de78e099990bcb4e004e3e210c97547f1a8560045a9ddb1ecee587870ed3899b927e20203e36728e51
DATA plfit-1.0.1 742 BLAKE2B afafdb1a8cf4890af58c687d751414155e66467c2d4cbddf97c74e336b5e10e5c603716516348bb0cabdb8118b766b19bf606773f99923eb416ecc6f93cad43c SHA512 89d92321183f7f44f73326239604b6fa595cb02f0f6959ed2eedbce44ef6cb521d2967763957042f7ef1b97656be92861903772c380bfc534cfeb67ce32af850
DATA polymake-4.13 1703 BLAKE2B a706f6eb4d0804aafecc44b37f37f76b9256444f41ef74197b3abb065a30fc2949e66f9b07dac9d9aa7762ab95c727dc0b48edf3a2fdbbcf74d0692cb2c7ee12 SHA512 c942afefe7649ba689693952482354d89ee194951b432ec84384f7189772988f0af4d0358e6ea53189e45aa410b4847603c3f8514b4e75d2769da2aba761c5b2
DATA polymake-4.14 1705 BLAKE2B 8162b48101635e1738044e757c295ead1b698266a3d4cd198bc306ed1c6a1d5e5e7e07679844755fb73896d4f4927f0706ab92e8235059d41dd59e3b48360def SHA512 e37b3046efb2bf19ea4ea55e4cc5fd64e0d94158362e05d4c5f9b29f5fcb9d5cea0ff53207eb1ffbd1e870fe391dacf201a35cae2a7d92a6ed55b972cc464085
DATA polymake-4.15 1704 BLAKE2B ca3c198670e7f037fab73865f1a1d91f2bc8beb0d90abc947ad0b8f80a487dda7b4d0807ba5206268999a0cf483c6b6a61b3580ad7ce50ca0507652b217c3f4e SHA512 84ac2e4e666b1b0401cf0c5d844944f5c0404ed25737242b78fa67dbdb4b5d7bc0d1526295d074ecd53b64bfa9ceb0c4e70d229f97c991b12a2e459619c935dc
DATA primecount-8.0 883 BLAKE2B 60ebd06a642d0941536ee0aa9e86d6612763648351e30c73474ac27f49d848a1429d86f5f614ca2505c505ae149e89622dcb19a26667089f32a72902e9331c1d SHA512 4007d97fcb08a45972385b33d7f262807ae0902749b327760ef5225376dc64ee71cd04e7d74f7ff3dfaee498324d82087607869430cfdd59a973f71bb930782e
DATA primesieve-12.3 893 BLAKE2B 7f2005d356d91eb1a4d04484b18cf29cb3cb54598994ff72225ac53805c85f3d309280f22e5b50726dd9d776aabc4c4d3a37ed10e4822fa963d92d9579e3b213 SHA512 eba8d554074cddf45bf5ed71fdf375568167e64cc43a37b0e4e552106ea79866a94844b268e8d9a6fe8e327f9cccf6d6c6d70d88ffe3afc8740757e8e6040789
DATA prng-3.0.2-r4 714 BLAKE2B 0ed86804f509760d1d5dd616e338192049e12dcd9b92461a3af217294bd4b652b71b105b01cead83aefa18bc074ec715de11116f8246e46ebc24bb991e1bdf6a SHA512 b484f056e375dc836ec7364bb1619041e68e2b6b905139d72a9592fa9e15ee7856dc92a07af28f30f9bcd2af38d586da7708d11155f432b416b7f41e803eb84d
DATA prover9-2009.11a-r2 497 BLAKE2B 8cbd332936d78c5b3faf221f71138f7bd2d9c255de7ff47dfff0906581bb584ad9d110559ee799d304bc160cb8547d18183f65270737010566ce47d361757021 SHA512 39b5053a2b8214674e7a4be603fd91f0765fb40733d2295937a9f260bed22aa2fd013edd866d84a01e2dfe61c26d3e717726d6821d5a9807554edccadaa6954e
DATA proverif-2.04-r1 773 BLAKE2B cda89140bedecc0aeefb2206f82c3ced9e5e93c6f5e6d44815c4a80fb8dece32284b06f825c633439232c27367fe631478fd674bc7b7362e7461f6b97528708d SHA512 e4e424d5ae711256856ce354d36f35307f2e3fd91086392e7bcb34d86238053d8c7d47f156c9453faaa2904c1cd0232d2a2b4911e6970e5fc0a5e8b1b19a7edd
DATA proverif-2.05 759 BLAKE2B 09764c68013a47553ca16ed3a90c26b3ca393f921d2378bfc3c4ca13f6f378a40c2701ce487cec8270dbe936b994a02036c33fda8808f72fde806c786ecfa586 SHA512 c7644365007dc77312af414b5a384b834e3edb836655acc9bcb4297c3b4760b3dd1137b3f400fd590b61e84fa30388cb81f7e8b83e78da516cd7aca98484f522
DATA proverif-9999 769 BLAKE2B 839da42990844e96f330ec510cb74b3b9684531fde27874b0bfd6782864f213ea1ecf3c4c25c0cc6ceb0ad73168d65583158f7dd281470a31f7f25b2f2131f17 SHA512 189dfb55f4cb64ff900d7dcbd36a913e996c4a338390ecbc71ce19c98365f52d80de19dd1a2e48bdf61e0fc800ac8e77e6e10f9bd088d74213fa3454beeba526
DATA psmt2-frontend-0.4.0 827 BLAKE2B 76c631d182cae01f583ba87a807a2622dc1a35192d48caff8b02476208196869bdcc33303d9ff8bef1fe12f89d9bf8190f2d1e2fc06be6f93be1208d235338b0 SHA512 a893e3dd0940fb45e1d1f3ea3aa49682f9e412875016fa61fc8126f71e7d0a61306fb6a7586d61e75f16995f00dc9cca446387fcabfc5614839120604f390bbc
DATA pspp-1.6.2-r3 1571 BLAKE2B bd0a3a1dc0ae459da4ea6ab36a8b7f28373069ae5c148df565e18c294f17ff045e39c7fe03e7cfb3a2323efd4e7678794e7376a1fb4358433e6ba9e7b4de087d SHA512 97eb8744078e88feb2b16a889278ecfe2c39340bda3062c81f80a2a47155eee88f0cea3af6b82a0b674f846c6ec20a45ffc235024b10e534f6d6160a37744e41
DATA pspp-2.0.1-r1 1579 BLAKE2B b79b1f7be3a9421569803accb3576d5e6425a1322d0d71f8113582a0cc4113aeab35eb6b5aeef018e9d94c6b04ff736f1cef99162bbc6ad91b66f046361817c2 SHA512 0d4fb3b7bac071dfd081ecbc22592cf4361cbcb6a2a1807b0e50e11dc979161f718a1811046e75b5b72dddb90c5870029cb014c95b927dd98b8e65485f7bc7dd
DATA rkward-0.8.3 2810 BLAKE2B 6d3736bda6a5dfa3c773c3e9aa68eb184d0b537d9b4dc7f23a7e723eed411fa3bfece118281b1d945c37459abdac75a9ae096d2e9f44f23a32f14b96a45161ca SHA512 ac1cf022d5eb88099a53ab1aa965a0351e70d0c846d12b91077f2a67b3944ce97e05781cd4a82cc16012b56e92b43ae9bb6c30d38d5969d5c80bbc467dfbfdec
DATA rngstreams-1.0.1 431 BLAKE2B 126814fb1ad56369b5f297a45820456be73c688e026ce21f5c0ae482cb795b43f3d8c9890b5932b393373ea05a2867ffadfc071233b589c7c517b8546bab73e1 SHA512 d45c011b038dfce7dc7e670d4697d93f9b9baf40472bd075f1cf9201ac9be4a59bf7c7541aef5c806185fa0a3fc3389327c96637900cd8ae0b58dab0a3ce2065
DATA rw-0.9 348 BLAKE2B 065c58f79582d81a6a320eb8b91e332f1f7f3b79e3839fae792b36eb30e29dc06a706eab18116224a78dd8bc97f35d3c7030d3c22af27fb65e9369a37ce7564f SHA512 e2ce33d2f54b72225389bbb9bdbca3ddd1a7b6da1dfa2cdbedff246c99ef642c2100b15e3bd647b296a2770430ecdf365592fa747fccf6479e3e17b3063cce64
DATA sha1-polyml-5.9 410 BLAKE2B 2aa4b6ee08896e1312b576104dd7ca90060e5224582a21090d863b70529cbdb6692509ac8e0ed286d10ef62d11eb7574af9365622e18e0a0acc9cde86071dedc SHA512 63222ae8fb1dd67e18594edc90b400c37280f328500b669d497f9a079d76daa0a87d0685048812a612114e404d56ff3d74d4bd217a3f0a4f39135e8975cbc6d7
DATA singular-4.4.1-r1 961 BLAKE2B 12ed52481713a549572a765a549b3cffe4f518b1ad5b8c27df7213731da42bd0c51b606064ba1a1987da47eb60b87ee8d10e823a138865561e7da8f1a9fda05a SHA512 bf82d6d6bbf4ab6e96618eea943543ae7b1b3338e0c6dcee12d19d10370ec9376bd1b74f583ce60c1a88f3486271f494c0cc524d2f0c66d89e040d204ec0c06b
DATA slepc-3.22.1 1049 BLAKE2B 9d7d214386f6a78ee583115524085495a83d184621c25fa01db3a99c62a444d5afd745925af5a2cdccac3314678fc4f274fc8b241852c549c905ad3a0899205e SHA512 e5274ff4b86eb2251d9b095e3a94d295286c4890d33b8173ed350c44fe1eb495bac25e04f6a2af7785bf5b6a0de095485036052841c1113ddc883feb1180706e
DATA slepc-3.23.1 1070 BLAKE2B b8011ea4eed0b0d25d64f378c8429152ee9e21f5d6201a2bb54d4292278c969cc622ba40c63c5bcf56dafb8d057f4203c496582c7e90967f56924c000a1e4af6 SHA512 134104579e1b37e05fff1860115eaded0466a5ebd6de9f6facefb5cd2496d6cb86c818e1e9880240a2fbc9e0f69fb90f26d188e48c22869c65fea9590391f6bc
DATA slepc-3.24.2 1070 BLAKE2B 6b0bb8368b4331195b8af592a422e48546da752ca83bfcfd18d6ca77d83adf28354b473fbae73abea4dec3550809fbd34190f113a27d6fa23add77314b74304f SHA512 79aadb3df27ace8c9276ff4b5629be8b958b972e7b4627a8ff7f199c7dda21a7ae339dc48fd6e561cb6d4cda0ae285f713be71116b1152fc8935a35d5b5920ed
DATA slepc-3.25.1 1091 BLAKE2B b81a943046173e6cac33579cbc4473ab61ff137e4b4fdedfded834b33646ab40d8e97a1bde2a9635c5e1ce3c4ac0540eaeabd513ce7f859ba8dc1ef7c93e772c SHA512 02c39ea0ed97b2da154429ff1556787352279fdc4327f85ef0810783429bf9bb56aa4f86a4bbfa6ce7d5dccb426a7d798d7532ffc6c1cdda36b861d4dbeecc0c
DATA smtinterpol-2.5_p20211018-r1 751 BLAKE2B c9f5d7982b69345ebbadbff2a30e879df349320cb4fdb0255a493972f51c98e88175b81c80257e7550b2284a4cfcfd08f4e9c203439595a630fced5acf487c5a SHA512 ba9bc5061f83325001f9b62fefa90f1f22fe7329765e6fac12c225174670a3c565b59a50dbd9c31fbe225adc7ea42fb8e2097d0f062ed3cb063b3f413d42bc29
DATA spin-6.5.2-r1 652 BLAKE2B d98e39cf945bce4c51e5ce8007149898513857a8d22b33c34543cac1a17c293988d1a522ab59d614ee488320fd404194e0b874157078995d1ab89f75035ea944 SHA512 3e2f52377a35898638dcddd27035e0f35abcb91f50e15670ff0ca3a6f6a9941fcbf6c4b3837044f8efe174c5d0f59dfafb3d19c4c3efb1e83a97b7af0982600f
DATA stp-2.3.4-r1 1951 BLAKE2B 88f5ab2909b63cadc0e7249a4333460ed4552d7fb5e587145b400c88bec16b5b22070742d6f068836b1f5ac38116ae6e13d0f0ff9611958dc7edcaa5f07b7546 SHA512 13e197760e8a65f1cd0c0e10c84b12c509ff2e0bb05cf5957a69d1a4ab57b1539d908d3b03c30006a9c36ea2b77b5d590bb4767b98ce42778003a2bb63ddd063
DATA sympow-2.023.7 483 BLAKE2B e6a88744aef1530eb54b77f8d20cfac91fb6e45af9031560d8dcab743c5d4e4c1893db5e24cba8246ec790b5aa0c89d1be32892c436bdd601842789e67f58f7e SHA512 f74d5467609a3c88bc6470b4b1cd0f9b08797437a7226e51072cd0502cabd0b091d4328fe01655db339f4925fad8c28bffe6ba4a24af27a5000573a52f357fe0
DATA topcom-0.17.8-r3 1084 BLAKE2B 7dd2ebbab5876aa856e02ea34fcc14998806f5bdd9227bd2bde058216f979870d2aca67076c8d73bb0b04c9d1ca8512ee979639d8681a21695b6ee592443c6a7 SHA512 4508318971ec2092654738de4f15edb535d010d67cb159795e8ee1acfe649695d7b1b328fd73dcd7a4301a7b959021290fba72574c2b7112f2e009524a6fda47
DATA topcom-1.1.2 998 BLAKE2B db83876a1361935e64b3fd4d13552ac3cecad7bcdd015497b8a8fed64287ffdb0aca9f07c736a028fa8ecc7e8ece8a55afc42d3f55ac5441301798623e40157c SHA512 bbec340a417c6218b9bf64ff0816013b43bcd049eb6d9b3d99fc41af665ebd03d569f67d9c5d1e04d4097c0f5b38cf4a20ef81c14f87ce2678180b74a49538d8
DATA twelf-1.7.1-r2 785 BLAKE2B 353aa2650683db191ade86f1689436859c57c403b03396a6beba6497c6df1f74e099a539a0ecc63477454cce43f456e725af238d6f196d7d094a952a7f78b011 SHA512 969e8c9f808de4107dece0b4459120587e33f91124f06c4cb7cc8cab119437f272edcfd9366522e5415a75185e58799c3559807e4ed5a76791bbc4d2f760144d
DATA unuran-1.8.1 629 BLAKE2B 3892578b08a0453cb94152b50e6c7417455fb4c4a4642e97305a099add76c7c300d6651cc55cbfe918e520a50383fbd67176d05430b9295be15191e125537300 SHA512 892cd0fd5cb6887978df96d2a3c5eb920b3b8a0d93256f81f987c853a9e899b7d9f8628910cd4fa7a6af23ff93acba27baa5c8cc733ff509631c41aa5eaafbed
DATA unuran-1.9.0 1027 BLAKE2B 8255ebcb7cf76dfe64bebd508a031fdaea13660a42a350bf6b370626f61769b85afbe1878305dd72f8bb946337311141c5deb80ec1f3b6dcd01666d058e04b3c SHA512 736143fcc2e43af970c4dd15d4db3df01e8b9d853aea0b4a5f6f72878b38b9594c332638733765fdd41c5b65d97f90927432cbfed000a3d2ef3175bb9d7d8b43
DATA vampire-5.0.1 919 BLAKE2B b0e167c2cb1cbae74585f7be6a0188893a4eb5fb7e765b97ed6484cba71eeb3c8876f5633cbf8677a4cf28292f1d31469fd34441fbefd65a1b30306ebb244785 SHA512 860ec529a075f63b42f2cbb93acf44c92d3f5d28f369cb44ef14ba177e77567ed1254d4354cef1db96b1d2fe2c3434bc3e5e404a05f126953af0903aa321657e
DATA verifpal-0.27.0 797 BLAKE2B c5c92499d4f1cfb2b59e8b6c4dbb8f49d9002dff855698eed1787c988f063c0c8ba36b3609547f4338385f5bf54ae43b1af726880dd2e3b4ad99d79448569f47 SHA512 bd6e56cab12fc1ac8910c36e886c43194be59ad122964a954d889e268d594eabb479970f625b2366c0eef40b67da6472b26fa24d87ee5e5c3a79207f7552efa1
DATA verit-2021.06.2 320 BLAKE2B 3c54db88a4a917c8511f9d496cf9a4f0b1611b16c32b88295f30e0fc4b784bedabc8e12e73b755888f9c26cfb42a338676e3194baed96476905bbb3e862e6f06 SHA512 00ad0c28b09ee03b12fc83153395bf21561ce5994cf28d5a185c642e370e14c3f84d5c9bba17041809edf25e49cf1ba149cc666fd3628067ec2afe4447700419
DATA why3-1.6.0 1901 BLAKE2B 74c7a7b04e95426ad366b9c5d0bac5a9b2e4c0939a43697390286dbfd79c8fb60a8c5089bc42e6c94bcd452211246e8d198ecfa209faa382d77e7e30d05ac633 SHA512 817fc43f10d3d505ed0f76a3e57f0c2e0c16a0fde9d021b93fd97e9be2572a74d0337959e24b2ef4c60eccb00c6c8699a5c5766f7c93b82e01a4e36562c01e19
DATA why3-1.7.2 1901 BLAKE2B b91687248fb89690796b252210b240c7992e2ff3c74a03c9f83160aeb8e7cd65396782c844ed09212f0c27112d2b1580819a6c3b9061e38cb772c94f5f434a55 SHA512 7eb7fa49fe43fff448f795f992d329bff0cbc775f7a4ff0ab831fceb58032427d3f96a0ccad705e555bde09424ac6171d59c6838e3f9512a7119d8bc3b0645fb
DATA why3-1.8.0 1931 BLAKE2B 7120189f8532ac3a7d5df45a8c5fe9ef53c0b99562d1f05e84b12e17f49db753d612d8391e21c002443583c3322baaa63b74b96f4ded269fc9f3325c2e3b8b61 SHA512 746a705ccf95b554af9d6093bd23f1f1a6705acb5a602a9a2f77f069a228e0da4121ac91e7e66db9553245a4bb69ef31e4010c331d3fb2d6fee36f2dc7307e43
DATA why3-1.8.1 1931 BLAKE2B 253d7c6b0c6ed1e91cca7483ce17acab1f62cbfcf1450ec67c3852ddb4c9ad03160c14c983f9d1192abbd79dc192cbaba092daa4388ed867b10b1ec4830414ca SHA512 0bb547c1b3507497f2e9a88593f6f5ce3719979057f6e64977fd0e1a0bb8a841afeb4e39f4f7c60896b6f88a1bff6c2677465154f12ac2d7a7733f37c1f65e72
DATA why3-1.8.2 1966 BLAKE2B 52b84c137416eff83e8ce4245ace594b1353778ff993f931df55b1bda04112ee415011ca7008455649f0a4937f9e091a24adeda1ab38d28c0693438c242de0fa SHA512 98253ed186f5ad31249ea5df31bdd48a6c2cc81b70218c8a40b3d1c540e4d5c3485417bf8eea24cf9fea6427fa14de5a8e3d081377417a9bee05574abd4e6598
DATA why3-for-spark-2023.12.13-r2 2043 BLAKE2B 2fe9f29893e0bcec402cf5b6b907af28be202a6618eda3672a4d9ba9c0442cd0dc37ef04863d4d844647dc560554e1e8b871c556d3a17964a05fdb0f02a4d0e9 SHA512 b90d87548874b9d3231b0529c533b9b118a6af6b0444e6a340a0d2d4eb12150c391fafb67a6abe681546a8ecae354e1caf17e1d39c2e297e77ba12800b056558
DATA wxmaxima-25.04.0-r2 1212 BLAKE2B f4e4d7001f12b1a17c190ff1224f405146bc38e7a72dc7d6a6beb2c4d4dd6ea74a9eeaca7a71040ddc8fcecc521826ab8597550a12c8e335a7d0ed3305239459 SHA512 803d9013209b700c1fb0a89826647f81f9510593312862b9fc2f02f69d9c8354684f200b0935eba501dd31819ab9ba4c7225a2b5e1978618325a5ff33a98e221
DATA wxmaxima-26.01.0 1213 BLAKE2B 5f84408d33489f3d19438e74991014a6b68e7b6388bdcaf75b972113311e0360b1949c6854b362da3a469837036826655412ef63d8d6b8614acbd4a659d2ae23 SHA512 464d54ca23873bc99501451fb8562decbed483b8c5a144ecb92532e75d9fb71409284bf0147b624a9c83bb134b4f0cae334cc8438e746e0c308ea0a43e5c300a
DATA wxmaxima-26.05.0-r1 1223 BLAKE2B d2fe5556b3e5eb87437ff1640ff94fa4f2f40682ee8c765e534a27222e15ade9b0cda8f67b7da86a43ce66ced2160a279dec7b20fac6238839da6645ca1d8485 SHA512 beadeaf46fdbf673a45c2f3295c64be16b65034df740e0df70cee1de5cb28c73a6634a083549fbfe2d4cd382beb20d8410e308ff60916c8bc5584569f6147c24
DATA wxmaxima-26.06.2 1244 BLAKE2B 6e9d7976d7e14b416b845391a38752d46c2250577a53642d8c7dec142036eab2c0162411057922ed4ada42531ddae5b52443f2a0b6064f86c5c5aa8906655ac1 SHA512 ec2cd24ed60e28b317edbbe6299dc885f86af3fc729cf7f2a74689bd7b50c4a9991b58f4615f3401127536de750eef75a3a151d211db7c0c36a46381cfd8fdc9
DATA yacas-1.9.1-r3 1107 BLAKE2B ac969a8fb2278f86158569b9b1b390f3b705348026386c0eac365dbb4b5685debae5fd08078abb8c1451212233804ee97b6ca89a55bcee4d924caa7459ff78e1 SHA512 9e0283129038762d02185ce69438fad07ba6b0034b55d95e88a7dec57f5f530db992ee0697f0167ad699ee5520f7312644c5d13993bd04925860dddb93bb928e
DATA yafu-1.34.3-r2 764 BLAKE2B 2d6c814a8ed367c1dfb54d0bc2bfba3bf215a34e3df0a4f9695083dd8e5d648e5ee7495e1481c241b7897521a47df6f112eab9706e728f240aa24ac605e85b5b SHA512 56f1ac111ed9db75b7259e6bfbe57e89d0e2a83f474a0e90329fea5e7ecf8202cf52a1b3ba4682f5a90ef197d2b3d3640834a14d96d5dcee4a65692ba5e6fb1b
DATA yices2-2.6.5 964 BLAKE2B e4b9a97727b6d0b33cef1933351ca061e668a775fee9d7fb373fdd51cfd2a0433e83bc0f218c07faa7367e8308149feb655dfb6de82fb0b98a137ff52c829ba0 SHA512 4e5c2195e636e6bbaebc2171022bb4c70ac85c3718971f2e96433e2fc8cae208554f976c2beebdc074874c5efcc9515feabd3b1cc655d99a435262122b6e4c44
DATA yices2-2.7.0 964 BLAKE2B f8db812ee4576f544ebe2798af937f0702a76523571224120e582c23652dbbb677bd9a21afb9b1512c213d1cc3c8b78c7bf3f47415cd9a2b145df2729cf32006 SHA512 bce6e550714ba592f5c4a802d3d2a7a508395caca5d3649bd88df85aa58211c251fe53e7cab1fdb2a02c85be0b7104bc3a1555920b6b243a50dfdcab773116c8
DATA z3-4.16.0 2474 BLAKE2B e727e4ddc702d1a05624c6ceeeb185f9730b8b3b09537bf39308c12a76b7fc14117f244718b01ada6c2fbf2750cdec75d0212d1eac4c03921d9e10b6496f5da1 SHA512 b051b5c7b74e400427f48e7ec2db1574c7dcd64febbd8aa014f9ee6d68ce90f5437bd9f44b4c4f0bf984282bb00c056cce31ea3b1cf2be81c7467a8e8db51a72
DATA z3-5.0.0 2477 BLAKE2B 23c6ad80877e806dce04e4f6d086650f3dd0609667a734963184e646758e582b6a480496acda1ad175f8d612e69f7f1b71c6901ebc05fcca191c6f8a187c75a5 SHA512 975d192f99a4a186bfe2a1f3f9271b5833ddb23ef18fa411945cfeb03999e8d93b0e6834f084978e19562ca5aadb71d4b02cc18100388a73407f3d6ca66e7f56