DIST pl-6.6.6.tar.gz 14838653 SHA256 9f80bb274e2f31fd68b0acbe35982c012d5f8311dbe44ec1d8d04351a776996d SHA512 a850b0f6b283d34aa77d5e9d8a0053161fa534fa6d8935c7472362ff7b59ea6035de0658d9e38c317e2d92ed810370f2adc3e92b6346fc0ff392d18f1c8012a6 WHIRLPOOL 448d844fe45aee97ad2e37bea3f81dd5eb388e1dcb9f1c4dc54c18991aa91d481bff5b70174fb06edb06c1361759621a570a083fe36d62bffdf6028c49244b2a
DIST swi-prolog-6.6.6-gentoo-patchset-0.tar.gz 1590 SHA256 2b240d15562603120e0314bb69bde50089326c11876b7a62106c05f9d48ace71 SHA512 807c7e897dd5b9eef14e063ea53c03047f3acb23174a70a613258adf7f85dc1f7637158fde70aab2e0f40de4bc6ac5e3548dd09dbe3745d916a388f43eb832eb WHIRLPOOL 0a0dbc361cfbe343c8b3562a2c0535905eb1443eea0783b14f96bda43c04e8db6264f476c07da766c6936dc6088e34059f799a3244717390644bf0f5ae83018e
DIST swi-prolog-7.2.3-gentoo-patchset-1.tar.gz 1875 SHA256 c11e48122dc468f21e08da4a65f5a2daa9e0ddbc2e186bbd952626c95b29db04 SHA512 3506f4168d52f7d3539cd753c5153750df8c3239b78ffac1784c634b585d5fb0c825700e77abc9c1f467af71473ae1861eef629ebdf76b7c783d276c393f40fc WHIRLPOOL 8b70ab91592280d0634c6c897771696c0c63d30680044994cedf69f18cd4f386adf833998e64d4ad892cff97300b5bbfaa8dec8448ea04ebaba7e31f7e9c30d0
DIST swipl-7.2.3.tar.gz 16192142 SHA256 43657d51b7c5887bc2d2bced50a9822b86a08a6841399b8e76ee877f51d646b5 SHA512 da27a6b171d3b471401f1a91e86a4dbe98973d8a1db8c72aa27e452311d08b893b01a1de8f9f4dafcdac460774b4ea980050256d37284546941e1bdf84f8cd7b WHIRLPOOL de695c8e0317921dcc13898f7a3c88d1012e3f87f633cd25766ca5cb6637b29ca81b9245d015614089291a7d9abd0d8c7109ccae1df9297d78301d241cb258b3
DIST swipl-7.3.23.tar.gz 16393156 SHA256 ea6d2f8f0ec5fe8c1492f6790c8697b661d14e7b1e7a976c5d5d1c7d65a284d4 SHA512 1a79e0066dbcdaf49c183ca4344ffd1a5ab4765cc999ab46ff9a31bf2a46298e3b8816a3f0b715446a55d22bd8f1880a36bf43d79acc07506f8674c106eec5ca WHIRLPOOL b70a03aa549320fbd102362512fa0e4b88cb7c546da997356cbe11a3af89e1be7384dd1fe43cd6a881ab952e6eb7173841acc36070373dd41744b63b2f739349
DIST swipl-7.3.24.tar.gz 16438721 SHA256 4fd337d0817373c7c8d59cce5324e068be316d28dc3e81877075cd51168dd7cd SHA512 40d791bc5b2efc94a131c1895c16b28b361f877bb09587cf0dbdc4a67600d10da69133c2bcc1da0df45db839d70e11412614d140b77f2ba820e8c6516fa4bd4b WHIRLPOOL 161ab7ec73ba1f2fdfd02a6a55bb74eb80cbd05af793792bfea3d98e16ae1e6c6f653394e2c4f988d48f3cdbd78402f687fba0aa5ab40205129787f642d2a917