DATA metadata.xml 1326 BLAKE2B 97101883231f57a95f1dda2e945b75b414d86b59bbe575d2773c16b4daf00ee5df11e54855d895ce87ba3a86e3f4d56a02809d89bb9fd39f20cf564d50c9322d SHA512 7ed05f26840e2e645d7c4b0577709bbf39394df99025d94947a5ec469093f5a601aad717c468c0bdfeffb82297e25457f7c938ae063948125d9408765a6e68cd
MANIFEST 4ti2/Manifest 2739 BLAKE2B 595d07d391991b1ce47e9a05736c7aa6caebd0b6fbda6440df3bec1ec78b09e18b24ea10df59a38fee83e455947e4fbd047ab67e80afdd2e247aec8ec82ffadf SHA512 b1ae13bcdacca8a8d120b650759a2d8bde77d5de6bbe43ef5a357e9806bb40b35118815fa2d593d65680727086f421da69caf480ee088bb2b5980f1a96f0a267
MANIFEST abc/Manifest 1523 BLAKE2B 3c3cec5ba3c0e7c96782f3df6face6bcd1c1b95e7fb45dc9154ed45cd66dda7b4c9f0124520f8583f9790f2a956abf5b785a9abd6de65cb3765ad20047ad2803 SHA512 357b93315a8b1a5f92ce1d92abcab7191a36ffdb5f7d7d2a8d250e241e6955242185a810822eefb02b7febc8329ca6070cf6bdedcaba78a7129b9fccbeaed538
MANIFEST acl2/Manifest 1829 BLAKE2B d507570f025a0382e767bf6b659f0df4b6ff8aa174be9e1085f9c5286ce1628c1180078b00b74273de071b96dd854af0271a202351d6d1ebb211e68cff60457e SHA512 adee560f509cc8b79a55e5228735e4bc45c25a6c5001ae6872940a337c67bcba5243ee8d4e93031a5e79546bcfab06ecc1e69210e922e0c8f758872810376f9b
MANIFEST alectryon/Manifest 1217 BLAKE2B 9165e5fc208107694637af37bbc87ad8e2a9f13e6ae028008fbdc397ea2bbad2c293f15894ec0da141d89afad92a5322a516ad4f8511abf5c262d20220cf79a0 SHA512 1c667372a7284388887d4b2d6fa44380fcdca0ee1192c639dfc0da3a6005f501d4a277c0f030302f47acaf4063040334eab9331940ccffb676738f5445b20068
MANIFEST alt-ergo/Manifest 1220 BLAKE2B 9e63b8774551daeb226822703c738ed69d4d3f6d282a3164a1baf0e3605f77340d8f963feb840c3f6ac116681eec8cb3520fd58b10191746d92160ad04442078 SHA512 26cf5b078f954b37da38a865c16d33f432c88574cb6604aff97ab54d8b54f1798eee13a3583d24c3ce7ccb7a24aaf0cab6d0164f6923865be81e821336bce319
MANIFEST arb/Manifest 902 BLAKE2B 70f95530edba4c6bfd6e04793de2f341b734f5fc87c505da1a64697d3fcc8b712fc77c91667d8be9904be35ba8c0e04511f81a7ccca4646398db795324921f88 SHA512 04cb1521839cb452da7c1c5b6a48cbccf4dc28796afe407c23a47a9e3a9c3884afd056e8d218440b2ad9faedcaee51098b21e01e9fef4f89b7c860379c02a611
MANIFEST bertini/Manifest 1220 BLAKE2B 24dc2a497f9177a6b4ce1407be73b8eaa7c30878a2464b31208e2b39fee33020d82d8822890feffa65c4fce6f7d3542c2fc570d53dbe371e32edb17e1164ef63 SHA512 9b6466e28925017f7a906e07f4f3102b23c652b14c4d96a429d0bdd424a7014f33605c2880ccf7c270622e63f049e2e8e57b9c638f35c438963971119bfb54a8
MANIFEST btor2tools/Manifest 1931 BLAKE2B 0da84d2b014dcd44706042c03670d782da16b6b00dea3d1e02e2a9f454b313a7e155c221d0d39991d41945b790d6a0a57b90598d3206b44ec620a354678aaf82 SHA512 e35db0a36d61b7f3db36cd169c00e0b8747f02413029b69412228bcc1549048b9276def68c64eabd519dca551c6185095d0d987f5628f216a326e2aa45e06426
MANIFEST cadabra/Manifest 2570 BLAKE2B 5c8403838c005e01bb748bf469d708534892be2b37060f49a03edf2417618521209074f87421e38ec33f8f5eadb6f9d7fbe24ef3c94c6deba3e076cbd2618ffc SHA512 19108eab2cf1f75c4c06a23a30dfad9b99eba4c90c9e9829befc54c80292f7d3479c5e03dd2865b90444ad9750064db93f23b4dc98efc572e05c5ac28004a947
MANIFEST cadical/Manifest 2147 BLAKE2B ceeed18610bf8099a293896edd72dad97159e7ce8b4ac055fea71cb4711dfc7cf05efdcf453b96491c2eb7bfe558ec33bc950dbf79a83646b6e6b8b70553eceb SHA512 93d93b69a13900f8e5b99323f495255904e86fce4f1f1a1c2e7f984a75c0177127e9da39666439eeadb0a613a60d1e4f5cd996213bbfe714fe787db5849df1ae
MANIFEST calc/Manifest 1534 BLAKE2B 8180cbcfe2cf895a7a91f5f8a859cf3944774b453dc920be85280af0bc08c51319578b71833bacf1a240f7258487029d34f521231b72191414f64d73c1b996dc SHA512 60a82aae364509546a76de802b6336b2ba81917ce5c5e232f890d391886d74850dbecba4c5736f1650cf9a182c0a665657321ec7cfb0519044b09a2a1b80d019
MANIFEST cgal/Manifest 5203 BLAKE2B 7b00124d693242ad6cd77418e982e3ae2b5d5f451e55bb095fd6257bd42c7b075bb5f69081ad79be51194cd3303ffe7f7a19bf5f285f2cf89f2fcd44194e6995 SHA512 f546462e0f6f6694f902855e867f1a0e6588e6e7dda9dbd8a51b6f1c0f80107687caf95b7acce24d98240e9f3bfe4f9c2550304298a4df7440bb380785c77ecb
MANIFEST clipper2/Manifest 1521 BLAKE2B 85da7bb0ea1b7c2bd8772cd106822cb505abe88050f1cc241aae68dd92836e563156894f5cdaca60a1ff81111743dd753f35ddfc6cc4b76be15dcf33b2dff0bd SHA512 8a6c6ccf320fe84ad1aa9f86299d8946481f5c53ceb4d17ed093c06f3720a729fbf4a7737a8c6b7cf4cccb01ef6dd258545107a8c6cbacf0ef2b58bbae27627f
MANIFEST cliquer/Manifest 1513 BLAKE2B f92a51962f3261943279e21b5be71d0ee736b1b89e96fc16b944ca005164469adb245b75f49096b4b5e73b252145fcc1094fdae7f9a8ffe0d03b48c9742e4f5d SHA512 4580e805b9b508f97d8a4490a14b285dc7582ad4a28cb387e6b4662a5ae0e0aed4bb13921af13973d4b32bbc39ab1a58fdddf5462fba3d83364aa1eafb15cfc6
MANIFEST coq-mathcomp/Manifest 922 BLAKE2B 9d2c6792ba66d8ec7a4478659edd2a40a5c9a37a7e972d8f0cfa235f447cf3688daddd7118ba237ff531f88d8dbf7e979458a6e065bd91e45aa48b08602d2eb0 SHA512 ed2d167f8ca0b0ba6d26c5ac24c7b20ff5a3d2c3fac0914a3bf77cac61a103ee52bb1de14ae287699ee3ddfe0a8810b2ef71437c818e85f79a8f4c0f4ce3db8e
MANIFEST coq-serapi/Manifest 1529 BLAKE2B fbf460021669155bdbfc5894ac266d326d52ab3d565040c6121f82b5f5ff8fc8efb5d5c2bea3799434d3d7b708fec3728c8cc457beb6f1bafb73133e69676c26 SHA512 6fca47f1a04efa749a44cabf0b8401336ff00cf978ed8d3aee71b3bdded709e736c8b7e59dfab28d1bfb97914ae49c8ed3aa9a21e696904bc7cce7701d3b4bf1
MANIFEST coq-stdlib/Manifest 1537 BLAKE2B 2ffc574e660a2fae8d24fc22072d47de026a9114c09aa8277ab6a3fd9f198d3f0a7169b1526d3e225c2bbeaf4a16c4a95278366b64d944300dc9fedcdc2799c2 SHA512 59fd7b47218e90be1547aae78a624a91c411eb070c8026534b8162362079a260a337543069c4f00ff7a6c1517c5f39471ca4d8f6b74b2f97956511a2efcaae1d
MANIFEST coq/Manifest 3944 BLAKE2B 996791ec52a43874324ac975ee91ff1ac89ec1b6ae920f3f8862ba20fd4a516abb737a74b280089c7b71131b085b15f92fdcd0424b2e394432a9c6595cc71338 SHA512 eb1b570eec7ea76677f4c7a2dfd9b86dbbf88152a1e3fcd7af6a204da354ffd092d17084b3b8496c4680b56f81e5fcb8920bc43191a84aae858815579003d653
MANIFEST cryptominisat/Manifest 1563 BLAKE2B 63520820cd297b067d7ad6544a6e381df2fb66d4ed7f3d7563d6bf989ff4e00d079b1202a971aad83ff69735f0a4c8ad5b08abfab34e30c7b91c86d856748de2 SHA512 2eafbbd8d013fb3cc059a514c38a9fff05da9ba1ecc02496c2338a3682a08c6cf930e556269e0427da62c5d990b35a23023a961155728b4cfb0bf57e4b6eea58
MANIFEST cubicle/Manifest 1519 BLAKE2B 95728f454574280e0c0a24b118a5de6046cae617eb49b029665773ab6ba0c56cbc030c1f1f6b3242b1dab0f937ecaf778863b71d60e6cb971f62e43ed15d70f0 SHA512 8ecfd958a27751429174c133b468aeaea516a216dc84c6d855bb75dc74169fca72d5d09909f8d833c058cb092ae12a77865e565f2c7d3aa125d89e4fa1b6cad2
MANIFEST cudd/Manifest 1216 BLAKE2B 79303e5086af8c80d3615a2cae83337ace0162621309663b5136168e171b2b3164b7061c945bdcfea2544cf2d881c71593becd048c992f42fa6c044eb96b749b SHA512 61334cb22df743ce3d6b99afca25bcd1e4b81d3693787fbd3acc6e356e97b4fbd5659ec0dc5c1b68892b0db22315efae74c1642e324562d7d2dad5fac576865d
MANIFEST cvc4/Manifest 3340 BLAKE2B 08fefbaf735edccc05856a5334513d3f9fd05d325bfcab096d736702a2ca9d125415e2b4014957d312bb1a6467364ff475c8a6deb6a8c44d2ed8492b5aad2e51 SHA512 4aa2bdc8887a4712cd7e63827cadaa9853befba6a98489b7117d63dbfbbc5bfaf37d706eefcf5a1d8fd84e959086c0a846d72bc7231ba1f5ea6a583b10be9652
MANIFEST dataplot/Manifest 2436 BLAKE2B 3f2ad999bb448315802925ac8d849c7984809f221ffa384a4de71f0d66b54e21272df14d8c3fb1fe27781f53da4236a4a11a058259fe770f53d7ddcf96a21513 SHA512 14a92b6869bb9dab28d6df5d0d2568e1b17542bcc2d8da18c380af07e3a834db094def435a759b166fe8f9f685d0caad4bbfd82e8bc300ba39cb067a2250f03b
MANIFEST dsfmt/Manifest 1205 BLAKE2B 69a23669b71d50c945c8231d7e963c7afa333e830e15924895868b22ed83be7e8cf861887020d791e00fd501c7761ece618d5d5b197f7e0be9ebb46f6ab822f9 SHA512 52174695b8c9f95e688e5453aa0b8e2aff03c0e66ba77f9e92562dda1906a2e8985dc1194eb0c3589034241b29649f2ab227351c84fa34c9740695a14a8970bf
MANIFEST dunshire/Manifest 910 BLAKE2B 1e37d5d7b1f5288f04d9b12b35c58076e89870e96297f8fdcc9f6c2d1cf8da29bee075af240f4ef4dcae92a3f3bb05ebdcb9a190d7c24955a37739fef587a52a SHA512 12ec97df0e813e5237bdc2b88b494a63395e134d2a861c1a932aa15b1e54598e6266e71d4a1f503875f19f24df2d210771b5c715fded75d690ed57f6340879aa
MANIFEST easycrypt/Manifest 1543 BLAKE2B 12c7ceb5ef08fb09aa6b69148a15a8bc42cbcba49a108b53246201b332f02f9d45f38149629720f1b49b7665021e29084710e8acddacaada94fd431c10fd90dd SHA512 1fb2199520be2bc0aa44a61ba3b0815cf74cc9b2cf447a5c5192337c5c181271d9f3e3624960cd4583773991ac4049a1261b73672013b5be29663e3ecd1ee87b
MANIFEST eclib/Manifest 1225 BLAKE2B 0b78b8eac8c8ce13162b3193ec28f320d4511ba3927200d7bda98e45a7ef842060d8d3ca63deb47f7ab07758c137ab255fcf9f4e7de3c76783abc46d4df4df1a SHA512 71c7c2d2163dd8192823c712f269472f855b7d8cbd385efc6a5f62f1d1114b7fc146cf623f8a927ab681f032e3abcc207f814d62355c02b0c396b2425c7764a1
MANIFEST ent/Manifest 1197 BLAKE2B d8f9ea43a90a19696e746ecb982a5566704c2536086796f81ebb91838587e2377e9214872faf386f30bdf0eb4488c62836faf3f3b278e3be02b58ea19e510011 SHA512 07dff33a871f7aa64397827c6642fd86bbdeedac2170232213c8cafe71bc759f8e98e0e8d2aa4ce01969f524619f3557ae4e326aa8a5b323b6383793ff8f289e
MANIFEST eprover/Manifest 1833 BLAKE2B 44f945758dd05b41f0d4e8de32bcac6c6bb0f988ea0d7564103a07e206648619c31fe2fe9cd42e747951af2d618e58820c5762e5ec232ddb79d3046c0c3e8446 SHA512 942482b27aa8122f387daa1a8691d452ef16abdd5e807ac35bccb1b09a7f2363400519ac0d4aadcec0cbc270bf50165dc6b0a82899cb41137d4023d41818485e
MANIFEST euler/Manifest 2424 BLAKE2B d82b1f10927d03fb3f09e30082db56b143368ad3efaf7405c9963019c0d4fcd5e84c348bdd37280db41972b1daaef31b5e23d1895db0eadaee1a96de6ff00fdc SHA512 e26a0edb07a30bcb978b2cf5bccc06f8ef5e18e2e1ebc29d104761b06dd0716dbd10431284804c81b3207512bdca63a0253eb67d38974372df8a8f15a2a3c116
MANIFEST fann/Manifest 2124 BLAKE2B 3f951b9355f8be5fcc779edad25f050dc8689ee97762fcfb234ad5c861eeff9d26f1df51a82feb783899dfc5fe99c1be3da0cfa2258f49920d7adc83af87bf36 SHA512 3e2787ac2080f0d6bff07548584352f62e3c7135495684bb6d43265541b1e8a4dba04a42e3414fdcf127d76f6b7822279d38fa2202f5d38d70d47e55631b0bcc
MANIFEST flint/Manifest 4303 BLAKE2B fb76235665387695c31ffc70fea67566cda614ed87155f1bc1cff73ce4b7baeeeae7460259c636a8c0e6d2fba698ca34d0bdde0d46ea7d27429599b036e2653a SHA512 e0561e7977da450b5f8c15a20861b7b8f6f1024412ff94772e1c115c9bb3b31a5890cfe7649295525ec3e5151688bd28c53e0c5a1ec4b4d11a4584b1cfebeaeb
MANIFEST flocq/Manifest 902 BLAKE2B bfb7e1acc863b1f40af2d6d83f0ec9f6848bfb1cab60f1e1897cd641656cf5c56a72a237a4bc56fa4ad4f637b09db8c94458ed826c781ccaa9d37e6c417837bf SHA512 12a8ad8f200f7777b969eba54bd8df5f2c7c8c7b8b6a039c44f5e0506fe6b06373b573574a71a0391a287d2f2ea75baecd202e0837198d3298fcdd4357ca12de
MANIFEST form/Manifest 3642 BLAKE2B 8311fe9c3db56be340c7de8770df5359dfce4db3136de688f30facb4347309aecd336008d90bb046e3943afe5acafa06264ff8dd5aa7a6ce1f6fbbd2c97cb720 SHA512 22d73dd7cfd319c3b41db7aae0b22d8c1d291eb9fa6bb83a0e140b6b38983214f84b395ab387e00647e881b60d7263b08d152a94fb7fef126607fbd587eee5dc
MANIFEST fricas/Manifest 1536 BLAKE2B 07f6258b813a06651a57212656daf2799403b6fe327c9aa46c8012f25d58e7ff2d272ac8814539bcd3203efd911747c3e2d99f7e4ed7fa8d7dab11f278de55a7 SHA512 62b86bc40d75d3cfd2c1f4ec701cd4f45eb05676f4a98726b135ee735a71377992afcd8b8b9c02911f591abc3d43c99194637a3e1fb00277acca9caf871ffa86
MANIFEST frobby/Manifest 1831 BLAKE2B db7720d9dadc4ce6e2f8d119018368097037fcedb64e7b309ec18b53f65f35dcb1e2fd8bc36a649acade3a3ed8a765b991126e23c81e60416aa6dd21246f8a5f SHA512 9b6cb10d439de64c3c4ab7ef83a33169df07ab6fdc15f17df62e49c3230d6c061d9d2e580886209beea02e87396506f1a0cb7d3dabc72a21faea9e203cf3bf39
MANIFEST functions-matlab-colormaps/Manifest 962 BLAKE2B c73f28192694216879bae418a9e6715dea2583ccc3e4100ce8dc88d4273b4acdd7e3e3c02a0fc374d3d4834c0a5c442c0d64cdb803f576de51e761d317c549b6 SHA512 6e61207370093b6b4bcb7fb45d3d5e0857988dc2b7591f12550c012e2c1f3029659cc96ff8e5cd9d0c27b3268e89d385cd5cea7b16bfbe09d58a1cea77eeb179
MANIFEST gap/Manifest 1850 BLAKE2B 8c89934bfabd200f35237f8785d9f7e64167f385015cdc5288832198cc0bdbc44fa651e39d471a3d2a548c5b8c8e1098a581da4328e2a2e3eedf2fc2547cb9e2 SHA512 58ae79197b796baf872277f0e817ffa286625394da1d65e1722e5a01910ea79d922db0c61ce41ade077b71e1a420dfa115ab858c7d130c2dc01f3b609b6fcb0e
MANIFEST gappa/Manifest 1509 BLAKE2B 36c43ddd495532d9841ae9d9be5fda336344926f378882d66e56a8fd0545a60858f328e386b6bfe5dfec71546f148bebaa56726a6b4c9124d5ba479a326f7129 SHA512 6d18880b4241a326cb32f268ef4a83f6537bf9fbadeeab7fad2e4e1bc05e9fca0636efb8a0278da5dc6084c56f46af7ff1a8ae15edd2b4396959839c791add67
MANIFEST gappalib-coq/Manifest 1540 BLAKE2B 0494e6513b7dd625329923823d1620d9b2e4665271239615dc5a7020dc62ce59a9a9d66ce2c6430ef19e5d8a9ef0cdc79b00bce7b445a3a06968ba7d0875a7d0 SHA512 a87244b58556ee11ffa7d0ca23849f89a0272a9baa4929ee9678db28b940eac5a189770587ad577a1f0a834de64641555fc562efef9b914441c5e08ff9948164
MANIFEST genius/Manifest 2783 BLAKE2B 1267501e0a4752e449c2e8e8c19894abbde33b9eae161b47c9befa9df7ec83de76a76245afd79676f569c81cfe7ba0283d58f4cb3d813d92cf5195226b0fec67 SHA512 e9715bd23e26570a2ecf22e424a5472cbe28f49b01948916904d1e71b7a1134bea9d147d5e424729b1fac085d322dd4f224f2fc1666a2d6709235395942e8099
MANIFEST geogebra-bin/Manifest 2174 BLAKE2B aff6b39fcfaacffc77983034e0368c06e14fe910dc710695720845c9563b696cfdedb1c8e420679489d27160dec3bf932b18f16351c104670a6855a4465843fd SHA512 94e377b136c403fba3d2362a1ac3d8e54a8be6397099bc7fbac7bd8fda7d25b02f1b12d7a3d5219e8bd2e4be7c9b1a756f1ea0314c1132f6df7e431aea20abea
MANIFEST geomview/Manifest 2120 BLAKE2B 79c78f61c5ce4c4f20fc367722c77083964a6492367203bb9f13fb64ec6575dc10ed86638c272ec15d0c7461d1b7785f30845409485ead89210d223963556dcb SHA512 560dc50279e185d6bb39b67912ee2ea3ddcf29145c32cf8e4d6c4d0977c909c21045e9cb059f17d2da12789a129a4cefce3ebaa11b0d91cfed5018214773f969
MANIFEST gfan/Manifest 6474 BLAKE2B 2a13433f52d684bf4d61eeba0a3c1b9bf6278ec9950df5d859d6d8e299867d67b6f7c0466eb70561449a84b135fc1e8bfc2291fb3cfc034cdd71f400b0162d63 SHA512 637713d33abb49b6133efb3dfd941141b15e4203d84420b8637fdeb0c6f90216481547a8e7c3284c3601c1713cf149e429bfd733ba267b06d7cda178017c052b
MANIFEST giac/Manifest 2818 BLAKE2B 120f51b62c4b0628e98cbb7bcbcccb229468f76bb05ab8b2ca4a8d6668dd10b7266b6622a0911fabfd2c0f7ddb08aaae2667c8c0a942a2b6c5d097b58b302867 SHA512 afa0517f902a68f1b41a72764895bc639ec7bfc1c92441372a4272c17943b5ac2e74e99bf90030253289dffeba19f8f8f0fa050bd49ff1aa05b56be03a404617
MANIFEST gimps/Manifest 5214 BLAKE2B b2740779418e66f7a9bcd0b97b48ad710d97ee52c0eb3b3319c3bc1a195c2c11c0a28b9067a0090c10c8af18110f6e838f82111a6e722c707b9f909340174642 SHA512 e05332a53707332a7a16c490ac9e9befa5d3cbc7df8dc3d1ea2c5cd1313a9c81245676bb79af2e8bd448f775797ef30e87935a1c601a28f057b6ce4185f860b7
MANIFEST ginac/Manifest 1216 BLAKE2B 650b782b83c20d6d3d4eda6974c2fd314f6e6e26003101647f70851882ef71b6ba866585616ff9ed4ea7c287e55d33b0c5ef9e77e2747af451c636c60a4b2677 SHA512 a37a819c24b542bfe68294ba21d83476c09d6f7bacd6ae55b14e21064d15739b698dcfc46f90306f5a787691b9a1e99f19a8b151c2c038d0936e39674b38d06b
MANIFEST glpk/Manifest 1850 BLAKE2B f89c9b403571a166d319f5d08d47c6141a73bca5bcc299b7bca8a42233744ed4981b4c9a6b2bd55b4ea5c8392a911385b176569b56d33e1e9f57a306ffce06d3 SHA512 3352e68f1e1acaba0df54f62443ac9d8c1a2960d99318eadab855555a98497c25f417b333306ce01dc79850cd08d2cfbe537b43589852aff67d062a77906bc09
MANIFEST gmm/Manifest 898 BLAKE2B 93536083eba1ce04bc7be18c87b972db996cabf3bcfe0d62d8a5428e0e947a32811a83b7b246fb51fc5d2fa217c8fd72c039fb330c624022dfcb48fa7ef97a14 SHA512 39a26448617a256204b9a30ee472a16a7cc309382c6e2896a4ae82b5795bdaf603c30b1a1b53c657b6accff80912319e37a1dda1af3874a7b736a9f5bbbc1321
MANIFEST gmp-ecm/Manifest 906 BLAKE2B 2bf1a4437e1f996ca4ac530804262adabc8f605413a83b3d000e184f6d10de28752cddfc17004d6c7a7444e6bf04de53bee7acf74cb4bc97b79ac489f285911a SHA512 28a4d82d135aad0ac06f1bb91216761804a01d2c9f8d05b51288181a1216fb96e34f176fb5448592d16424867d43c32010635498dd35a135006dbdf7e958b151
MANIFEST gp2c/Manifest 1509 BLAKE2B fc2f0ae3ef106d616421a8c83e07ec1213505a8a7e4d41f01163ff07261fa8324a84379f57116c9099446276af3611c1002f4ee427503a0b5851c5fec9a87b5e SHA512 ef266082889a068e6c70b88981ed8fb25da04110a6bd9e9ae0c0fa3f26c7ea948d497c21e59cde132ec3a8fc32ebb95ba12f5583f3dcbad5908ad703dd2267cd
MANIFEST gretl/Manifest 1515 BLAKE2B b88ab9326bca39489edc7f47e2c7f54e26fe5602137517e4173e652dc13b355bedc013a166de080cf14cf2c425f178192d80b22c32208e56f369f9d42905ec07 SHA512 f6a8203b160636847f0e100f4a83f360c984de26c1f8833d91cc592c6b07289e282ee5dbe13116c3e24fc20e09861d9c1e8197a7a87ff3b62e44cff5b8db487f
MANIFEST gsl-shell/Manifest 1227 BLAKE2B 342f7c278ea0352c414f376c607f8397fc622089b6d8b21d9dce11a74403f8ba4b59f83df6b538b922c53adf7e474d49f80e8d22f3d4b1b97a77d2becb7b3a96 SHA512 bb8d38bdaf78df409596146184d8faec76a937c4d0223e337e947ff1886ada5484d4d706476e5a7a45e5e085a160d8048bf5dab8f451fae1788102ef06e3c34d
MANIFEST highs/Manifest 3440 BLAKE2B bc6e2237ec314ae7ebb2fd35ceae71d2f8fac03629f1b59b5991769b36434b6c6d328bb9fc207816b2b575bf46af414597e0658c56723529d9454831c4ba6964 SHA512 43809090d75e1f242d9177ccdf1f2ce257f0bb2de2a0e85d42c753871915ab4995755cdc34d4e40debd296022e8ba99b574ca2e24bf2601bccdead2868bcd9ae
MANIFEST jags/Manifest 1213 BLAKE2B 47faeb32a6b709882383c55086529fb178024046d2f03ac6ba3ec34a798a02dc2c554fb212a27102c5e7044639e80ac7895ba401fede0c2c8e09efdd502d1795 SHA512 3baedbd87148fc11b5a0e344c936e1d186ec2dac30c44d0a6484782d142357c5a46b347b7470b290c071ec5d9edf95fc237248d3f11e4a63076b2d109ac33edf
MANIFEST kind2/Manifest 904 BLAKE2B 81e0afaa050c02919ad59edce97f7cd574de013823a6202c7318274c4077817bd931870bf1ce4d286ab9b73609b1bc73d46a29ffc0d400b443abf76a1fbd4c0d SHA512 a92bdf4efa6e4671c6cddd0238fee423dac2be4c5a474f88090b5bb7dd721dbb9500b1d6d46aed8740058c6413448b3f059abdf4320109f45571bbcac302aadd
MANIFEST kissat/Manifest 1519 BLAKE2B 33c2de39798ca7129ab74513bb7090e3b926c7370e7168a9739462fc775c055b00d0c4c1f6d3c09deb218cfe966a7c8e1d540cb161428d1566f38de7d7b6c945 SHA512 b1ea88d80c8ad3946ca857a3c271e0581ee5be1b8193efb09950ef26c4204733012659f61ed094eb5b832a1427f6c021bb868bccb855b9ace0fa6c258c2ad305
MANIFEST lcalc/Manifest 904 BLAKE2B b011c3a9b9a4bc6d663e128c22fa1c545cea8d3ea9140222624a94c8f996033d5754d49d67752030f85820c5495ad100636f657c231461e5613778d2cf1b035c SHA512 00aceb63bf763c62e58a54cb17b3675c308fb904d081d1bbb0628306ae776af8712939d0f25c8ab39775a5420bca8011474bf58cf0cb7e7f5864c1fbff74393c
MANIFEST lean/Manifest 905 BLAKE2B 14cf1b4a13cb431d6d16844bc0d11785c96c3e20c731a281697aa455a84acd131beee22cd555eb3b8b6d072837c216b6a51da2dd3007304d5b14db913ed7f4ac SHA512 6034f875e937401379ce0218c370552bb3afbb4d982b0e940b7ed54cf8932fad51ac26e3c3ffddd945513b1d736bc849c11a7d0655af72a8874dc47ff24896eb
MANIFEST libpoly/Manifest 909 BLAKE2B 0672a74d13185ddfb917a36755a0c7c195173b24010f23571a0eede52873f3d443bdfe582be87029e877f846dce101f11d7fb123c632bbc2a8aeb96306ef9b7f SHA512 8adca7ab38b6edea080493522103aa1e5076c97e4c2f2c27df67e65fd02df8dcb09976c1df758426b891694947dd199581204b977066101619724c8de1147625
MANIFEST lpsolve/Manifest 2465 BLAKE2B 6d1605c63ea42aab16d1b654756dd4e70329f70980c49c23a229e3d847227259ef42b659229c0ce6c81d40b5996087687c585ef937c898108c98af4bf0af52ae SHA512 401190fd9355ada7a5d8bb54304f77dba083ff5938a14c82cd4dd293fdc7f05cdb47f969a88481fb7ea2cfdca779364967be637ec560b30213746cf141993aa5
MANIFEST lrcalc/Manifest 1813 BLAKE2B a395f9931c67761c35fb6ea955d1bff44b5ec47f8aeace484f0848511c31ac0bc1612cd21c605e2c3a2b38039c749a02c0e7b1a4f5410afc96ce5765a0c196c2 SHA512 235fb9ca57da93231ad694ded592ccd33dee6738f19867548dd0cb97025b2982d668c79f0120588be0fb82341399f36271d0cd5b0a7b9622fe51749acd798ec7
MANIFEST manifold/Manifest 1836 BLAKE2B d02506c57473bd2caf274d32159ca488f1fc6e19914106c092868ce1f01de2747d5a80cb05f99f19896e57f1e8975367ea6ca58181aede39a81410f6cd24d994 SHA512 45073a86548feea48a7949fe7b085180d00b1865d48a6fa62e3ed321bd8200417f8a2d38667d20a7edbf863e2c95107ab4b1943b402f18c4198a4dfd5d314890
MANIFEST mathematica/Manifest 8497 BLAKE2B cc00d569002e727f51089ac988b0a0ff7907556dd6a446b69de5d33d085e4deede7166542d237e8fde7c8817a9ca60635a624dc4fe37384ab96ed38ce6becfb3 SHA512 b93b6656aebf9f0afa89c50f0712ee438e5cf0ea397c55eea3a5239cdd0740442abf3e94ede4e82e0abba891a8b896ee73fdcac04aed576104cacc3e917654b2
MANIFEST mathmod/Manifest 1536 BLAKE2B c49fc11bdaedba300e61210f15314c079c5a690281b2207c93590583af94dbbb84c824912839d33d895d6be31bc34a33a1798003deec1a6044e8433ce94836ed SHA512 e450c1f64588753d0dad76b31738405284bbe337fd233895646c4809c4334f6dff864c9fb1e292a02c4eea597dd5c25b572a519a881687aa0c735eec1ab5d57a
MANIFEST mathomatic/Manifest 918 BLAKE2B c4d4334415cef44908e3b1cc282ef6b0f43fd87e9509afeaef23b490e0000a0ff834cc7159612759ea4e63410c6b38cff5969707be812228556a0639bd7e4e4e SHA512 38c43118bc6b0a418cac1b50262e4a4219dc625c0d6129c5101572e799ddde33fa404efe70f9ce1aefce680331de0055dbcb5a18ffe8f32aef28561962d002d4
MANIFEST maxima/Manifest 5707 BLAKE2B 95db15e640f5ca2f7a5be1f55df426276f3be041b1dc1249eff74958816f5695e8ca03ca42651d760eb6857164d2bd28f059e3532c82509283ff4404f0563791 SHA512 79d63565c39f9a4dc76fef49f5fbd4f2a7bc7c133481add5963224093ba62e6870b6ce79f2447b2f8ddd62cef1979bc210d95c0c94a47094e7f68b72116ba0c1
MANIFEST metamath-databases/Manifest 936 BLAKE2B 15841beb4c76538d29cbe42318044b677c5e0dec13eb534b6bf6013a49c4c73785996cfc5afad7130b9efee7490b206140f69c2a5d83122dc4ff0e3f650d324e SHA512 064efe2bc04c19f8b2642d8d0eccb9e85985b3a60dd82134b24208cb7ebfc397e4915c296228bb2e37294007d4ff78cb0abe3e6e30a8b5eecddd0a36a0fa1c7b
MANIFEST metamath/Manifest 1237 BLAKE2B d51150fae996f755abfe1db5d13628dd70694074e5749b60e38f0bbad89ac0aafeb44aed4f7696fe84c4d5d0e0f8d023a53d99f27f7fe92a0043a50c6ee16982 SHA512 ba7455b571a64c8863fedbf178c3d0f997c10ffe96da177cb7556dad2c102925f642dff0720c05f83c434124de9a15af39aa0ba9e438d5a7fafbebc27460cec2
MANIFEST minisat/Manifest 2136 BLAKE2B 214f730fc176d4d946eb3a908399a2b4451505425761b1d3a574c6e77309b5ada2208e4cccc4a1f3e852f11ac7d0518588eced9523f6c1f69e747318de716633 SHA512 e3ada7d65da064c793e94a2069cc2d6cc46cff360e2cf5ae3b0d453dcec843c8c5b38773bca577cb16382e04f834b425bd9d2b674922c8d2b2cbbba7f3be5211
MANIFEST msieve/Manifest 2454 BLAKE2B 99238a1ae06914b87000cc2d24ce40467c54699037bcd98d4bd852d891d328f997d18ca5dc5dc0e050932671679a4ad54f321e04b1d100476b3139bb04db5055 SHA512 2b41def187c39c6e4e9f33f900f99e924fa3ea3025a5b6f71ee81e6208b1a7ebecdee985b216df5e2d0dc945e722395edffffcb8782a6ed0dd281e584509e171
MANIFEST nauty/Manifest 1839 BLAKE2B 987bceecf97394cb369e52b85eeba68d92df51d66c33b3290860d29ec7840b823315dc0ca30fdaa61adb737aac5b7001bb902c4b542c34d7dfe659a4a98ee310 SHA512 63729a1eb26afefa24179df3ac9d86d0870d215868409c6ea3875bd14537681fe3632e39a09c0d12fe261e4cb0cc5b7c318f1dbf2a54ddf54c2e076130180ef2
MANIFEST nestedsums/Manifest 915 BLAKE2B ac2979fb9dcfb011ecea235a86ebec8b6e6ffda2e634e61cc9ce623b323e27c84bde5443c7af054c80ae1c7b996f1604fe3d8b2f8d3d9aa2017a3dd950472537 SHA512 808aeed8df9529a61cd5b97571e7d11374a9af83d8706cd78cef67f586749226498a6b246260e964ed094a2e2e8306cf14586ab483d5f74450a9467f0c1f0108
MANIFEST normaliz/Manifest 2761 BLAKE2B 87a5d4772ba17180628707a834f2585fddf87ce84319f6be34a2778e75360c3b696ea64edecb5c74cbbfaaaa2964fc53251051b2fc4b26429db8f451db1075e5 SHA512 5aa6dd5da6926c5d58061481197598e53839653624e5ce74d80204d66c9e25f67375a5816be103227b9690f7477956bd52799bbe8cfb0286910137ae736e8b9c
MANIFEST num-utils/Manifest 1538 BLAKE2B 8a87d5884de9a73636cc9283bfced566b0c59526bcca59b8462fbed364e8a9aa84c25a4c7f4f3664c1996c49438e19c536c947c6e55499c25bb64a715967fc5a SHA512 8be8c9f43c1fc7b7cdeec7d74e3503ea951f677898e00b27db96404a49f4dd7491a94ac2313686d5d160c622a88faf121e1ee654ecae09ca2ff0877a1f32676f
MANIFEST octave-epstk/Manifest 1236 BLAKE2B b4b65633b20d43425981218c34b73d6b28ae998c9575c4528da14dce5cdf89f06b8f70d72035a9235869c4c5ab06206e61d623721c755a294902958e808ce4b1 SHA512 a84c258432b82495f487a677581e5ac28a11f5ee6f77cc869a819d96c909893bdc239ed566969c56209f626c1d583325f1df7a71732dce8522727ab12eae64ce
MANIFEST octave/Manifest 2177 BLAKE2B 5c64cb76c856d5a51d33f2a563f382d4285b8797387834b5faa10de28336e725d0dd6fd70d1172e71bbb929ed5b158d2ce247e0160b0bbc1ccb1a5a1f3edc375 SHA512 740841e67e51a9b590f8c68833ef7c88f80cd6fd0f6f0141c927aec7ba224231bd2029df2a64052aa03b10b2bda3922120e5c8de0b93dd1bb408f0acb31b32ef
MANIFEST opensmt/Manifest 1842 BLAKE2B f4a328b2da72e22b44e328df2a89d1fcc778f139ab2b8f30e54af09a5f81008bc8fd57d52f50f1f27550c4c0b0e474920d14b0df7a959e1d411c045b2487d817 SHA512 28feaabe2e89b4127a796ee199ec87e598a2c39b7cf25ddbae26b76325b0df6126617cbbe4bf4aa9c8f5c2d32b71eb78862543cda20362aadad8325aacb41b5b
MANIFEST otter/Manifest 1813 BLAKE2B 7ca0ff2c116865225b242ad8c1159a11f0e18a7f1db3d31943dc8c80601b989c22c2eb302d9870f883d81485304da8a26b6b2b50b34260798b01ea6c8470cda6 SHA512 535193bdddd0ac2304cb15f8704ca9b2561a51c4c5d7d24b939f7407cec3089d2d2472343cd5104ae6a7235d1813ffadb727f59c3433ebce5bb43dd810386c7b
MANIFEST palp/Manifest 1205 BLAKE2B 2530ecdbc71a95c7b5ff0493e1f0d0cfa70ea5a6b5dea71f20d42fa34b92eb5edbd56d42dc3be0ebe9100485393d31012d5b4cb39c7b04c3b1ef7d5b4fb925c7 SHA512 d06b5f2ca583b3507fa6bb5ce2bcf06e6d1f5c5af137b8d98546cd8787a48d040c121abc4629cb8ecb67f8fba7f70ff945baebf9d4f97fe13b88e059a76abee6
MANIFEST pari-data/Manifest 2141 BLAKE2B 23a16e7fa03925577a9c21c4e1e7d66a49249faedbf6eb7797fa84aa9711b9d7e74de1c1c905b517656b069ab7157b83aadf228be041e0da2b56f64db6e7c5d1 SHA512 38e571c1599ea7364484db0b1658b0727ce8be6ec2984c16703233bd6ef8a901430a8da2abaf4cb824d0d5e71017207802a24feac886f26c45df23acbfb97c56
MANIFEST pari/Manifest 2443 BLAKE2B 6e53682f8a45fb037659c776f0b33d0dd041a4f8dfac5941b1c383ae513210cb871da3fe37b020ecf6f5cf82727f522e7ff978fa8a40e7d1f48fe947cae475ba SHA512 e510227b5a00715fc34c7e25efae0ac62b3f17c01d4259abbd8dc053131f9beda7e405bfa0a3f7e58c3e117d588b5504277a3aab0720c6702a7b6b73d33c6436
MANIFEST petsc/Manifest 3992 BLAKE2B 6f939fca96cb2598e7cfabb9c6867233e92ea3a4730e9fccb039624c4382c4d22a30c8da97b4d23311f683297c0f9620f815a44e8f1c056e45953fdc16a4b1fc SHA512 3bbdc48c5700136cbbf616633d4892a77ffc0b1526d25798c647670cb60a1759b18a49b9f0cd6d12fcabfb675dfce20aa612484c6a5c6250b45ff4c6a89bbd52
MANIFEST picosat/Manifest 1212 BLAKE2B 9219302eaa62c273de1f318626e7217f5794040e4b338aefb64fa8bba4286ce9b4af55899d4ec328f65d4490981da31b927333fde62dd0491169da388a74906c SHA512 2c80016a31409fd95e5bb074cf6a28a06490ffc3cc35ef6c4977e04d56aa99a0d330487bdfbb8d31794a67135ce6d161c040140dab7d46097fdd8d7c65f01a15
MANIFEST planarity/Manifest 1539 BLAKE2B 57368f2164b4fa47e8aaf7c80a06d4498eaae26b2ea24516c5606a12e866948ca56972f024733344863942ee838aeff4f81e7aea2aeb0d10f242343bb0f77703 SHA512 071d01c772970bfb388e4ee361b57e8cc760d2e4a146ada0e28589d6ea215b1bd6f4fd085e318dbb5ca710ad5b44f23d2c8d9a364718d3a7888df4d7539f4302
MANIFEST plfit/Manifest 902 BLAKE2B ea4c07fb9d4aeff319d9ad4913e087630862afe5f1de117b3915c30ac4142df64f5b6bdb0cabb3e41cc2fa31630b19f2a93dc0b3976f786ab9c4097dd3c7e32a SHA512 89172fd8d1e2bac9ffd2802ed44d7bbdb48f215d887e7affacc0a0df2a0fdc6b6308f1d08306ad4d1637324f13a5029e9e3a9b4bc48c1b49988dd9bd9d62e163
MANIFEST polymake/Manifest 2471 BLAKE2B eba4b23204a609d2e57ac2eb126a6c44df2d5e3845d35bb45e72ed0eeb8683afb41d1360bf3a497e12dbe09584f3bf215fbb3bc5bba276a56452f807acaabb4b SHA512 f66ba0fbc79b0824d79fb0de0c7a4ed02615ca1d22c7b526a9d29d628e4bdbefdc09ffa8969b4080b7a8b5c1acda9528dcfc4aab5d663b4a25bb87977d6bbd84
MANIFEST primecount/Manifest 910 BLAKE2B aa7641d0f27256e63801a82b02269cca4aa9ab1cc90cd3d752909b882b1236211f92169ae4464e226e6672f5757e75b5d226bfb30c29823444aebaecf5c44626 SHA512 327c8539dc26c9624f2eb65d3720aef5810d1e4418a4e9db4c3c246663f83a8457b6d40d3c63fed0a1c21afd799caeb58eb4e93beab6a1269a8a3574b6c1a5bc
MANIFEST primesieve/Manifest 911 BLAKE2B 7799b7268b2238e894474e41ff7d01b546a8f83ab8db0ffaf04167106de32aa1c23744de62e84a29e26e2c69b929abf29a75122a087d209d0d83699b9f568be5 SHA512 ba80c3c4df92d8148bb209d890429d2f29f2671f42062123dfd1be4a827e506300169df975c0a1078a09cc142552fe4f85a234ea746b6bd4d70f352aedccc439
MANIFEST prng/Manifest 1538 BLAKE2B f00e2b74ec22eec97982825749b34427aa366603b0a10e7479678840b4ec3f6cefbbc230de7063ab1f99ac3840c49b2bea07e804d68a25509faac9759f090ddf SHA512 e50d07519ace15f69f98eb270dddbdab1d09953bf635f2b389d1a51927405c6a5798b834ddee925ac93cc951be68609b9b5f687ac7f071c97eb18dae15cab574
MANIFEST prover9/Manifest 2164 BLAKE2B 55dd329f44bc3660fabf983bac0c0c08ef00d8426ae5533f201970b6e7155e1b2565162f30223efb96c7b0952fdeebc4e9680dba448ebc434b3eb372796d0e77 SHA512 4e3acfc6a8178af706ce65b3025de2bdddeedded2ed2a298ee54d275ba6fa7ea1e1ccc42175d5fc93557ccdac68570ab100de52326541fc6eb39a7c8508d00a3
MANIFEST proverif/Manifest 2134 BLAKE2B 7d34e0953b6e63e9dd76c3135488dc46c81a07cc459c0ddd0296f5e7bb16cc52e8cae7345431a35eec28f80a5eaa6b0305dbf0cb0cf9da00628e98df7d4611f7 SHA512 c0c3b21d4e7b225ad5f97941c6463417120404e5efe4d80fad49c85be7d89240f28540f2a05851b286a2f5be5ba2ce621c6007e2632e697e0aac9571d12ea5ca
MANIFEST psmt2-frontend/Manifest 919 BLAKE2B 26dc54e4ef955dd20f0b6fd3532102c1e8007a52c1a7567e5166ed54d62793f0c1cf7177fc65e6832c1b5227d13f73b2287dbadba3fa18ed661960255bb38542 SHA512 b9eb93caa4d9bb3388397e862bb9993824dce33544479344e5c9a8b58c9fd945694677c8eb610176718b6d7711813d57e59d7161103912f9e96faedacd0d2343
MANIFEST pspp/Manifest 1827 BLAKE2B a1bcfd3477fd9db9d14ee617bc38a3609646f995d8bdc4254ed3fcb95ed680308d69a729d2fc1f36d8a8cfc6831f20c13a336497c48f654a1a95b17a5c4c106c SHA512 29cb12c73a1900eb400de987a8222404ec946264f025018f2fd702eca9ab9e45b02d302462d72e435b4c2bba0c2dd8fe5557485eaab5d9dfb4f9cbd2f8536440
MANIFEST rkward/Manifest 906 BLAKE2B 857808870faf5a03238522f3708872245f16c4e24447354dca69b3401fb65997809e1dd715f80c25c580d3dca143adb282ed2b994a352935ceb6be7bc810e331 SHA512 277dc4472d3c79044476919d42bb129c2bd76ff68f89ac214acc552f93a7093f87d7c2bd9bf763d0638a6ff35169499d2835a97c9f08f18c966bbcc3c9ec5f7e
MANIFEST rngstreams/Manifest 912 BLAKE2B 81729e0cd916c336907b0d38e438d650f71346da9265580db0a0d093fb356d302a0310b915bfcce55124edb7cb37f5ce6a7e339127fb5f00e851fa85018d2629 SHA512 caf9da6003233dc6f3ff2c9f96c509beec7d0ebe1dadf4b5c4300b7fd71958a10971c9ccd2d063d53d19b490371239e7ba189c193727f1a0f9686acffbbe1730
MANIFEST rw/Manifest 893 BLAKE2B 606d10fefc7f63c3d3cd987d80f3734d163fe46e2b53c8615494227c3f298c0296bdeb92b8ec709f5850ea323c496296797da5aa44407a0e5bec2131d54c2fb3 SHA512 1b2bcb79a9be17d8c0cbfe5f5b76716ec8cf9f14301fe97b7d001f0005395093ea9f50ea1f08ed9b908167b99529ea1c365f33650dc2a75f46d07a4d08ac5894
MANIFEST sha1-polyml/Manifest 913 BLAKE2B ca364af9bafe9350790753740a90a876910d9f7b66c5bea3500270e63c819d27cd2ae416d31ecf22d01cd4a657dac26e1bda52861b3808047f22836a77ff5f4a SHA512 164ab80cb145e126771e90f07532803df86bed0b7b585be5be1ca7a7d2b6b42f732e35e26d2167e7a1f8fef2b581e4cef090ad299a6824a6cfc3ad91f31b97b0
MANIFEST singular/Manifest 1529 BLAKE2B 3cc8c7ea89c9d85af8c510565e0dd2abf674a0da539ccf1fb8e526774910d89f72f63770af87a98fa73d155368b9da3e48221d8d69cf77d748c360cc5442394d SHA512 da6f3b5f0c65b1168837856a947730c97edbf7c66f07fe810d5207e825ef639409388839cf8d7e0892e376b86d0dccef0f595a10a4ee431f136f6077c1d777eb
MANIFEST slepc/Manifest 4005 BLAKE2B 526ff9dada5a559b8681208caced3eacfa3965a5e0b250ec869e264593a0bc877e9ec515acf6f2ac2191051973869fb18b6b649351831e49c6e998b52319ecc6 SHA512 b5518c883090def1b26e16e0a3b88aa47996c568679f707df439b1ea5b19734a04cabc66283ed9219d0b7944ce811e2f71a2cc92554b233d64eee6e81ceff2d9
MANIFEST smtinterpol/Manifest 1577 BLAKE2B beea1c4dc62f69f672dde81ff8b5790d795ebae1b129df9c397bd52aa332a8af7ccaaa742af2ffc633e9eab5301a8c3d1ea282362d74263c56b53a967a3a8bdf SHA512 69bb870e7072ac9419eeb32836f7456313b15d993af0cce427819f892531c1c045a8b065faa6fac301afca2fb4c945cd27202d648bdb11e7d507645baaf159c1
MANIFEST spin/Manifest 1525 BLAKE2B 20bfb5eb708d17a6d95d6f8c4cad385546d875517492094498c7af63ea4ce64f69fcc9fa1426931f6ed0cadacb42fc1bdc25bd1c6f6ce7d028fef50e3bb836e1 SHA512 abbda5c2669fb52ff31122999125d53a294cfc58fcee51b4927a09616a3534942bf423718f402061f42342a63f367530f1777974a3e850939a0cf10a8e074058
MANIFEST stp/Manifest 2152 BLAKE2B e955303397d587c589b1a82cf18978518c987f502dd1886698239a0ce3abbade75e4b0107df288adb75833b3f50873c1407f258294b5a8f477f3a982efdec0fe SHA512 469660fb7588051ef7c4146f8a9794328b82e52da884fc8bca39d989bbe8b3a00267ae9c01f474bdf9684bd2bdc92b4a5a564ed266aa80536459123308874e1f
MANIFEST sympow/Manifest 2192 BLAKE2B 7306e365226bff3fc22e86c39a0fc5f1c4399628ce44233c6cf197a24c41a2fb699cceceda1de0bb80a1b38e4e460be325c47c72e8839c46d43ab3a4245661fd SHA512 bfa3dad88230baa9dea65bd1ea6c2e8c8613a851b7cde71b8dbaf63b90fc56f9e14f11d034875e4c98603f61412c0e05a9056109c7d10064023d7a3655564eb7
MANIFEST topcom/Manifest 2749 BLAKE2B 474c5a6e11e947d0b3a77bf04937080076baccd6b6a6aeccc175deadcb368f4773b6c46e0f02fa367755171f9a2fd121ac03cf18dd668be2d6cde7adb1ca5521 SHA512 e842a8f6511d194c65cd54ac28a704b8e5c991477015749e49154c7050a619cb3150d1e21cffaeed59080fee52a9b0364f3ffc380d874b5acd6f510a7629253f
MANIFEST twelf/Manifest 4731 BLAKE2B 56cc527d9d856e2552d9b8e4eee91939b7b8b8daba2d193a02c2680cb33077e1d622876f167f689f3303705efde483f3be5a00704dd9ae5e6b5544ea31a5628e SHA512 6256f39f0a5196bd12aaf0ec6b610b026c4b94a890b82883aa2a80af4595c52e651326d61343e195a3992ed344615fb57fcc8dc9ca177be330e21fcefc68f199
MANIFEST unuran/Manifest 1835 BLAKE2B d48be3acef8b14ec5132c50468729be546253f302ec6aba2f604f520b48f0e9b690ce798a8816510658ee201fc3c6dbf9fce01434e4550ba25fa662d1ad7811d SHA512 4697f9e1971745a6658b365b5a3123417395e3edc495135b0d22dcc68c92158740701ad2c1a46a5d8db609adecb604a35c5fea4ab6c6aade516562e64270308b
MANIFEST vampire/Manifest 909 BLAKE2B d43a9568c2592a484bfca673acd7d6c368a1b8691b85ebb6d005db061d66569cd636eb08ffc24b1f98940453f4a7b23ba666d6fb4571f76bc553fe219efc1629 SHA512 36684fcf2ba763b83bc8fa334325b70dc8cbff6819407da548a9d1b42cdf49fa2be5b1eddade9e97bdec2dbbf425a6d8ec6395df62d41def32c371927c41c313
MANIFEST verifpal/Manifest 1551 BLAKE2B 150bd2dc25c58817d560ff3595541a79db71e0a8fc0c437eecc215fc4f03b0e7dc1a66553e391cbbfce63bd64837de5444faa2c015296b20ee14ab436d706f8f SHA512 0c32327abc561543039045a0f65b560b31f8a44e3367b584b1b8238b2ea83b1ddb7ee7b52eaa6117f67fe849ca7e8774cc754fbc8715587dd2173fc653f597b9
MANIFEST verit/Manifest 914 BLAKE2B 7e347fb2db5fc7c8a57ff972387ef4e3587ae58de5cd777d29a954346313f495deac6f35c53ad00d85907c0a64cbbdc8da46684d68f4842c0970eda4bf11726e SHA512 3de1bc4dda3c236fbcc77ebca21b9579d17e95c7e2739a5afd94a7b750bbdf6eec9626577157d77a48f78a877fba95b977834ec0f65fd92850e885d729bbb240
MANIFEST why3-for-spark/Manifest 3153 BLAKE2B cf750b755973ae85ef5b97d97b0aae85c8edc17e434e06d70470184f82cbd2784500aa65ec6bccd4f24791aa3cbbe8cf3b1236397220618024a973eea930afa1 SHA512 07571d591782910db7760f3c106261e7b883b210e7734a88728a5c9c40a82c8f8ee693de3b85cd49e70bff879ca35d422f951e5950b1014465a912161b6a4fcf
MANIFEST why3/Manifest 3636 BLAKE2B 9f37b29c8000b919397c01c221cd59d106f48fd7dc366fde7419543f97ca2a956ad1de82a1153d357fd9bc1548ca24654580df44ea7fb7295e089cfdfab03067 SHA512 0619979ae38939573e1987ba140305e93644c1ef1597424431f1ff3dd281212545f2fd68502ba5d74d1a2e0f3b1ee5883d16fd90a35ed9544db47f6f55d82bee
MANIFEST wxmaxima/Manifest 3683 BLAKE2B 8e1c98bdc9741a17bb284f51812eb139298d6217ca68980f7be7f432ff15a2bad1ef8bc8b64035d55281c0e27787efb92945ab3e60f2670e81dd0f8c0f09dec2 SHA512 e9efdcabd795d84f90c8081a6fb4986436dfa66f11be4d3bad6c4d3a8cfe4e0a5a436c1f50927cf4877e2f130136d5a91bfc9c1127909fcac58de056b41eca91
MANIFEST yacas/Manifest 1532 BLAKE2B 79eca4d04b847d5225a8aeded39cbf5267f46ea31b2379f9d31b39bf0fe9faaf1e9db04eeb3285d836dd266bfdb7ef302665baa4051ad72c20b5da8c66f2f27c SHA512 cb03678415fa5ee26b4b2bbe949ff7ada0f8c54e4bd4f2e0ab3dc84181a35d802c96a9a08d3e5a76a81e418f99cc014ad4938cdd1077aefb67d8d7cc8e60635f
MANIFEST yafu/Manifest 1526 BLAKE2B 0b1e941579791a6b8b526ea475474e44fc516bac882b7603a5eda2e0cd87189c243c99d3c755f64e9aa81d51f412875df3821226805c5262f2d84351bad4f4f4 SHA512 7be3d058784c366a9ad2cbd676dfe46b5fa439b22584ab83cf864fb052fca1a8d0435de0872c861a15bbd102b91828fb83dbe4c91acfc403acee664fa8aa9fcf
MANIFEST yices2/Manifest 1526 BLAKE2B f6ebdf0f956371a94a811b293881ab0159ab33f2cf6803750ad2f8713de0b7c7e2e27cbe825f7feb2c8241151ca06aa94785993e9d08e1f88aadb425c8a1f3e0 SHA512 dae8bcfb32c53f923368a89758a7224546236d0f657fff6ab044ea6b9563d8a4ed9757d2bc4397b834d8f3408827a4ff262c966a7e7df43f41057a9cb134f643
MANIFEST z3/Manifest 1504 BLAKE2B a1a12038f970be1f518d866b6ba28484b5a76297fe0cb99123c8b00fbd0ea86e76e7647ec247ac07f41cac13ab79790386ea8ece6a596cfaf2e47b26786ec300 SHA512 74a8dbf5a1e906dacc77f7cb0e05b580f43ce1b0db8c5146886749ed3850ac8086ed183672920cbc5f982c1c9d91ce88c1a6ddb6b5370c4a431f213c091d4ffe