AUX maude-2.6-search-datadir.patch 1124 BLAKE2B 620382dd567eb4bf2c944af83a209cc01b6b571024da0435995ab76c10ee0c1527a68d21ed171696d659092bb2a3cfb0593ceaded7d96351da2c0e067f4d4fcb SHA512 3bdaa49e6312d965c753450c5fec39c1175e6a5a57c570bce56f10d6bf3a56027fc8eb17c3d899aa752d4094eae4bbc7d1eec0022adc656894beef759c151cc5
AUX maude-2.7-AR.patch 206 BLAKE2B a43c072a46543f877afd4d7c809e1a9760fa3011a12eff16dfd68f254f007c3294a187af293643fba866ea105bb8b27fbe65553618571b24735beae0203c2465 SHA512 4cd4931b3dbfca8b3972a130fd710c7b3535e1f2ceb80fd610b7c9afb2ece3dbaec3dec4c6a7c806f6a411b748d7c911b00cc572bd3343bbf953b80028987173
AUX maude-3.1-curses.patch 340 BLAKE2B 1ab11129aef23b59e32341f6578d4029c287a5598d0c6e23a280e91f93f0613440ffcc726464f18ddd9ce34735ca8538ca53fcf011f954b80e1593584f16d839 SHA512 ba71c538c139fee15a1ff9f868883aefd0b0d4236d74146b427ec347adf71131f6912740fe96b906dc6c1ae290c493c98068ff5963c2ba7f1fc22ad44414af47
AUX maude-3.1-prll.patch 537 BLAKE2B 52e74b5e0bee9a8a82d8b2bb3d6274e19c9aa74eba87efeb064592ffcaa44186e4e61fd47387f9c4958ccfd3549b22e5512f008a560c36dbaf55881c6ff33c1a SHA512 d528eb34b369cd796d2f41ef788543333911a39f0e13e1ab8deabe6886f33ee812b95d603bc65101dde28051f0a458e0c1160b0c734cc727f70df4244e33232e
AUX maude-3.2.2-fileTest.patch 232 BLAKE2B 1ade3cad74d28566f9f1da5704fb0575c79f537ef32f6a397db5c08384eb5b1a5c3ad4af7b6bcf9b6c91d7286ac55abc30e38edbba0cded4f333cb7ad2029cb6 SHA512 eff01d5f4f16c6ee7ecb266c159c1b35e66a8eda4dc093b72e2627ee99e655d207267d8a33ca26c4a9d471fd6b7e51504ce7275cbf681bceb6c1336749049738
AUX maude-3.2.2-prll.patch 740 BLAKE2B 13ce7351c4658c2fabeb80a0cf06cb0f7dacb91e210819ffd3fad429f933adb1212e7a56f81dbfe73204d792b4b106f138b1be561ffee1623ec3a22bd340b738 SHA512 e41009301f8ccd0c28dff0772ebbf516cac8b3c295d0a16cfcd509fda8b09550611cb2e71f12249e93ba8b5279fb0a9e74080284ea09da91e090ca0ad80b7ba8
DIST Full-Maude-3.1.zip 161211 BLAKE2B 2aad284e1f2bc6e701154bd72c6eff1433fd040fd0f97252485c954b5e1fb33f71555c5587ceec2f3f3e44c8d7b760c9f62f40f53577f19c4cc51a2159b01674 SHA512 fb0c0e30d3df830b60ece67c2fc5655c5e3f1377a269ce8acfc45fdfa0d42f3fe3fbf4038758b35598d82e7f47af5f24507b3ebe2a30dcb8722e61e6315248c3
DIST Maude-3.1-manual-book-examples.zip 267629 BLAKE2B cb4c5d067b8b6787a575ec1e00bfdbfb846c787f4c48b207d9609db57c968acdd97f431110103aa16d764e8e1b59f0eb1f66df53d3b78562cf430f3a57b5541c SHA512 69980145a41afd49e4a2c77a596d7fa91ed8e5acca049d799cdb0f265d95f1c3215776edb3a3ae94d84309c94735c7a187f681c2a2d3aa2fe0a7563634d34efa
DIST Maude-3.1-manual.pdf 2916925 BLAKE2B da7f0d5bef8bff2e1f1afecd4bc7d062992d6a27e5437f488a50d35bce144a3ddb029bed3271d9696a36e6ab13b5a4f815e1a257a81005eb65d2927526630a29 SHA512 8b4b9bff8d266fad7b42b37c79cd72e4b642483298631f35a52b8bd669f318654382232b0da62485dc198789215fd5a364b583320789754eac9159d4cc2689ca
DIST Maude-3.1.tar.gz 2335693 BLAKE2B 3bc9744d95448e4dfc2f818944ab66dad84b026ad18a4324b25eafc82f6c2c637b81fa73d03da61ee7f3753bb3c650e1838b56c502c85c91e2507a697bcfbbc0 SHA512 34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc
DIST Maude-3.2.1-manual.pdf 2977775 BLAKE2B 327f3e3968facc8e5f5e59f488011ad69fdd4af2252b37b24d586e673a43401fba31fb0c5448f2a94a2fab565cb1e3725a0c8407bc2108d6eec1267037851146 SHA512 52e92a32dc36788c1b8f275864d933204b890a00c2abf8cc4846a7409a744c01d4c21c448a33b5217f69fff239f363871cc7180ca0ce452d51cdcc0358eb32ec
DIST Maude-3.2.2.tar.gz 2412498 BLAKE2B c6c22a9ad8fb142005e908f0260320120c35631c716417e73e95e96fdf8328ed8fc088dc9d73357e01f7a3e92e9bb961de257e72a54f3588da01c7484c5da5b3 SHA512 0414a5cbd0a2cd74b34abbd8072d5564f87f10bcf0d1b59b5e478ffc4d60f13eba9b47387b7efa85f6d5823fff5b436da13daf3b4d8dcbe973325e5afc5a28fe
DIST Maude-3.3.1-manual.pdf 2860773 BLAKE2B 6997d8ff340faa275902b0a6fc14f7e4a5ccb3978f866d46dddc48a74b24eed1c969ab453942b2ac8608b65ee0b3d85b64568d04a203cdf060e77417d34dd973 SHA512 cbc06f1d46644ac64a6b88c6e6350a09c4e09a1c2afca9142ff58326cc977c27844c706d83ab0e4bfc1ef4e55a6b8a7e93128ec4da295e161abbb33d0c11bb9d
DIST Maude3.3.1.tar.gz 2520151 BLAKE2B 6b6e7d092e73cc83221ef2fe5f4dc8462a2df64a359982632ce4054cee4ff5f11b852df5693b24385a0c5c5ee7b7921789d6141037ba20edb9ab115b8b2ecea3 SHA512 7a0c989c9da58d057793dfd428f06a34c1dae142fc181ee94a030a8cc3056b3f120d1b63a29a5d3bc0a6bd0007b7aecdfd7323e1e410ee42f2bdac6b91e880b2
EBUILD maude-3.1-r1.ebuild 1512 BLAKE2B 55d841920f29117710baf88507643b0cc5d881937213292badfa37f337f7a8e4f8de4eabf12939c221b8234e91d3c49f749eb07738ee3c8348b4252f051cdf14 SHA512 958f6ee33341e42c0821c5a209584ec97364136863436f8a6d3db3db9c546022f4e3980420854981b148456b2ebee8c15de5e4086ce55b6fc96737ea51299dd3
EBUILD maude-3.2.2.ebuild 1639 BLAKE2B 2577761df84557bbe64baa0c314109da1a4fa3442d6184ec05309db16211ac95123aece656f1904450c0cce3727fdc7193645a496964e8ef1480501d163d248a SHA512 56a9826adefcf731214438856203123ffbcda99edfea274354e04c0280e9f25a2b7e6fd9ea496f32fa80951de9462a96b48a8fe6e9301e24532c8eb311a843f0
EBUILD maude-3.3.1.ebuild 1480 BLAKE2B a5a1b66e1250059c26c496319ef191b445196009b2eed93970244d1904083ba0d49c3edb4f9e67f68839574efe78fd742e87e3abec8fc7eac22d6778ec785d44 SHA512 aacb78062a03f06eeac5beab7526b94a00d78086c6e4924b372713fcb6a86668e3fc67d9678109befd346f320f45fa1a274e0b7afc75912e6f7ff24f3a4c87d2
MISC metadata.xml 790 BLAKE2B a14239c2ac002ed940de37f3ecd21669713e258cce2920361491da1a28f47730281727612e6144b0b2de0909fe6402a905b11560f09eef08416803c921b9c151 SHA512 a65c54d38d41d620bae0693a2dc93d3fb12c663f771931a474286bd209b3cfd87cefd2c986bc0e70c555421a3a541aa5a5311c3a5796129116d5ee513bf58f0c