Fix manifests regression

15 files changed, 50 insertions, 0 deletions

diff --git a/dev-libs/simclist/Manifest b/dev-libs/simclist/Manifest
index 2ff328fc9..63808e208 100644
--- a/dev-libs/simclist/Manifest
+++ b/dev-libs/simclist/Manifest
@@ -1 +1,4 @@
 DIST simclist-1.6.tar.bz2 44280 SHA256 63b47211215466ddfba1643582cb3aaa7b5e9ca1cc5f247290e3199c4e29f147 SHA512 b221b583993470c35d42dbc145af8bce2992c0e717e15f201ed1fe0a1aa3f0d676bb3258930987d85e3080eb27d9c89c4b08f27bd4e56031fd02fbab32e52615 WHIRLPOOL 9b31847ef2cba06f6364dd2ecc486f1dd02727ee7128d88cf3b7a3fe25f10df9a5c31ea2a386e2fa967a2b0c484ea55909c4d73bae390fcc972abce78d46ecdb
+EBUILD simclist-1.6.ebuild 814 SHA256 4138b25957e1c082c78839caa703d9041fdae98d256c450dab37353931f61ca9 SHA512 a219aaf743fdeda279c4c44e3eab66506aa292e0aa49f9a20ab022d3a062c54bd375dc27bd25f316b6970a0bb1df1b6fd51503a4d46e2f49270c47bd5540f701 WHIRLPOOL 9ef4b8e2b55e8016b1ac0bdf976ad4d22f88ccb6079123a68a8037d4dc30b2338e832e11116eba6ee9837b3c548e68e0643c48abcbf44380a82867b21c6be12a
+MISC ChangeLog 599 SHA256 aa1ef92eac7b1c44e251691bddbca45fbe6d938b332e268a1389d7866dff4463 SHA512 452658e17bb276b9c80c9ef051111248529daeaf0be9bd7a5712acb4c89d1046f4f72b5d9a9beedea10f18887eec6f9de2e30684778741f7c25cf47e8274b85d WHIRLPOOL c3265ac6af1e707555a5898e8592808bd006dfd5a9068a05de26bb6893473b38fb0998808890a77de7890fbeae66b256185cd9b6f0f80175d565cfbea6c5d9a1
+MISC metadata.xml 471 SHA256 156118d32317b16f8ed73d0e84d223dbae6a0180949e4d2f0dd236163be63c66 SHA512 626bf6edb2cf372549d3e54aee71b02c4d9dda164bf84a957aadde3a7386307f44f418831fa313d67fd4046aceffacf73f103317dcc688efc3cbd4fa537bb4cb WHIRLPOOL 89217acdcf992dd31b05055491cc3913b3b460d9d46cf4079f1f630648c8207c28abc64fdf653059844c74c3f0ffdccb6fd4ff0a33eeceea4df75b7d5b54109e
diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest
index 382ae5931..0e493163f 100644
--- a/dev-ml/mlgmpidl/Manifest
+++ b/dev-ml/mlgmpidl/Manifest
@@ -1 +1,5 @@
+AUX mlgmpidl-1.1-mpfr-3_compat.patch 496 SHA256 d888a1ad0930895ef2ec83bef6eef5a39ed18a38aa3a637f33b61b9a20d19e2b SHA512 b4979e4dbf1cc5aa1fba5ffb08557c6c32d16e4d2c3ae1fc14d999e52231efb344524e1dc2d6612021a0b4dba4b5f6d1394316abff4698f58d5decc3ff417cbf WHIRLPOOL a3f1c218c2de8413042f56f1de2a6257a895a44edd16daa0e301a20426da0c0275685e440d039d8db39b79853617c54b68002c4d5dd2b63a9d22a9341d987a7d
 DIST mlgmpidl-1.1.tgz 194002 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 SHA512 f7fe74e0e337c2ea33464c49bc1313a3c6a71fee89572d4c23dc26913d8fe1fb41907bfe327d085c39786b63267174be4445b31a5d29acf3e57974ac8b871d2e WHIRLPOOL f4b640f56d5654495c6dec46e8b395dbc86a95ff15a05eb47a07146c07fda956acdd05023ac59636f951ca77d84864b11c14755fe4bb49be3d5ebeb0216f5212
