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 Maude-3.4-manual-book-examples.zip 281634 BLAKE2B ef597412e7c1bb0595446b055553c8996c49c1c2f2e7dabd42ce04a9b15726a7b085091f0d0d3ce7851ddf612a6880ed4143f5a908508f1ece721d7f54f9cb44 SHA512 1238762780dc952127e09cf729d529e8186164133882e94f168581aa6eb72159402dd7ece63a628086591717e74ea9390fe9f82df3926a1616fedda2e7d99b6d
DIST Maude-3.5.1-manual-book-examples.zip 239586 BLAKE2B 6700e3c38e22b0110c692de7321efca5fe2630283b941752509cbb5a9c2953e941ad782b002cdd32bd31d034fba74f3e950283d6a0930600f904ce1c91d3c2eb SHA512 1fb517acaafe5c3df714f583af5c5e27237c5311ce45ce8688b0f818e70af33f11f94d9746125300c3456a258d491ef9404f9f11e576ba338703aca33a7824d5
DIST Maude3.3.1.tar.gz 2520151 BLAKE2B 6b6e7d092e73cc83221ef2fe5f4dc8462a2df64a359982632ce4054cee4ff5f11b852df5693b24385a0c5c5ee7b7921789d6141037ba20edb9ab115b8b2ecea3 SHA512 7a0c989c9da58d057793dfd428f06a34c1dae142fc181ee94a030a8cc3056b3f120d1b63a29a5d3bc0a6bd0007b7aecdfd7323e1e410ee42f2bdac6b91e880b2
DIST Maude3.4.tar.gz 2660916 BLAKE2B f1c9b13ad31f8537a0c1d5d103b78e4ab0194fbdef830ed40523ada3eff5856692336a52c0ff6d8a7e7e2001ce890197d017b68f1a9d3289770b80135eb217a5 SHA512 91891981cb010d7c8995e3ad585b3c04808a09168edabcf991f29e1eaa045b97d5e5de1a7a2898b89ba8231a195cf6ddcbd3825a4eb885fbbcc94734d65d8ffd
DIST Maude3.5.1-manual.pdf 3430729 BLAKE2B 59ca171ecd85d3db4a308f187e3a7052db191a3ca38c4c2cf4626d414a2f8f65e7ddc000f9181c1580db8144613e3d1fdb699467d3419a116c8146e81be265fb SHA512 f273a56a29c8b60c830c882b9baa85aea2a29edca8ea5557008e0024885fe42eefb7846f5cce30a3d61f7f0317390b4d75f4e55eb345c07339664e5a4324f2e9
DIST Maude3.5.1.tar.gz 2239472 BLAKE2B 49dcc0498faf1716f25fdcc893c0ff87845a6666539c0c1c2e0abb8120c960d54348cf708cb4fa7ab4610e3bc3d70bb1f6b32131517f52479237bd9adbe28f46 SHA512 8acb90a4087c2feff02c91c7359ec8b89e93dbc5a735b38fd15959bc7fb76ac0c79713761a51c726fbb1b9323cd29e01540143471a415dd7250fd16fe828d7d1
DIST Maude34manual.pdf 3359437 BLAKE2B 807636fb07f7891774274dc0fb4fb88736585f95ae43f7e90d6c305a53e1ff7a9bf6bfc247ddb53b2ed65a3b6254d29a2f55e4eb3d10ad3786d117742da8bd36 SHA512 4e9b2c59942617f3362885916453a8c52692b7faf00ca591e4d65b683a8e9c9991dd2664eef69b3e562832508a6ee9be9b17aa376636af6a67c73741b9d25323