diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-08 08:05:40 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-08 08:05:40 +0000 |
| commit | cf71eec6d529817b1ac34d33296471471af8f7f7 (patch) | |
| tree | d6fbd85fb423008c8cc02e8d35c1e66bb9e16879 | |
| parent | Add sci-mathematics/sha1-polyml for sci-mathematics/isabelle (diff) | |
| download | gentoo-2-cf71eec6d529817b1ac34d33296471471af8f7f7.tar.gz gentoo-2-cf71eec6d529817b1ac34d33296471471af8f7f7.tar.bz2 gentoo-2-cf71eec6d529817b1ac34d33296471471af8f7f7.zip | |
Add sci-mathematics/sha1-polyml for sci-mathematics/isabelle
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
| -rw-r--r-- | sci-mathematics/sha1-polyml/Manifest | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sci-mathematics/sha1-polyml/Manifest b/sci-mathematics/sha1-polyml/Manifest new file mode 100644 index 000000000000..80b1cff4ae65 --- /dev/null +++ b/sci-mathematics/sha1-polyml/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST polyml-5.5.0.tar.gz 12776783 SHA256 1ada41fba3f3cd5bb9b3e3dd1585e8576284e9a74ad7c4ddf88c020f716ec7dc SHA512 4d8accc7083e12a0117fb4e34367e9b22c500d31094d8f0e381b91e91a3e8122cb5ca760ecc86bdcf7ff50a460848a181747bafc068b4a300b01de54e55fbad7 WHIRLPOOL 2bc658af92f0b85ae8ba63d3f07caced91a335a3d5541e3988fa78147ef6f6c8713e479cde0ed41077621ead4b3d6eaca466a05d6d87d2f27d427299513d7033 +EBUILD sha1-polyml-5.5.0.ebuild 2751 SHA256 fc4de8bd3315d9463e2041d1597993160084f2aa96c1e44613827cdd0919e0a0 SHA512 2697be2f88fa2037f4d2d9b7f92484f6156b0fba8b59bbc77353d288d0d7eaf6470f26300514e815b20b57d6bf2a9cd8d91e5772b6c080b3d65ab99e2b13f822 WHIRLPOOL 583fee8d64ab1a439dc97575819b4ff5e539cf65e6e732e806a13dd7120440feda9d8e0dc93f9a341a87eac4a88b810069a957bf831f95dfe50d6245ec3130fe +MISC ChangeLog 415 SHA256 6883d0be8e27ff5b554301d6925e36662dcdc8bd6baf24730e97a7c29b3cf507 SHA512 67a58079bfefc70c5d8d2358712a987ae0259ee094c763816d3d27d91d221c47310257f0e054dcbfa300fadd58fda76c7bf8e55e11c49b748bba1a7684e7b7f0 WHIRLPOOL 95afffd7b72199a6e3c1e5d2796545a7c4dbf1cd9a79e6c0d9d0ac6b4c16cd7a8585ac388a8d6b9bdd97d5f90c727d76987cb83f6fff78fe27f251c8fc36ac55 +MISC metadata.xml 474 SHA256 9d8646303725a8fb3aecb540c175e6284b69824e9ecdd63dc203d93919f7c801 SHA512 86bd9c3851922c4cda00587550f78ca603fa8c08e0615674c90ae307074696e148f0cd9ae7c9c16335a8e44228edacd1d736a1de1d0c65004b10a94840aaa8d4 WHIRLPOOL 3d2ea086181916b160f26a4fc00b7b25f103b9d9fbce78f2034de5f1170db1a39180fc95c180e820217de00461567b5d3f768e47ec62f63a81b8722850f3c122 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.19 (GNU/Linux) + +iF4EAREIAAYFAlDC9NIACgkQoBEVQmGOlx+LmgD9Fm9hpzs66KH6yM083psJbNz8 +PkZHVYJTIrg9rpNnRbQA/iilNHTFiuNdoni2vYzDezBITDgmqWTZ9RcBB8BCklK9 +=H6a+ +-----END PGP SIGNATURE----- |