+EBUILD mlgmpidl-1.1.ebuild 1311 SHA256 a5e54bd8737e2c80d41a238967d0428e37db72f8c09adfbbcf56d5a9e1ccf07e SHA512 fec89e946a9f24d3f772c30190d30fae12a11802f53c35ed8c6796350211ea367731a3670fcfd5635558d678aa56820b4401a965c51387dd45c99c94302181ae WHIRLPOOL c94ab01e05a54d3da56111bd20c541d23c8a283018b736926e28504e2f516184afbe1b12769ca96c7e941add494ffea0dbb65ea9d461feaffb9dfd5a54b827ba
+MISC ChangeLog 394 SHA256 ec34f25ee458e0ce79b7209a31cfbb9e40975cc3e22e7b97fc9fc57372c9a549 SHA512 eafca747c958cb036ae7dfbd068d8be9c6db76342d42d458c886fc8dc1677d6b5d9bb758da7e138bc89c87816a58ddc50eabf115b5b9a41dfdca8ff3d5bd73eb WHIRLPOOL da7983220947c85972e778061bff3b0612a2de7a39a343a88ef204a6235050b32b8b3a791f485ba187b819f97adb88811c7437cc47096b5f723644ffabd3364b
+MISC metadata.xml 511 SHA256 78b63974bacd0a10445c1bae284a8e6f4c06b814588108f4f8ac0328526a5532 SHA512 7c80f39526b8c137d4bfe1cb3ee8077d9d5a2b5ea9e6b76209433ace60b1a4b9190b38a4442b1ba3e6622fa92320cf47e32c17ba0329ccfb98b86ddec13c0dd1 WHIRLPOOL 793a5fe5f3a639cef7addf469b7e8a91cbb4a21a67081182eb1ecdfdebdaecad719deb49f55d5463b9571e6a0c6c6983d72c8f9b92d35f52d131e54d2510cbfb
diff --git a/dev-ml/ocamlgraph/Manifest b/dev-ml/ocamlgraph/Manifest
index 1b98a288d..c92eb1492 100644
--- a/dev-ml/ocamlgraph/Manifest
+++ b/dev-ml/ocamlgraph/Manifest
@@ -1 +1,5 @@
+AUX ocamlgraph-makefile.patch 1564 SHA256 c36612f740033a3d158f5d2a458697b1a41dacf2d1964484c1fd0c0f39fd276b SHA512 a0251220741069e729ffebdf7d9f2b3f02119dec48c09321cc9cbc8b82286d4081ccd89dbe5c1fe634ea415aa5e48d162f522ce6509812847dba2909c7572adb WHIRLPOOL 56765554649d5e5d38016ad22183b7b0d46c3780beeffb7f79d46c30e33967a3fd5f8ed92335dd8b5dd727743d25d8975c52d839817e276d13f595b25b7d82f4
 DIST ocamlgraph-1.8.5.tar.gz 269438 SHA256 d167466435a155c779d5ec25b2db83ad851feb42ebc37dca8ffa345ddaefb82f SHA512 e3bf7f43f7b5167cbd23ea44a510d1a569d35771882ab7ae83bacc73822c5f4c944f62c95e0efa813b765e1e385a6b3ebff342cbf1c5589c73d022b8591a52dc WHIRLPOOL d25e124c2814e3196a441e706ca91a0429ab48669309c5dec2ae6697e48064ce54efc9d24440d9e52f3a1af8cfdd5c3ae04cd549fde4e9abc860a3506bd2de8d
+EBUILD ocamlgraph-1.8.5.ebuild 1086 SHA256 1870e4f8349f3fc9f7980e9ee2d99721cb45c8c592adbe8922c299d046d19b77 SHA512 d738fb6ec4aa71f43c107f52a1ba6a28e94699ffb2ebbbb12daac5e062c41213f2dc7e777079ea71ec347f54c1b91346367c2434119e235fb770f7f3d7e6bcff WHIRLPOOL c7d62860726a56d97ce62972caf9dc3f14bec4922ee586ed358aa34cc100878b39851e60991b32f513fc08c56c5bf02fe18d3ae20215992ec73ffe031e6595a3
+MISC ChangeLog 1387 SHA256 9060320c8db4044c211893d84654862189015081f1c5ccf8b46d3652aa1e4c1b SHA512 3d1324f8901970edd96846d1284a3c42c60572c7559cff07105acca29c52ef1277bddd6bf53d62a1d6e66daa633b1f0ca64b03f83b6225805ca8d7a0749bbf80 WHIRLPOOL 698c08349275aa77848d3dce9f296c434a920948fb762870888f6472c67a60245c9807d53396e7f1917369f40420904e936757ec080a6458a0bf103d4af0026a
+MISC metadata.xml 1333 SHA256 82d3c80dcba8ffb14abc03224090efebde80d91f4d76a4b39d876ee6f23a74dc SHA512 ea92efe856cb03778ab6985bd456b22ba588cb773e06cbc079d3566d93bf9c7260ed64a14cab4f69c6ad5e04d05807743b73cdefe08ec02a3822ff69f62de684 WHIRLPOOL d4b2b38fc0a63edfb690e22fdcbc0156cb32e34a2086f4b994d870acb3d763d511acb2d752c3dfb133e45acec3a682a2e8a6521fd54ad90341ecadd4f057ce18
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
index d7156cb11..abb9fd902 100644
--- a/dev-ml/zarith/Manifest
+++ b/dev-ml/zarith/Manifest
@@ -1 +1,4 @@
 DIST zarith-1.2.1.tgz 68654 SHA256 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144 SHA512 5c053e259469bf6a2d4aaa3e653da42d18015e815a0b922a4e317db091a54c560e7ed32f5cb1faae7df1e8a6d81ba3913d71e5b500ace1bd45d69e69858467a1 WHIRLPOOL e31770c23e7f77bff8f084eeb3e0a9cab7c1413f2da64926c403720df2351bb84598953ad1bae0436d9b3ba6e66c1543aee0dbd9151a3708d793abe5506f1e00
