diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-12-09 17:28:52 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-12-09 18:19:32 +0100 |
| commit | 5abd4308af1a6c391f833a5af8b139ee3566e83c (patch) | |
| tree | 2fbc75ae898d3bab95f7cdc63b4865b1e84c8d4d /dev-lang/maude | |
| parent | package.mask: Unmask experimental eclean-kernel2 (diff) | |
| download | gentoo-5abd4308af1a6c391f833a5af8b139ee3566e83c.tar.gz gentoo-5abd4308af1a6c391f833a5af8b139ee3566e83c.tar.bz2 gentoo-5abd4308af1a6c391f833a5af8b139ee3566e83c.zip | |
dev-lang/*: Update Manifest hashes
Diffstat (limited to 'dev-lang/maude')
| -rw-r--r-- | dev-lang/maude/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index 750772033da1..bc759b1c6b72 100644 --- a/dev-lang/maude/Manifest +++ b/dev-lang/maude/Manifest @@ -1,2 +1,2 @@ -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 +DIST Maude-2.7.tar.gz 1663708 BLAKE2B 5fd87cbd7ef2f86f4a7095334fd996109c72caaed44a894138803b76220325400920654924cb8645ed846b4d997dd2cf827d489ef7c4eef73ee22cb4e6e5a5dc SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 +DIST maude-2.6-extras.tar.xz 3157004 BLAKE2B d735366071194eb7fd22c11628672aba38cc8c7f4460e4ec8806e27c2e1416e1a2a5fa93efd01c305bf36e0ce799578688c5ac87b5459e979323df6f60305902 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd |