summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2016-02-11 21:04:30 +0100
committerDavid Seifert <soap@gentoo.org>2016-02-11 21:04:45 +0100
commit026f729e9c13dcc76ea0f43d97342b1164a7271e (patch)
treec82900151e67fe9c4000739db24febb900196511 /dev-lang/maude/Manifest
parentapp-backup/duply: Version Bump (diff)
downloadgentoo-026f729e9c13dcc76ea0f43d97342b1164a7271e.tar.gz
gentoo-026f729e9c13dcc76ea0f43d97342b1164a7271e.tar.bz2
gentoo-026f729e9c13dcc76ea0f43d97342b1164a7271e.zip
dev-lang/maude: Version bump to 2.7
Gentoo-Bug: 540210 * EAPI=6 * Remove 'autotools-utils.eclass' * Add patch from Debian to fix Bison bug Package-Manager: portage-2.2.27
Diffstat (limited to 'dev-lang/maude/Manifest')
-rw-r--r--dev-lang/maude/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 5568f9fa3175..c2855e49ad4a 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,2 +1,3 @@
DIST Maude-2.6.tar.gz 1600026 SHA256 a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0 SHA512 3931a540f72acdf2de532eff7b55ba4c9496b38a4b036f4e37d16b860f87728d6df5b9e377fd3489e55f7c369bca5eb9cded9b7a75032c410eff9a6e85da3fab WHIRLPOOL 9bc2011cb167ac5a451fc043fcaccbbfbfb5cb71bbb804021c7286a6f315d8c6778b6a385c5c6e5566db18051e8c817f93f099f39e3077bd414b83cc8e78be9b
+DIST Maude-2.7.tar.gz 1663708 SHA256 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 WHIRLPOOL 252b51f303e7d5d22226bbfa96e8a62bd94bccc92403f40fce990ce6d0e3e57305b9f823ef3cf5f43f4386a4ce326032c7c17e47a0a4ad8bf86538e2e1435fa3
DIST maude-2.6-extras.tar.xz 3157004 SHA256 64cd72026c345ff1c1edeca64f9a9fce8067e6df5eccdaeee4bfe7a0f07d3102 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd WHIRLPOOL 7a5ea0bf49132ecb3b88f26432c8aedb7ce2f9632f4e9cbb5fa08ab36b65c9a165d58e4a880e8ea97eff91280e28fb01e224a61539b73b898f3e9b4cba34ce44