+EBUILD zarith-1.2.1.ebuild 1258 SHA256 34d07649a322771888cb26e0fbf64da4fdadb6bc0eae2b9d4d6bb702ec1f3e77 SHA512 f8a23a5aa3fff3148847076ab175dbb5c02cf0673eff6807e90b4a2e886ad2252812d224193a529a1e2388c928490d97dce5364b904b60a4b3b1c0575e122768 WHIRLPOOL e55a861fdf2085d16c7d1cb3a01d062a3bb0971e65a843aefeb8bf93c5026a2400463c2994c9e46ad80c0bb50ed4c48631c35eaa69abe9a1b2df40b3b8e19927
+MISC ChangeLog 985 SHA256 f7f5f77792f72bbfd65e6868b08989d0ca8cca602523528ff14381d0870823f8 SHA512 ebc2bbefdfab685ca3703d14262eaec90439426ec8c43a309c744dd420d86fb1bef93decdb15346211ab2b75bf639f45c75a3fd0328b79f5d06d9bda4129a8aa WHIRLPOOL 6cfbe33c6c803048b6a70dfe7c1154041fe34fcaeebf13f8fd4c984e94098cc262d45f7c97bc6b04c3c513b8ea4c0f3418a6c3dfb8e2b0f6a65333bd557e0faa
+MISC metadata.xml 465 SHA256 562d89dff0b27cf62e633567eda98e8f997a6b35fe931b83846f25d02813c012 SHA512 0a1e3a0f6a05a4ff9d5de7b3429228b662371e1ed77f0263beded417cae5989f3940b49bb70dab6a9854c37699cf603486772e89ac4269a7eacaa31a0ddd89de WHIRLPOOL 26b03abc839e37851f8b0d45297d2c876bb2ac51b4a88fef0d4ba3d1b7eb868094ed96e10300fa6c519edae7eedfa959d15cb42d0a17c5dd4d01d8758409ec25
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index ad6a8ca8d..701896cdd 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1 +1,4 @@
 DIST alt-ergo-0.95.2.tar.gz 233778 SHA256 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac SHA512 e4bb73719d67e44bac058ea53082879534c93d47fd931ec927e7f1e59330a60915ae73c662153207e6229ae914a5c0b8b16c04763f1ae3e251668a336a11d382 WHIRLPOOL aa5f8f0bf46eb93d4e8e4be4e6a30facd7b97d35fd110e4081a61826edb1def7dc5724db08c05f714c3bc1a70add9aaa961e9757492aa47f9c97ad48069f5ae9
+EBUILD alt-ergo-0.95.2.ebuild 1012 SHA256 b57c65ed39dea22cfbc7a11e79e527deaf29067dad1d86b87227410bf27df0ef SHA512 6adef844a524b65d0ff324723c061a673c8b4694a8e9065617c15bc9cd99b5b6c522c46e454cf9e0c748cd2ff12448099a673bd7438fcbf6b40baad92049f7b5 WHIRLPOOL b094a0ffd2d71d042fea27fb0dcc7e2c3717cbe3175eec19b6b230339b337b162447f95976e58287a4c5adf7858c23851420d3c75a84c65dbf197bb75ca1e3b0
+MISC ChangeLog 785 SHA256 6c12e4d80b693a8c12bcd227d6471e13faae750f1501f57b996c854e333eda6e SHA512 5b42c6f1096059ac0b90853a23db76bde604e38f585797ebca59d6d5aabbf52b4c02f2dde84aac653865412ca7ed253eb1ceac09216668dd66771adc90110fc4 WHIRLPOOL a332b688c1bd52b7227a3bdff7fbf26a9413155a4d01efaf179cb907551f73a498870aa012e315ea7ab15e3ff8478d6bced99f49972ff91a3f7926ac40dde5df
+MISC metadata.xml 582 SHA256 db7effaadc8fd027461f02a91172c592422036dd3036c5d38fdcd19fcc1a0541 SHA512 c2f991b77024fd768fa6ebf266807ac4f9cf9f40c88ce90ce13ab2a23e95efcfd672f63a72e8aea16ce4f3949f50cdc7256cc9d3dec876d5cb052f4b7f1bb078 WHIRLPOOL 1d6d9731ef358355955fdb8d32e40ca651bcaca9ad4d08b6c5bbe3f28264db122e902f3b06709adf99c63715efb9449df7dd3961bec190b73509ab468600722d
diff --git a/sci-mathematics/apron/Manifest b/sci-mathematics/apron/Manifest
index dae7d219a..5d213178a 100644
--- a/sci-mathematics/apron/Manifest
+++ b/sci-mathematics/apron/Manifest
@@ -1 +1,5 @@
 DIST apron-0.9.10.tgz 1694989 SHA256 b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e SHA512 9b84bf6b5d34ee34558e8224ecd09d48ff2013b7a301a8749512aaea8b8c99da394bb0550055b9bc37692187ca8956bf25e74535c1d41ac1907e161163bc6e8a WHIRLPOOL 5a3eef9ae6387a55f898fdb336a41ccb64a0ea628a8992c2adce28a7168de549c17816f9313f06561d29d512a9ce90ad3b39ddbd76559421a107d0088b4c8279
