diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-08 14:49:22 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 14:49:22 +0000 |
| commit | 99b9bd01c0927248e7b67129c9170b1c770f1aa5 (patch) | |
| tree | e0788b655f04219e4ee8c21d0a69cf19d2c1a880 /sci-mathematics | |
| parent | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 (diff) | |
| download | gentoo-2-99b9bd01c0927248e7b67129c9170b1c770f1aa5.tar.gz gentoo-2-99b9bd01c0927248e7b67129c9170b1c770f1aa5.tar.bz2 gentoo-2-99b9bd01c0927248e7b67129c9170b1c770f1aa5.zip | |
New p9m4 prover9 mace4 gui ebuild by me fixes #398021
(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/p9m4/Manifest | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/sci-mathematics/p9m4/Manifest b/sci-mathematics/p9m4/Manifest new file mode 100644 index 000000000000..ab2c296bf4e0 --- /dev/null +++ b/sci-mathematics/p9m4/Manifest @@ -0,0 +1,18 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +AUX p9m4-v05-package.patch 1647 RMD160 758a169ad8fd6a9de0c57655c35b50ccab79bf0e SHA1 b1619304175563356ccf0b4bdc3f38c4b77699f6 SHA256 8612543b43d9c64783c2a4ba3064963f0c372a2a547886d58459c8d7aa16c45d +AUX p9m4-v05-python2.6.patch 1909 RMD160 fb7d591117027b838dd661562689918c89beefc6 SHA1 c472365725753ebfaf3bab0f430860a97b040672 SHA256 1b0156a2d425eaabf0f7fcb2b8bd7c3dd5036fd043ba073ba95ec937c1a957d6 +AUX p9m4-v05-use-inst-paths.patch 1151 RMD160 0d09e9bbcc40871487ac24229fc00523b9de4e50 SHA1 af0514a66f10654c21b93ee32e0b3f076d50b1da SHA256 67e84e86bd6af5ee972cd45b22df0c4c3c517345d144d6e960cd377d7168471b +DIST p9m4-v05-64bit.patch.bz2 5095 RMD160 9b432f1990fd1ccbed5f383882d841e8be7e16f7 SHA1 593c1d38ef3c9ca7276454362fa8ac0415b04e5d SHA256 038eafb0198deabb358e3b9aabe19052970730e7cace2b7dbbbc09947d901d6f +DIST p9m4-v05.tar.gz 889707 RMD160 00f64fd5dc07adeb0752218c319e1dfa130b51e1 SHA1 c9ce24400b96faaec23a0b83d33d3e283aaf4c67 SHA256 451a05179fcb025b666ec992cd45e0d71dac26e43c1fca814747bef541a040b4 +EBUILD p9m4-05.ebuild 2980 RMD160 9a99c70a74d029ddf1c0ffc5d4334a5bbff9337f SHA1 8b32f53af8242b21aaaa081e2680e4afb7ec3809 SHA256 c4f33d45f987167147f5c653885ce5e7818ad1c45708cffe8cceb93023ba9fc8 +MISC ChangeLog 479 RMD160 66a99d87325081e5ef831c6356e458c53cc67dc6 SHA1 39c15bb3109c27c35773c85509872866ae521ca5 SHA256 8f0353b2bf4b1941e6689edbb410537e3b01a6d6f8c01ed6683d5eac1565f92b +MISC metadata.xml 462 RMD160 926c8b017cb544c2ad52effa16d3b30e98502bc2 SHA1 02c0acd10acd158aa05108ea59d3a0303472139f SHA256 ae4d76ff5d6564e732a99eda291abf75d587d957c4052875fe0ba03f4a207d8b +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.17 (GNU/Linux) + +iF4EAREIAAYFAk8JrOsACgkQoBEVQmGOlx86MgEAjwK4lZ0/hYvhEBYEO9EUNSQt +VosZkhHhPbRSVhSTYe8A/i3vf+iYJe3q57/PO09UPro3J86jo/gW2091cnGB01I9 +=dCu7 +-----END PGP SIGNATURE----- |