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-prll.patch 537 BLAKE2B 52e74b5e0bee9a8a82d8b2bb3d6274e19c9aa74eba87efeb064592ffcaa44186e4e61fd47387f9c4958ccfd3549b22e5512f008a560c36dbaf55881c6ff33c1a SHA512 d528eb34b369cd796d2f41ef788543333911a39f0e13e1ab8deabe6886f33ee812b95d603bc65101dde28051f0a458e0c1160b0c734cc727f70df4244e33232e 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 EBUILD maude-3.1-r1.ebuild 1498 BLAKE2B 965f2d0349e3236e3e463894aedc9034f49be96a18648f873c3f2c29711591f098602778b013a544f5a66d7ffff75a45b5af236811170561c73e1f53ea6eb53a SHA512 307700c3db7fa24453bcad1e3da9fbd1e798c3df8e7b883307195d55f153adbdfc353c3f8491756b6414680865b09ec8a92a198897727f8d1508f16f13722058 MISC metadata.xml 709 BLAKE2B fa75819761280758c0e5a818029b963994504ba036eb57144224b01b51565072fce2f0879fd2ba035b3d98c6f552bed2f510acacf6d70844c814d4cdc43bb7b9 SHA512 8b0b153301327bb1fa1f9ae895c1451135e2ebac891320532c3937bee0d59cfd5a5cfec18febd23cc9d2b1e5a9d12c98ca1c8276ec143482644e857c39f70143