+EBUILD apron-0.9.10-r1.ebuild 1785 SHA256 6cec8d655fa3308d20d8337c8d5e406a2df1e49ef2ea26861d4e2489827c8f94 SHA512 ecf66c3499dd4b92322a3b629f986bcd904fce7e46606c4967391bb54421653dbb7026a2ec243ee61df519c993e2d432dbeff27502c0d8b74ec30d428f7ccf93 WHIRLPOOL 31a6ee67184f93635f398aef532dff27687cf326ead0386825a9b1209dad7a4a15c20882e6171091bc6c4ee159158624417dd3250969a8e2c1ccde5c7ef74162
+EBUILD apron-0.9.10.ebuild 2428 SHA256 4b50dc0e54d4ae2bfce9a35a4960de3f44feb3dc6c7194543d803a69a13d9e2b SHA512 41b923841f9ca0fe3a0df17ced3676c0f22f25d9321dd252317ade9898a212e7fe25da1916d469c5dda6d9c69fa41b4e69fd96abf421c8f9090b79406ae57523 WHIRLPOOL 023172d5d26d84b4602fe064e7ad25e010e8f0bdf598949135e211fafa77306c137f9ce4e01a18667943f12ece19626a9787adf1b6963f77f111c56fa4a3082a
+MISC ChangeLog 877 SHA256 15fc1ab32c5ef6c7a8fe25aece31d2ea2203cee540afd91d4a40deb0c1aab6a7 SHA512 ea0cc38a53f99bd9cc0517bfcc33d344d96466df4867601453ceeebd546a0a362d7311a2f9b519393816f61ececc05382bca1322e59252057d0196b11b4ff907 WHIRLPOOL c57b153cd0903ffc184a3cc795b40d7e69cb8dacc718807d502a58d99581aead199641afd5ea62a17ab73c2829efa50275f5f3eecc64205039e75cdc5f74257f
+MISC metadata.xml 714 SHA256 67154b483e95dda4f6619d2ccd595be8cdc8ff3d324812a61a9fd0d5e056b115 SHA512 2b0618a3bf55393e444810de75d8b75a19a7e49e98025eeba1defbe849accd13950c8506c8ca4606a41cf0620db5911e9b973a59631d339be2ffd02cdfb7f6be WHIRLPOOL d4d62f09569009ee9636c15c24d3718a05145359775d2972e71555c03f7336ffde927b0f4b9a944901cb8af4a3d5fe9a6c3b4b50d445e8d04d3e077f987bf7db
diff --git a/sci-mathematics/flocq/Manifest b/sci-mathematics/flocq/Manifest
index af87e1b3b..f20147dac 100644
--- a/sci-mathematics/flocq/Manifest
+++ b/sci-mathematics/flocq/Manifest
@@ -1 +1,4 @@
 DIST flocq-2.3.0.tar.gz 155465 SHA256 b2b2474df966975b7a00310031b122aa31489d96f06b2d5b62156acc687730dd SHA512 964b87f3df3ab76549dace5d8c16c7e7890dc70b64f54db3555023dcd6b32648b19030ad25ecb5b6e99bca5139f289a2ecfd3a1fe8bc1e1dfe7429f3d4f1ebc3 WHIRLPOOL c8b4c3e57e3753d245ae01a2fb93d3dcaef9cabbf21c1afa04568137555dc21d087a7faec6df3d3db2cb497a0985ed3344d7f748f32f9670f640b6cec28fdbc8
+EBUILD flocq-2.3.0.ebuild 813 SHA256 0bf7866cc4ec5b52ac72e344ba83471cf2fd05d8f0cdb05b8bfe9c51c8ba8a19 SHA512 9dba51972fb80b9b37bc5ec92741057ab5d839141ce60564dc297f62a1835d4449e056adbcfe9e6484ec4665fdc8ed4b86c86361d37efcc5182abcb7c4e7415a WHIRLPOOL cbfe2f453a0179d3fa9789d6ff6e2217b047474e6cc7bec6c4ba2689299a8690adb189340371b72d148f1823c5fb2088ef75905cf52f36b135b843714d128ee9
+MISC ChangeLog 712 SHA256 96327d14652f43095dd9a81dbe0beb9b801a6e4b8f003c98c9aabd74474bfa20 SHA512 6bc59ebc29ea213d45d00b458bffc9caf6042ccef97e4d9ab1a213fc46c410a743a01e508498032317f5a9adcb71d522d93d37ee4792876fb9c032b884a8ab9d WHIRLPOOL b4670f57f44f28368a0bc2cbb46f59d0afca9f9c615dcddb7ddfdf47186b3e85324ea2fa91282ae6bba931446efcbb6104c8a37fabec356e2bae12cbac6238d4
+MISC metadata.xml 445 SHA256 76004bc975506d854122690819b3d3e4c547a6db72338a5cb7a23eea5234b2e0 SHA512 7aa0c8cce270ca8f7dab4418a216ad58fba6c450a27348919cb7d3ea628a50a5c115d0ba3ac277b9efb06cca084632d3db94f7533dd82f3256efd59e759e5462 WHIRLPOOL 99bbe235bb87c57c3fc5df385e54c53783f2f6453099672ee4bc002317e1947dc8668dfae8926e1ba3f58ec2c038b2ad1f1a282efb57d87e64347314152bb847
diff --git a/sci-mathematics/frama-c/Manifest b/sci-mathematics/frama-c/Manifest
index 976ea53c8..079811bc5 100644
--- a/sci-mathematics/frama-c/Manifest
+++ b/sci-mathematics/frama-c/Manifest
@@ -1 +1,5 @@
+AUX ocamlgraph185_compat.patch 10397 SHA256 49b231062e23c71535e2ecd451e34852249b4a8fdd07f6db6cb899eada901a0e SHA512 3813119616ce801d391d0ac6000b84244ede25709f7bc09d657e95a76a42220418ef7c3b668252822798f5b8f7b7c5ec32cbccb2109f94aabcc76894ff659921 WHIRLPOOL 99ea959621f81ebdc706ebe0aa061d836d1a8a6b055d1c42677ab64d2ebb018c1c8cc1726802ef671f007125ea5261a28620ea7ff1630d5b6ef7eb5aedc775de
 DIST frama-c-Neon-20140301.tar.gz 3122492 SHA256 c5a0606f5c2d56280fd90f979c07ff398acb1e6a661323438b8d0cbd8f9f4731 SHA512 9cfe4c986004b4b991dbd2d7dc31777100bf85910c488d575c670d40d53b3e309667dfee75f22d121a6351f23753ed31decffbee08929ea129daf56f0c9a01e8 WHIRLPOOL 06935a38cc43f7472dd88a96b8fdd3d94f7393caed927b3f1870b8b911bcbdf6006aa325d0e30b6f58eb736dd8ea0102e41632d372f5205801af5c85146b2d4a
