sci-mathematics/boolector: Fix manifest
authorStefan Huber <shuber@sthu.org>
Thu, 14 May 2020 13:12:12 +0000 (15:12 +0200)
committerStefan Huber <shuber@sthu.org>
Thu, 14 May 2020 13:12:12 +0000 (15:12 +0200)
sci-mathematics/boolector/Manifest

index 1c69d4e13ec11ccce2dec84310047a17d94b6c5f..b13879345beea951539d083b48c570831aba6e8b 100644 (file)
@@ -1,3 +1,4 @@
-AUX pathfixes.patch 1613 SHA256 532eb084341af629ba51b7fbfbee13d89e435f21082f82257d55572f4b609acd SHA512 7efd68a0ab531a165727626c506f289b4181adca399c7f8dcf05ddbd1e41947df19eb48ef26bd7d9b0b6a0865a49711119caac53da9d4d0870572fdb4b0878fb WHIRLPOOL d246934e41837a7b5d08d84b3f58e9dad21b8b428bd38e597fbc46b5c8dce2afc3bc06f5f6b1fd0a2160323fadb7e8fec7f9e0116271fe682dc6f649a8f915df
-DIST boolector-1.5.116-eeaf10b-121004.tar.gz 187600 SHA256 23dd6d44fe938e62548a9364863850cb87f920bd9f359d3985c7c8f7c26c808d SHA512 e38399280d2fa799b17f956adb21f53187e2a6e25ae09cc52403929e7cdc1ef7dce28b19eb27f5f3faaaba7e99c67c0ce0727979b467c04617da80d73a44c217 WHIRLPOOL 744fff8f381397d099827e3305594d461af827bbc4617a4cfda9b6cb7b7875d2285bd0210aa932bfa60df066e31b5694435654832ec1955da489f01f3f6cf3c0
-EBUILD boolector-1.5.116.ebuild 743 SHA256 2e0c0af46155e9677a7094be7db2f0a7f224334952c4ad8c72de28207b522c87 SHA512 4475d84b315c8b85f62678c9554252b378282b7ab228aaa7eed953d363b075971b7767bb8d2d55345d4dc6002ad66ac1f2e0f36aec95f9299aa3cec402d83e70 WHIRLPOOL ce659773698c2b73e3a1f50a776f20255df3914a80cef02a29dd199c60cb305e2006c91f02a0558cb7dda36d3fc18e14f4ac8c1a094873dc11dc17ed0de3bdf3
+AUX pathfixes.patch 1613 BLAKE2B 54d1c9723e33f58d77f0534918397b5257384b804242571099e94ce3e18b29460c2f8f15d841ca6b236064b3556166d29453185630f7ba6d0dc9aeed625cfcd0 SHA512 7efd68a0ab531a165727626c506f289b4181adca399c7f8dcf05ddbd1e41947df19eb48ef26bd7d9b0b6a0865a49711119caac53da9d4d0870572fdb4b0878fb
+DIST boolector-1.5.116-eeaf10b-121004.tar.gz 187600 BLAKE2B 613c23f63f07575900da3bd9522c12b9b55ffdb4b36ca9146d34ae0b06bf9b1a1f539682e6d362abd8b78a7800ae5d0e2a382252756a351c5f17c93f0261d993 SHA512 e38399280d2fa799b17f956adb21f53187e2a6e25ae09cc52403929e7cdc1ef7dce28b19eb27f5f3faaaba7e99c67c0ce0727979b467c04617da80d73a44c217
+EBUILD boolector-1.5.116.ebuild 743 BLAKE2B e0807c38f37b024ba0bab8ef3cca89113c53660688389d3ddd72ab3b3d1d7960ad80fe0d87a36bc860a1b1ff6520c4c9cdf1356dad10e5c0b150d7d31d56c142 SHA512 4475d84b315c8b85f62678c9554252b378282b7ab228aaa7eed953d363b075971b7767bb8d2d55345d4dc6002ad66ac1f2e0f36aec95f9299aa3cec402d83e70
+MISC metadata.xml 243 BLAKE2B 889d08efb220a9fb8457500f5f3c33c8c737616995e19fa8b621ced4bc9d380d016413d098d4d09925c679cd23f7fbd75e495424fe6ed809a9e873014caae682 SHA512 f9051a65d7e11d7abd1b9568dbbf8be84a6ae68eb994b0c22d57dff5620047d5ad5a324057a5cf4cec10837d16024e5f21a8cf5f1a6247807f62931839eb73bc