diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2010-11-11 20:30:05 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2010-11-11 20:30:05 +0000 |
| commit | ddb8a78b8aebfee0cabf3ef801e59aa090878029 (patch) | |
| tree | bf45834cec9ebb93b2592943cf8e9b1dbc82e4d3 /sci-mathematics | |
| parent | depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesio... (diff) | |
| download | gentoo-2-ddb8a78b8aebfee0cabf3ef801e59aa090878029.tar.gz gentoo-2-ddb8a78b8aebfee0cabf3ef801e59aa090878029.tar.bz2 gentoo-2-ddb8a78b8aebfee0cabf3ef801e59aa090878029.zip | |
depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl>
(Portage version: 2.2.0_alpha4/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index 2634f79a170d..7c7aa2f15497 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -5,14 +5,14 @@ AUX coq-8.2_p2-make-3.82.patch 293 RMD160 4b6d9126c93f9ff882a3aea7518529a09fdd2e AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac DIST coq-8.2pl1.tar.gz 3600620 RMD160 dd5758a94bb3de49967cec76baa33eb5169659ce SHA1 4aed3302adc2edbaa5d97984512c1c13014bd649 SHA256 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c DIST coq-8.2pl2.tar.gz 3649761 RMD160 7ecd8a63d8c6f43c0f4c18737895d656f2275913 SHA1 97e1f3d458845cb2934fa0573521fa517994295a SHA256 0e66c2576150bf18828bfff94df50e3405acda6c728ad01a4906fdbdc6de0236 -EBUILD coq-8.2_p1-r1.ebuild 2028 RMD160 c375d9a526fa5fdc937d70caf9f685386151715f SHA1 e83b9776d5bc883f4f22b36fe7fa925bfc8d84db SHA256 1626777b1e926d2a2c13228d3f2370ffa13455b6b7eb73ecc42f141553e7cc20 -EBUILD coq-8.2_p2.ebuild 2077 RMD160 2aeb530c3cd4eb06f3e6303b10acfd51093abda5 SHA1 a6724ef9be5a80265c4ce6422a86caa1c1bc9fbc SHA256 fa3a78879dfd18355407e26a08d34c3223044db93001325c980842941fe6caa5 -MISC ChangeLog 9022 RMD160 6b5b6845f265368827ce9daf84d49b66a708c0f3 SHA1 26fe1ba0e3869ac7146f48a29051d1c6b67ae202 SHA256 3c6498f85112d9266fccdc7513c3ecbb997379123282f1175c1c4a0557d19b3c +EBUILD coq-8.2_p1-r1.ebuild 2082 RMD160 28db3f8eab31f791c998313fb4582f815959b5fc SHA1 0f3586ca49332156095e5e51dfeee722e268a382 SHA256 a0efb6515a0aec8cdc81badaf07f11c2a29248baa478525cd09941043aef2614 +EBUILD coq-8.2_p2.ebuild 2131 RMD160 00f1d0401ca733bc856956af6623aa28e70d4edd SHA1 032e693e3d65e71cc16ba6de7a3953e0df56159a SHA256 28e386072d15925371678bd52049c9b54b2b4bff2d65410699a88b5bc44f5f5f +MISC ChangeLog 9233 RMD160 21ec705a1ebf7733265ff8118b0d5393a4aae7c7 SHA1 13d9aabfe3466521de81b9a6f7bd13899d4cf601 SHA256 654afaabd6186c4a18f94ee5484b09cde40446f01564143582cb3d5fe5f5fe62 MISC metadata.xml 978 RMD160 87ac5db98680ca1eef0b2d5fbdb2963b182a35cb SHA1 cef1c29019652dbe87c3ba5daeeaec63e0bb5e2d SHA256 dd2767eb316b5bf7c1c66c555f3b54b9d812f22631ab8d27151a1ce13b54d203 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.16 (GNU/Linux) -iEYEARECAAYFAkzcUP4ACgkQvFcC4BYPU0pOwQCfZ2Qay98/MHHC7RbCgCpQubDQ -PscAn3/osFXAWIeTrVQAYVUtfXpGdusS -=n3ws +iEYEARECAAYFAkzcUkcACgkQvFcC4BYPU0rS4QCfaueWIgC9V4ra1SNa/u5OEkhx +4rkAniny5Pk4xHajedY1iZSnDC/O9BsR +=lOpm -----END PGP SIGNATURE----- |