+EBUILD frama-c-20140301.ebuild 1506 SHA256 17ab8a1dc0ad00b1bdc92187bdeae835ea9cea221ba32f4df1c8d8e311008ad1 SHA512 c5c3cbcdce759974de7404899dbc5b38ff89ae451880fa9199003530f8c9f7c107e36c90c26260888a7f9c0a1d00121b2a2d506d16c28f60096ffc83ed5ba4ad WHIRLPOOL 3b7e810fd61cc5ce3cfb6efa7ec2422863a5de13b534d9e0247af96d5a68d1d1b3f5e00ed7992dcc7b4fd1ae808ec8c91303dd24401a9024b2f1a29847658318
+MISC ChangeLog 1481 SHA256 ebc856ccdd3de1701d5ea7a9c5a02412b7bb525ba6ebcaffce35ac6f87c53c23 SHA512 848f5f73da2fd83e321c1ac480256266a6d178aea3bf3eb37e11382e56383956dac7c0714a7584ab509ca294245a145d61e0bdf1fc513887ea679a9eccc6fa6a WHIRLPOOL 139833dcde6236d7aaf85071fca73dd6c9463e5bddac130852ccbc535f61360a68ed46e00a576b4f627802b11d426226749d0e105d5972ae32a3af44faaa0a2c
+MISC metadata.xml 648 SHA256 05c2ffb2a0e01eaedf01c8e32ab3dc5c1811305642b24811d5542280f3970a4f SHA512 40557bf2c1f9dbb26f47ccf04359269f2e45740430c914819f5a8133b4ede626af12e1dc9756eb31c6907efc2e619e694908a97519bbe96f5adac1c01912f72a WHIRLPOOL 9efde40d85a42ca87c782a03c5b0f840a9adee877fc93b3a553ab718698df43a2162c501bd53a99ae2316b3c31a9efbb42958ffef653b70f3c82adcf02b75ebd
diff --git a/sci-mathematics/gappa/Manifest b/sci-mathematics/gappa/Manifest
index 4a0eb3f0a..83080fb7c 100644
--- a/sci-mathematics/gappa/Manifest
+++ b/sci-mathematics/gappa/Manifest
@@ -1 +1,4 @@
 DIST gappa-1.1.1.tar.gz 399606 SHA256 b03023d45d246d49fe57b0489cd3b11415b0cbf5aa96e03398d8f5c15284125c SHA512 95b01733554585729d73078522720f0c318f6e86eec02b869717e591bd1477a663c8f71d6c9362f8d5ec83d0a856be5771a27add426d8ac0eca429c4ded01a0e WHIRLPOOL e49860c5832a017a3eb0e8b8a607b56c947f6ce7c1c40c94187f5cfd2c35fd49ef293338b410a6f66ee7b711b0caf3b35d15d99d517a7e5f4c684ec6ca72d466
+EBUILD gappa-1.1.1.ebuild 976 SHA256 71d5b4deb8f44bc2e7c17a54a71b17b2669dc7693b02f8ea486fabc2933db1f8 SHA512 624e6f57225fec97d090ac7b75118f2755bdfa246c0fd8b96164923bfbb7882de4eab96774aed72233f9966cee4c91258c6dae851d5fb2c4f731c74bc2983ed2 WHIRLPOOL 8b85abfdf7cc3d5b46e8cc0ad9071191ba81d2b803a3d3091bf30d8f82ffd1c1ad6d90dba8d955a35c8f1616773233ac389d6786677b2e3b279d0996815505cf
+MISC ChangeLog 1281 SHA256 f6c28acd5f5f45ede418d04486eae53d580ac849d35dd9b9710dcce85b22640a SHA512 459f4027173a9af2d1d84a8002bb7c9100b398c91da0f63fbce59be4a2060dd0b839fbf3f2dbfdfbea699bcb2b7c5340fdcfa7bc790044d5dd87bb4fec4ea37e WHIRLPOOL 0656e25eb1ede5764ebd48cf63cea2433b1495752381a482b30becc0d6fb786b8ba14625801f08e071e41819db92aa0dbc7b7779c2e084f98c16f8fa6304955d
+MISC metadata.xml 490 SHA256 0173cf09b7d6a481ce8fde3d4b8d1e56fdd0dc3d2d95e7804cab889043e444fa SHA512 8ea89f502a41f52b332fdd34f973ff6ef0dcd3bdd5da23740fcad179570b1dd7456f5582e714c9c0b93d436c8dd75a6cb304c69724771d209a3930e0a5684831 WHIRLPOOL a9ec88247b0b3c7f4a30909f2471d5d69f104950fae03edbd6fa3d25e3b36974c3248ed39efde50492bc7af86ccc0697f18f4b118d223f385348782ce88a8a13
diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest
index 215e90cb6..70bf48f30 100644
--- a/sci-mathematics/gappalib-coq/Manifest
+++ b/sci-mathematics/gappalib-coq/Manifest
@@ -1 +1,4 @@
 DIST gappalib-coq-1.0.0.tar.gz 118901 SHA256 3c7923b9f3bc9f43225f81e55540441abe76b776d3ca8d34b7898124523d91fb SHA512 1aed7eafc24d82fbb3431e267ae0882560b34864f443fa95b450f465fe571cae558bc0ddf31db96477092518dd20a9870a9f8360ad8a0b3967d6f912c2bd0b67 WHIRLPOOL 61227031eca402aca53ad20d34c74ea51dd4f42b79896e4898f233ee352be5848c087ff34b627ae6bbfbaf433c91fa131b37893bd89a70c97e44aa4c31e3033a
+EBUILD gappalib-coq-1.0.0.ebuild 842 SHA256 70f2cd0cf3a2fba81115a6a521be0f8bf6e3c4d9bfb9364b35f093a1fc06c662 SHA512 36bc30ad045d2dac61ce97311aaa80cd0499b644b2f359f3c1904c2f420ad620f6c7608fec91eec5f112b90b3cb1a59ae679ec73f15686fa987daede1ca9c39e WHIRLPOOL 5905543c14dedddd306458383204424e20f8055df3dee9c80ca4f019b3564bdf8fb8561e9e8768987f294444fc00666bccb196d8330b2b9294a0d5b0e3edb0a5
+MISC ChangeLog 1138 SHA256 52a8807833fe0245f555f3dfcfc34590e6078378965a30de80b8be03dd143da7 SHA512 c158b0c6a1d9dc169e8e4fad26d042675020f5e66ab65d11d1491e6eeabd70fd2859cda63c85a07d2a1d67455de9b84b7b0c5b1bcd7ef523c73ecfdfdc4c16e4 WHIRLPOOL 1c865f0ddf8c242d20e1e12d0601f98765dda58309dc6f908f36a5bbf63e70af6772ec847d0258243ed5a90460a736cf0b50628dddde957943e1fd813193849c
+MISC metadata.xml 391 SHA256 e620622efa1a97573ca6acf6b6850c2fb8343a9cd3e176a5bbe4d4359a737e43 SHA512 be73357b6239636b5937fb58dc7d5735b3d87fbd41f696643a7e2975c706c30e4184654268e4ca68e498eb50995d627a3bf17e1b71fa0781f472d8456e386da2 WHIRLPOOL 2e94403f6439e6673062a1fab0e9a1c0038ab9adc9761738fb8fdc8b9ee03de46e958ec3a1e4c2bac0e4965014d36fa21535f826aaa402dbdd9be79e1d3c7b62
diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest
index e523daca1..13b25d98d 100644
--- a/sci-mathematics/giac/Manifest
+++ b/sci-mathematics/giac/Manifest
@@ -1 +1,4 @@
 DIST giac-1.1.0.tar.bz2 43295079 SHA256 8d4f96a577d526caa201d8311f462828b92eead2938b00e563b208b4e255a340 SHA512 2b34c7913a6a24aa770094bc839c01f7f3d16689ed9673d56b72ce39d07004e20218e039c85fb15e9f39f5f9e6993e6cfff62e755997f1107cddf7e601658434 WHIRLPOOL ca761a1f2bd6ad88655a079a29f54344d101542ba7a0c09fe7d8e0077e36ab06235341210a7b2a0ef98d09d416756be2725b9cc7be676957eaa199a67d67e375
+EBUILD giac-1.1.0.ebuild 1584 SHA256 647f4888e098bf2b4028051ced9c90cc0369956e6d87c003ab1c197a052476fe SHA512 524d63c72bc0e5d03467e6348eb58c220fcb2bd8afffdee765d5c53e29aafa5a158bdaf637258a20f01e678d34810fdfb581eedd2a0a9fc1583d16dc4e78ed3f WHIRLPOOL f6ce13bf63bb36c911633150db22d6b7fa8ddb4b93735b3c13e1875f4ec9272f390f2d8c53c7de79a8c445846ef347d1f71089f1c142cb657fcfb2bf8d3dbaec
+MISC ChangeLog 575 SHA256 4d53d5e54802add14b5b345e50f4051f5e933065ebe5a73848eab8e797b3c50a SHA512 bc959aaac0f3bbf2da3bfff78f26fc296e6516e75f09e9609a930ee6579331ed3adb2481c5a988b3df79d7227db48ed9e44b81735305773db310d2b6fba3d272 WHIRLPOOL bff8f1ac917c96548719d05e9a0bc8336aeda0d4a28e5346f92a6d4fb8e7a5d96ad2b6ee1e0d5ccd1fcacbc31b1a6e03305499529561ce08920bc3763828b374
+MISC metadata.xml 560 SHA256 4ba9774ad18672ee878b17322024b055be1dda24a28b14ad16d8716fc7922bd5 SHA512 eaa7f5fe1c0c37fe75bda2fb15783d919ea1be438c4225c83b5bf39d7ce3b52d16cecf478eff459c8958da28c7b45fc33389bf1b529ac2d425c764ca09e200b5 WHIRLPOOL b3e8b82a948e6f1429e9e746861d8208d692de03bda97d6218f3e84836c672757dd1e1805bf58987632fbdcb01df10958705d56d7c3b4bf5c3cc4ad643f138e2
diff --git a/sci-mathematics/ltl2ba/Manifest b/sci-mathematics/ltl2ba/Manifest
index af7aa7ded..6430bc4ee 100644
--- a/sci-mathematics/ltl2ba/Manifest
+++ b/sci-mathematics/ltl2ba/Manifest
@@ -1 +1,4 @@
 DIST ltl2ba-1.1.tar.gz 29629 SHA256 a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b SHA512 8d010e2bb59fa5d682a56a50133865da938fd3bfcde6386184880eec6989bc1b694d6af9146b4b708cefdcdbcf98248f87074b8c973ea8cab65d658b394ccf69 WHIRLPOOL bf9dae5be2298fa2f79b93f5e84d7a3ce618070198aaa1a851a2517fbe24d61b95776713b1b20814911511819909bdacd3e3eb72ec3c37bc223bac44257676c8
