diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2011-10-05 18:54:56 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2011-10-05 18:54:56 +0000 |
| commit | 8066ad06eb75de614c1d927f73a3d05c19362e9c (patch) | |
| tree | 231bb8ee7b70d9a5678d23ae9fc46657359213df /sci-mathematics | |
| parent | remove ptex dep as it is going away (diff) | |
| download | gentoo-2-8066ad06eb75de614c1d927f73a3d05c19362e9c.tar.gz gentoo-2-8066ad06eb75de614c1d927f73a3d05c19362e9c.tar.bz2 gentoo-2-8066ad06eb75de614c1d927f73a3d05c19362e9c.zip | |
remove ptex dep as it is going away
(Portage version: 2.2.0_alpha61/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/Manifest | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index ac2784637760..b65a02ea1e3f 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,17 +1,17 @@ -----BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 +Hash: SHA1 AUX coqide.desktop 233 RMD160 3f9d112d7f55454f72c42b427005b37971c6e928 SHA1 40571b86c25793e7d4e9bef80f637d7440b03704 SHA256 dba2e81a408ae51e187c2a164794f9505c4abfa0b92f47a44d0e9f96e2b6dfac DIST coq-8.3pl1.tar.gz 3756961 RMD160 687983bcaca723299b6ea902a1e1b07338209d55 SHA1 3fae9fa2fd6f39c9fb3c0b67fcd5e71f1e7a5f9f SHA256 3a497386bd74f43a5af1d0c53f29a017ce7ed1b1e60c052217fe04b7f40be928 DIST coq-8.3pl2.tar.gz 3760176 RMD160 f59ee288a35c1009f88f050362bee21311b459a8 SHA1 8506761e4755739cc728aff790dd778db8217f3f SHA256 b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 -EBUILD coq-8.3_p1.ebuild 2203 RMD160 3599adbd03754de93230d9adf95b3210f092927e SHA1 7c753b264fc1837adada16e20c2e048dc1f08f6e SHA256 bf5317d76d666ff1f3199c68ec049641f518ec13e2388b4917aa34873667d4f5 -EBUILD coq-8.3_p2.ebuild 2276 RMD160 fc739cdb46156470d4e09f893257a0bf83008938 SHA1 8bc25542e744c23678a0628f3c16efb0a30ca701 SHA256 5cc6e23cdc2a21a79c2ec491cd1bee6c3d7194a691d0628161492ed53ff9bea0 -MISC ChangeLog 10812 RMD160 14d461c72756fc0d9398c5632ad386e2ade10dc2 SHA1 c09a9caaf0adc876394a92379a0154d34bad2324 SHA256 26295c17a97e0cce58baad74ac5343c411a0e4c44499511e3523dc7d106324e6 +EBUILD coq-8.3_p1.ebuild 2142 RMD160 9f6c3f5ffcd8a6575ab544eb1a30e10a353d23ee SHA1 7385d4ac8d7ec8b248a152942afbe8bc07941f51 SHA256 812c6ef68e6cbd4608eec74489e850c8349be6d79901d76f31e4c709be67767b +EBUILD coq-8.3_p2.ebuild 2216 RMD160 ba1d1da6b97b0b4085d4daae3f6b0d36c91fe46a SHA1 d0e0ce2d40ec489a0adc301861daaf2292a1459d SHA256 9c3560e18a37da322ee9f5a2e89929164734eb887255e1dca54de4e7fc1800aa +MISC ChangeLog 10946 RMD160 21cd6949616ce69c888dbf7e45b5fff397eac455 SHA1 8bf15b518d5461a9759de7894a1cf67a1f852370 SHA256 9dc924c7551ef9bc4f6270558551d89abbaa3e5a7336616e34ea008c60994c17 MISC metadata.xml 788 RMD160 98e6a38354c1398f7bed64f34aa88e1d439190b3 SHA1 7d9ce5fed17eaf9bf756b493c76c27678212995b SHA256 5028003bf6d1ec17b51ce45c17bb565137f825a5eefcdf57de4a98c5c61d0626 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) -iF4EAREIAAYFAk5GdlQACgkQodBTJSDyo67dJAD/SeYU5QaPAVhVuY12sD1OLlvA -u71dpSXwkYnW8jxU8LcA/R8FaF/65dTVS+IYwPS7ZWYYvI2eyiK4qlFd6qCGXjWp -=wyGL +iEYEARECAAYFAk6Mp/kACgkQvFcC4BYPU0qnLACeNxB+OMk6UOQEwoNxPo/x0xFx +p9MAoJJDD4ptaeZD3fqdCt72nM0oPgdh +=GKdn -----END PGP SIGNATURE----- |