remove ptex dep as it is going away
authorAlexis Ballier <aballier@gentoo.org>
Wed, 5 Oct 2011 18:54:43 +0000 (18:54 +0000)
committerAlexis Ballier <aballier@gentoo.org>
Wed, 5 Oct 2011 18:54:43 +0000 (18:54 +0000)
Package-Manager: portage-2.2.0_alpha61/cvs/Linux x86_64

sci-mathematics/coq/ChangeLog
sci-mathematics/coq/Manifest
sci-mathematics/coq/coq-8.3_p1.ebuild
sci-mathematics/coq/coq-8.3_p2.ebuild

index f8cc3cfbfb38e66ac87a16bb60e6a5846b43380f..eb83a476b86b0fb34bc10b5a5086ee2c9e19302c 100644 (file)
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.66 2011/08/13 12:53:00 tomka Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.67 2011/10/05 18:54:43 aballier Exp $
+
+  05 Oct 2011; Alexis Ballier <aballier@gentoo.org> coq-8.3_p1.ebuild,
+  coq-8.3_p2.ebuild:
+  remove ptex dep as it is going away
 
 *coq-8.3_p2 (13 Aug 2011)
 
index ac27846377600ba757fa61d43f9f95a7cb0320ce..b65a02ea1e3ff60a37dc9887f90d1108cf07d360 100644 (file)
@@ -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-----
index 1b618e487845d24cbea9ae83f35085bdd93eaaac..f5ad7858e4c37b38ede49cfb7128e7a048057286 100644 (file)
@@ -1,6 +1,6 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.5 2011/06/03 15:02:14 ranger Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.6 2011/10/05 18:54:43 aballier Exp $
 
 EAPI="2"
 
@@ -27,9 +27,9 @@ DEPEND="${RDEPEND}
                virtual/latex-base
                dev-tex/hevea
                dev-tex/xcolor
-               || ( dev-texlive/texlive-pictures app-text/ptex )
-               || ( dev-texlive/texlive-mathextra app-text/ptex )
-               || ( dev-texlive/texlive-latexextra app-text/ptex )
+               dev-texlive/texlive-pictures
+               dev-texlive/texlive-mathextra
+               dev-texlive/texlive-latexextra
                )"
 
 S=${WORKDIR}/${MY_P}
index 38438f4fd8ce8c3455db057053680dc58041dd0d..24cd4b890f1026286b888d501467cfdb0c2f33ed 100644 (file)
@@ -1,6 +1,6 @@
 # Copyright 1999-2011 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p2.ebuild,v 1.1 2011/08/13 12:53:00 tomka Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p2.ebuild,v 1.2 2011/10/05 18:54:43 aballier Exp $
 
 EAPI="2"
 
@@ -27,9 +27,9 @@ DEPEND="${RDEPEND}
                virtual/latex-base
                dev-tex/hevea
                dev-tex/xcolor
-               || ( dev-texlive/texlive-pictures app-text/ptex )
-               || ( dev-texlive/texlive-mathextra app-text/ptex )
-               || ( dev-texlive/texlive-latexextra app-text/ptex )
+               dev-texlive/texlive-pictures
+               dev-texlive/texlive-mathextra
+               dev-texlive/texlive-latexextra
                )"
 
 S=${WORKDIR}/${MY_P}