+EBUILD ltl2ba-1.1.ebuild 605 SHA256 b962746e4ce12dff7beeda0e2eab86b4ae1c5b88e992480894c942bfab5d6fce SHA512 8853f708cf8edc760f560795f28c391b39913458edf71822eec5d88bda8daca1f0dee4f3e9fe8b710b90e3c483f44ff7a31a1a9b2a8bcfabf4d17fcc5081382b WHIRLPOOL 4a9e8c43cd0cb3c59277a4038a0335489d5cfeefc70f0fd2be6c8ab5e08bf3bb1d00114a5698baf958a458aff5c834a3c19784605d8b1d6ba306b4d26f26e63d
+MISC ChangeLog 244 SHA256 8c2728eab50fd614e4fa10da7e8a571d363594a89741f9f029b32e89c6134849 SHA512 4b896c379a4a22fb897b28c41db4e14db5ff6917fd3411b40e79e34b3e4d578b8bdb9fe86bed54d856f10cee1b93bff4d91196da61e588dc5e67a01725e85063 WHIRLPOOL 9d5f2a28da5b290ceb1e5c0f421abb8b2431c57e5b3b505b3f8120f3a8a2591cbd40e2d90a1a271def02959e2b9c7d1492429bc912e102cddc34de4d4bbc8d5b
+MISC metadata.xml 156 SHA256 5d22100902db7507a5b5493dd4a66cdb08025faf80a2c0b75e6392315c47f900 SHA512 5b6997cd90fe19a83f6bdf44de540ea3818a23fdc28fb2a7c1f55746689ebaa2d4b63eba0386da5198def1cb2a8ae1e5d5d4040c43b0fc31237b864ed1400743 WHIRLPOOL c42eafa29279646750c35aac52967303f347b02b61133918480ba236d599dac68bc0ea000d037f69a3398939678fdeecef656801d783e547f14ea76b04ef2863
diff --git a/sci-mathematics/pff/Manifest b/sci-mathematics/pff/Manifest
index eabef8165..0da3eda56 100644
--- a/sci-mathematics/pff/Manifest
+++ b/sci-mathematics/pff/Manifest
@@ -1 +1,4 @@
 DIST Float8.4.tgz 352313 SHA256 3436b4521ac8bb24850920f404994579174f5b20d1178d48dbd686ec109ef27c SHA512 4e53aad0a59d6875f071584a34b91029a51e8d797e2f5c1a51c772973b241ebda093463532653dbc54245bd03b2414d648648670c6658547c908403cbe6d1275 WHIRLPOOL 2bfe679b50a5ccb6aec88403a85766b774a416c56d94dd640d00577a35d2d3a06b7d91795285ba0e57c17f6bdcc19d71ffa2a7ab5f796b4e2e2366c195f557b5
+EBUILD pff-8.4.ebuild 819 SHA256 6ea5e7840b0b9724e5d41185752c4644f3daaa0790738f036146e0d977d30258 SHA512 254aa7efab42b384e7bb933240a1e84196747d228402c2548f22cb896755ced1d1b6a383e9c55fdaec0922c70aa65271b40ea038b89883eeaff3cea0dba5575f WHIRLPOOL 3ddb87266d94e52b5ffa30fe13a3099528e721a909a3b02146f6bc76c2bea0553a5c4a51102aa5eeaa1dcfed413e32095819fe187176c5f3b4a3d1ab03b481d2
+MISC ChangeLog 697 SHA256 956e10e388eab56c849982e3568482c2595d450f2387526c331e017b7e98b73a SHA512 4a5ec178b462378dd0b12039c0da235d608b503c18c3a19e85a2345fdb28fd93093ceca78c4f41cdfaba480065559ff6decdfca47cdad524f79c72aa563e4201 WHIRLPOOL fff1c96482797faba526530868637f040544c708cd7123596b729eaf615f4bdf061d449a2f5c35828efcd51327758f12737be5f57098b8b1ebe1c774263906fa
+MISC metadata.xml 446 SHA256 498e3bb73c3d3b86bf3627e7c5df70fb451be78a4015c04d91e67f9a96a33202 SHA512 2933eb0927d382bf4975cef2e4f3b996d4cb68b9359140f0de44acf23abd4d8c1549bd54df72cbe4417c26089547a5b8731f245b44594d6f84f2a11fa6158dd6 WHIRLPOOL cfdf63abd8bcdd2add16bbf891d2fc901f9a39ee64b9bd92eace569c5bd9803de5c98dc00fa94ac75deeca930fb085f4db21e75ee6b69fd3635cd222759b9c76
diff --git a/sci-mathematics/why/Manifest b/sci-mathematics/why/Manifest
index f1da6fe5d..6b97e4d63 100644
--- a/sci-mathematics/why/Manifest
+++ b/sci-mathematics/why/Manifest
@@ -1 +1,5 @@
+AUX why-flocq23.patch 488 SHA256 3165cadaeeacd74f84f543d731f3823cf4d5b9c66235792754b38fca1dec57c2 SHA512 7cb3797b78cf7ed47953eead8bf0bca4ac202e5f1f060c74810fea7d72ebaf9d182400f88a8b1a6f4db813bd5d7c37315bb8596e210c91d6ac7c11f6126ec689 WHIRLPOOL 5a3bcbd255d46dc9c091c36c7dbfdf85e261d82da1d97db133af5c50c2c5c68b1fb46a19d49913573c5b35c8e1aefa05df5b2ed033a88f2c2b57308da7c1cc76
 DIST why-2.34.tar.gz 4019877 SHA256 4f861757c13cb7dd4ba8c0c640f04115be147d2d4ca8a55035048e9d305c658c SHA512 e4abf6573cff52fcfe5c6b867ec15f6f65a88c9892143681b74e3a35caa870acdf04fdda6fc67790af608975bb688c6ec14fc12f2e44b319abdd262ac59384a7 WHIRLPOOL 1d3383241647b5e676f4476898fb9c5580c27a3dbd43cd29b3e9ee4460b11610d9b321deb92c5921f4499fba325da17d8c329f3e58edf9389e93b03f2e83af98
