diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/maude/Manifest | 37 |
1 files changed, 33 insertions, 4 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index c3197f156848..8c0fbf8adaba 100644 --- a/dev-lang/maude/Manifest +++ b/dev-lang/maude/Manifest @@ -1,6 +1,35 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + +AUX 2.1.1-gcc3.4.patch 7809 RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b SHA1 57427211adfff03dce82740d3e2b8fd65d08dedf SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6 +MD5 fd79afe5e64ae842aa9be90a1b056d25 files/2.1.1-gcc3.4.patch 7809 +RMD160 73e3bcd563ae8d6afde402c0579df5c7adb3bd6b files/2.1.1-gcc3.4.patch 7809 +SHA256 fbadb0ed7383312602227d2fa93582c433b698d9268594ab4fc80da2bad5eda6 files/2.1.1-gcc3.4.patch 7809 +AUX 23maude 27 RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 SHA1 2cb50693a1968feabedae8e7a32d0c3c0cc41bc7 SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e +MD5 ef113f0269722dd261f4d017bdda4127 files/23maude 27 +RMD160 863fe69a23b9c8c6223c287a3d6e5c3b1ab1c563 files/23maude 27 +SHA256 5bbd73fee09b9131453ce264345c88385fc1152d95b5dd79b05069bac330366e files/23maude 27 +DIST maude-2.1.1.tar.bz2 874308 RMD160 ae2891f24cce16801a49a90ba43428ef015398cf SHA1 0a976d9215288d6e3835093d6206415f7ee2f387 SHA256 8dd3d80c5cb1752fef6f2d2824175bf1077509e7bf03c38e4b78e40aa95eb8d2 +DIST maude-full-doc-2.1.1.tar.bz2 3047855 RMD160 de4fc555f686bd6d62aaaf3289b026143e429412 SHA1 23186afa0fba59baa504fab2efdc6e31297e08db SHA256 9d6ae27ffbb525c08dc3474bf010c88703ba552fde2e8134066b0d69951a9b49 +EBUILD maude-2.1.1-r2.ebuild 1676 RMD160 51f3dd958bd3ad5dcf9b36dd987de2d01a696180 SHA1 cc2b83858670295ec4fbb99bacd288b16478cef8 SHA256 98223dbc3c7bc7974bd7f1886788dff4842146a02fa8756e2d673f92b605983a MD5 e3f8bc84fd018eef06f4909411eaddcb maude-2.1.1-r2.ebuild 1676 -MD5 fc2533105167523a434779d5011b641f ChangeLog 1604 +RMD160 51f3dd958bd3ad5dcf9b36dd987de2d01a696180 maude-2.1.1-r2.ebuild 1676 +SHA256 98223dbc3c7bc7974bd7f1886788dff4842146a02fa8756e2d673f92b605983a maude-2.1.1-r2.ebuild 1676 +MISC ChangeLog 1711 RMD160 fb250fbd6a9f0edfcfcdd1a60acbc10f6467a829 SHA1 091dfe35eba78a0598c8efeb3deedb616bc4dafc SHA256 235f34c43a71824d076e0518bc7d120a5b9cd1e73783766264a04dcf247257f9 +MD5 31c7e76a487747509d3b724c00dce128 ChangeLog 1711 +RMD160 fb250fbd6a9f0edfcfcdd1a60acbc10f6467a829 ChangeLog 1711 +SHA256 235f34c43a71824d076e0518bc7d120a5b9cd1e73783766264a04dcf247257f9 ChangeLog 1711 +MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21 MD5 40e5ec90608b2221625c50399a8f1f5a metadata.xml 612 -MD5 ef113f0269722dd261f4d017bdda4127 files/23maude 27 -MD5 5fdcf01ac8efe5c12f7fb581494b2b5f files/digest-maude-2.1.1-r2 138 -MD5 fd79afe5e64ae842aa9be90a1b056d25 files/2.1.1-gcc3.4.patch 7809 +RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 metadata.xml 612 +SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21 metadata.xml 612 +MD5 66037b632f622c5b4c11118426f79ee8 files/digest-maude-2.1.1-r2 506 +RMD160 c9c300851f1f48652e2d434528b932569ac5736d files/digest-maude-2.1.1-r2 506 +SHA256 62a10684cbe1541a8c33492a00e2bd054f304af3410da46b5e175b80c0488da7 files/digest-maude-2.1.1-r2 506 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.2 (GNU/Linux) + +iD8DBQFFy9qlAiZjviIA2XgRAg+wAKCafCvY+hEqHG6xjDiquv6SZmpoLwCeLHIa +2fkpLPejIGrz7CW82HKx+X4= +=J1IU +-----END PGP SIGNATURE----- |