+EBUILD why-2.34.ebuild 1532 SHA256 42ff30113606a13d5a9622af4364706cc2bcce15f1e925ba7b6a71e4545ce9be SHA512 dbdfe4f3217d7f8f29c9237a7914b30d8f4345b14f4e28ea26e736f534d612a7411ab4835ff7f6f6850e83da159e3b05a8a8239da9bc87b3b72e087961760fdd WHIRLPOOL 87f39e011be5a6cfe8e1161afca6c2e3f7330853a17ef1fa35cc81d0e904ca0bb527709199fc0b979882f6978adc0a49622accb2e1afa33406129574a150e9a5
+MISC ChangeLog 1249 SHA256 a03ad367e4728e70dc75f7e4cd75935d2677bb220584550e41708c13660ab5e5 SHA512 209e551b1403030b7fb694fbc5fc24f19138156ef7a52a073b936b79d948ac5aaa9146a2e2a30829f5bc5ff88eb0db17a5ca9a78d68e65c2de6a527443eb9386 WHIRLPOOL 05b7ce33f4b68db8d2fb1f90145b549536ada90bd8de0eaee9d693f2f92602a39871939f1c4e8abce93dba5b4262bc794be13e8aa8d4f480245a5b4e174b8ea7
+MISC metadata.xml 550 SHA256 42a08184f357da606ed4a161922d817a3b09cb55fd11285e5104d39145ee2fb6 SHA512 a3fc054a4ee64a4b3eb7f331ce3f2e8d86d077ec482350e5294d68a4f4809a63d17cdf43bf8074435ca350846ded500e14785669e588e7317fad9d3aa715b701 WHIRLPOOL ec8d65464fb8bbb0ce38911d084c78261f0c943accc4bde0cda9c18417590f86d1ac81dc4e4a311c8ed383e82090cf97785059ad7e6e1fd7cfcc3b86c6eeceb8
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest
index 4aa902a74..4006e9a1f 100644
--- a/sci-mathematics/why3/Manifest
+++ b/sci-mathematics/why3/Manifest
@@ -1 +1,4 @@
 DIST why3-0.83.tar.gz 5347628 SHA256 cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9 SHA512 e1c4d462986835aa0e9a1ca117e4c3bbaf307b45b6de03da6ea8dd706770b8d9894031ea22ec732dfa7340d613b023ab499837203a132db5f138e51596e64177 WHIRLPOOL 4e1a6fb8462144ec5726f461a6548b5fdaeb2338557ec84cefa7a6eed5594c35908e7ccc337a93aaa704283f88874f5cb3ca1f9dbe2355266af163f27e81cf7e
+EBUILD why3-0.83.ebuild 1363 SHA256 6cb36f61416b7216116ba29ffe27def3ab0af87b5407da2dcda216dd247d33ea SHA512 70efbf61abeaf08934547de14502746a96710986e39fa00b8ec1d1763f0ef204801e993754852edaec2eaa38ed73ab49527670fbaff619595be31b0acfc36d93 WHIRLPOOL b308b9d8f1d7b003c47e1f9e1857ea78885d25f935c609f024450bd39acb64e7c7363d3e9ec9bf360e2f9697235aac9b6a964097c3c64bbfe485028b45c93c3a
+MISC ChangeLog 248 SHA256 75e04e1c01a3bab95d3aea02729451bc72450b4a357e3cd7da5e250766dc4181 SHA512 59d5309b1fbc0e829ebe13318c221964cb97e6083ddb5c87acbcbe720882305911cd1f8187aa389b1394892edc0718370c4326cf889ed3144eb89e6d31259f24 WHIRLPOOL 743c17f5170e887142722dc269b465563ad496629dd35985870dfe25d94b41ecc18557d0a56ac55076b4c546c80e2fef3def54c9ce6f06fecda09bd03d37c89f
+MISC metadata.xml 896 SHA256 f33c0d39649c03f0319f70f8ee57949ebd55c64e23c0d890cbafcd6f298f7cbf SHA512 e90fa0d593e24051de6c92ad365ce0457e807d1a1fdc4303b20236f12f5a3cf558cfcd01090ae054e233bd7005e9c78842dbe9a6c4fc90c6c49f20068e78565a WHIRLPOOL fba0d374db71261ec78f5cd3fe5389e3128cfb9bc7356d4b565f64f038fce65a58237ce411f1ba743bdedbf67300552195230ea0952a7e09cb0547625be3ef03