* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2008-11-07 8:35 Alexis Ballier (aballier)
0 siblings, 0 replies; 6+ messages in thread
From: Alexis Ballier (aballier) @ 2008-11-07 8:35 UTC (permalink / raw
To: gentoo-commits
aballier 08/11/07 08:35:21
Modified: ChangeLog
Added: coq-8.1_p4.ebuild
Log:
Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the ide useflag to gtk which makes more sense. Some cleanup in the ebuild.
(Portage version: 2.2_rc12/cvs/Linux 2.6.27.4 x86_64)
Revision Changes Path
1.35 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.35&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.35&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.34&r2=1.35
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.34
retrieving revision 1.35
diff -u -r1.34 -r1.35
--- ChangeLog 17 Oct 2008 15:23:12 -0000 1.34
+++ ChangeLog 7 Nov 2008 08:35:21 -0000 1.35
@@ -1,6 +1,12 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.34 2008/10/17 15:23:12 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.35 2008/11/07 08:35:21 aballier Exp $
+
+*coq-8.1_p4 (07 Nov 2008)
+
+ 07 Nov 2008; Alexis Ballier <aballier@gentoo.org> +coq-8.1_p4.ebuild:
+ Version bump by Sigmatador <sigmatador@gmail.com>, bug #245802. Rename the
+ ide useflag to gtk which makes more sense. Some cleanup in the ebuild.
*coq-8.1_p3-r1 (17 Oct 2008)
1.1 sci-mathematics/coq/coq-8.1_p4.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.1&content-type=text/plain
Index: coq-8.1_p4.ebuild
===================================================================
# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.1 2008/11/07 08:35:21 aballier Exp $
EAPI="2"
inherit eutils multilib
RESTRICT="strip installsources"
MY_PV="${PV/_p/pl}"
MY_P="${PN}-${MY_PV}"
DESCRIPTION="Coq is a proof assistant written in O'Caml"
HOMEPAGE="http://coq.inria.fr/"
SRC_URI="http://coq.inria.fr/V${MY_PV}/files/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~sparc ~x86"
IUSE="norealanalysis gtk debug +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
>=dev-ml/camlp5-5.09[ocamlopt?]
gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
S="${WORKDIR}/${MY_P}"
src_prepare() {
epatch "${FILESDIR}/${PN}-8.1_p3-noocamlopt.patch"
epatch "${FILESDIR}/${PN}-8.1_p3-cmxa-install.dpatch"
}
src_configure() {
ocaml_lib=`ocamlc -where`
local myconf="--prefix /usr \
--bindir /usr/bin \
--libdir /usr/$(get_libdir)/coq \
--mandir /usr/share/man \
--emacslib /usr/share/emacs/site-lisp \
--coqdocdir /usr/$(get_libdir)/coq/coqdoc
--camlp5dir ${ocaml_lib}/camlp5
--lablgtkdir ${ocaml_lib}/lablgtk2"
use debug && myconf="--debug $myconf"
use norealanalysis && myconf="$myconf --reals no"
use norealanalysis || myconf="$myconf --reals all"
if use gtk; then
use ocamlopt && myconf="$myconf --coqide opt"
use ocamlopt || myconf="$myconf --coqide byte"
else
myconf="$myconf --coqide no"
fi
use ocamlopt || myconf="$myconf -byte-only"
./configure $myconf || die "configure failed"
}
src_compile() {
emake -j1 || die "make failed"
}
src_install() {
emake COQINSTALLPREFIX="${D}" install || die
dodoc README CREDITS CHANGES
use gtk && domenu "${FILESDIR}/coqide.desktop"
}
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2009-01-12 2:45 Jeremy Olexa (darkside)
0 siblings, 0 replies; 6+ messages in thread
From: Jeremy Olexa (darkside) @ 2009-01-12 2:45 UTC (permalink / raw
To: gentoo-commits
darkside 09/01/12 02:45:19
Modified: ChangeLog coq-8.1_p4.ebuild
Log:
amd64 stable, bug 254073
(Portage version: 2.2_rc20/cvs/Linux 2.6.27.10 x86_64)
Revision Changes Path
1.36 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.36&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.36&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.35&r2=1.36
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -r1.35 -r1.36
--- ChangeLog 7 Nov 2008 08:35:21 -0000 1.35
+++ ChangeLog 12 Jan 2009 02:45:19 -0000 1.36
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
-# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.35 2008/11/07 08:35:21 aballier Exp $
+# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.36 2009/01/12 02:45:19 darkside Exp $
+
+ 12 Jan 2009; Jeremy Olexa <darkside@gentoo.org> coq-8.1_p4.ebuild:
+ amd64 stable, bug 254073
*coq-8.1_p4 (07 Nov 2008)
1.2 sci-mathematics/coq/coq-8.1_p4.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?r1=1.1&r2=1.2
Index: coq-8.1_p4.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- coq-8.1_p4.ebuild 7 Nov 2008 08:35:21 -0000 1.1
+++ coq-8.1_p4.ebuild 12 Jan 2009 02:45:19 -0000 1.2
@@ -1,6 +1,6 @@
-# Copyright 1999-2008 Gentoo Foundation
+# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.1 2008/11/07 08:35:21 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.2 2009/01/12 02:45:19 darkside Exp $
EAPI="2"
@@ -17,7 +17,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="amd64 ~ppc ~sparc ~x86"
IUSE="norealanalysis gtk debug +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2009-01-12 13:16 Ferris McCormick (fmccor)
0 siblings, 0 replies; 6+ messages in thread
From: Ferris McCormick (fmccor) @ 2009-01-12 13:16 UTC (permalink / raw
To: gentoo-commits
fmccor 09/01/12 13:16:35
Modified: ChangeLog coq-8.1_p4.ebuild
Log:
Sparc stable, Bug #254073.
(Portage version: 2.2_rc20/cvs/Linux 2.6.22-gentoo-r9-ail-simulation-sensors x86_64)
Revision Changes Path
1.37 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.37&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.37&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.36&r2=1.37
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.36
retrieving revision 1.37
diff -u -r1.36 -r1.37
--- ChangeLog 12 Jan 2009 02:45:19 -0000 1.36
+++ ChangeLog 12 Jan 2009 13:16:35 -0000 1.37
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.36 2009/01/12 02:45:19 darkside Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.37 2009/01/12 13:16:35 fmccor Exp $
+
+ 12 Jan 2009; Ferris McCormick <fmccor@gentoo.org> coq-8.1_p4.ebuild:
+ Sparc stable, Bug #254073.
12 Jan 2009; Jeremy Olexa <darkside@gentoo.org> coq-8.1_p4.ebuild:
amd64 stable, bug 254073
1.3 sci-mathematics/coq/coq-8.1_p4.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?r1=1.2&r2=1.3
Index: coq-8.1_p4.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- coq-8.1_p4.ebuild 12 Jan 2009 02:45:19 -0000 1.2
+++ coq-8.1_p4.ebuild 12 Jan 2009 13:16:35 -0000 1.3
@@ -1,6 +1,6 @@
# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.2 2009/01/12 02:45:19 darkside Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.3 2009/01/12 13:16:35 fmccor Exp $
EAPI="2"
@@ -17,7 +17,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~ppc ~sparc ~x86"
+KEYWORDS="amd64 ~ppc sparc ~x86"
IUSE="norealanalysis gtk debug +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2009-01-12 21:40 Markus Meier (maekke)
0 siblings, 0 replies; 6+ messages in thread
From: Markus Meier (maekke) @ 2009-01-12 21:40 UTC (permalink / raw
To: gentoo-commits
maekke 09/01/12 21:40:11
Modified: ChangeLog coq-8.1_p4.ebuild
Log:
x86 stable, bug #254073
(Portage version: 2.1.6.4/cvs/Linux 2.6.28 x86_64)
Revision Changes Path
1.38 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.38&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.38&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.37&r2=1.38
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -r1.37 -r1.38
--- ChangeLog 12 Jan 2009 13:16:35 -0000 1.37
+++ ChangeLog 12 Jan 2009 21:40:11 -0000 1.38
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.37 2009/01/12 13:16:35 fmccor Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.38 2009/01/12 21:40:11 maekke Exp $
+
+ 12 Jan 2009; Markus Meier <maekke@gentoo.org> coq-8.1_p4.ebuild:
+ x86 stable, bug #254073
12 Jan 2009; Ferris McCormick <fmccor@gentoo.org> coq-8.1_p4.ebuild:
Sparc stable, Bug #254073.
1.4 sci-mathematics/coq/coq-8.1_p4.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?r1=1.3&r2=1.4
Index: coq-8.1_p4.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- coq-8.1_p4.ebuild 12 Jan 2009 13:16:35 -0000 1.3
+++ coq-8.1_p4.ebuild 12 Jan 2009 21:40:11 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.3 2009/01/12 13:16:35 fmccor Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.4 2009/01/12 21:40:11 maekke Exp $
EAPI="2"
@@ -17,7 +17,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~ppc sparc ~x86"
+KEYWORDS="amd64 ~ppc sparc x86"
IUSE="norealanalysis gtk debug +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2009-01-17 16:45 Gysbert Wassenaar (nixnut)
0 siblings, 0 replies; 6+ messages in thread
From: Gysbert Wassenaar (nixnut) @ 2009-01-17 16:45 UTC (permalink / raw
To: gentoo-commits
nixnut 09/01/17 16:45:45
Modified: ChangeLog coq-8.1_p4.ebuild
Log:
ppc stable #254073
(Portage version: 2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc)
Revision Changes Path
1.39 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.39&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.39&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.38&r2=1.39
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -r1.38 -r1.39
--- ChangeLog 12 Jan 2009 21:40:11 -0000 1.38
+++ ChangeLog 17 Jan 2009 16:45:45 -0000 1.39
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.38 2009/01/12 21:40:11 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.39 2009/01/17 16:45:45 nixnut Exp $
+
+ 17 Jan 2009; nixnut <nixnut@gentoo.org> coq-8.1_p4.ebuild:
+ ppc stable #254073
12 Jan 2009; Markus Meier <maekke@gentoo.org> coq-8.1_p4.ebuild:
x86 stable, bug #254073
1.5 sci-mathematics/coq/coq-8.1_p4.ebuild
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.5&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?rev=1.5&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild?r1=1.4&r2=1.5
Index: coq-8.1_p4.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- coq-8.1_p4.ebuild 12 Jan 2009 21:40:11 -0000 1.4
+++ coq-8.1_p4.ebuild 17 Jan 2009 16:45:45 -0000 1.5
@@ -1,6 +1,6 @@
# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.4 2009/01/12 21:40:11 maekke Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.5 2009/01/17 16:45:45 nixnut Exp $
EAPI="2"
@@ -17,7 +17,7 @@
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~ppc sparc x86"
+KEYWORDS="amd64 ppc sparc x86"
IUSE="norealanalysis gtk debug +ocamlopt"
DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
^ permalink raw reply [flat|nested] 6+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild
@ 2010-03-10 11:50 Alexis Ballier (aballier)
0 siblings, 0 replies; 6+ messages in thread
From: Alexis Ballier (aballier) @ 2010-03-10 11:50 UTC (permalink / raw
To: gentoo-commits
aballier 10/03/10 11:50:53
Modified: ChangeLog
Removed: coq-8.1_p4.ebuild
Log:
remove old
(Portage version: 2.2_rc67/cvs/Linux x86_64)
Revision Changes Path
1.51 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.51&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.51&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.50&r2=1.51
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.50
retrieving revision 1.51
diff -u -r1.50 -r1.51
--- ChangeLog 20 Jan 2010 19:49:15 -0000 1.50
+++ ChangeLog 10 Mar 2010 11:50:53 -0000 1.51
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.50 2010/01/20 19:49:15 bicatali Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.51 2010/03/10 11:50:53 aballier Exp $
+
+ 10 Mar 2010; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p4.ebuild,
+ -files/coq-8.1_p3-cmxa-install.dpatch, -files/coq-8.1_p3-noocamlopt.patch:
+ remove old
20 Jan 2010; Sébastien Fabbro <bicatali@gentoo.org> coq-8.2_p1-r1.ebuild:
Added dev-texlive/texlive-pictures, bug #292630
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2010-03-10 11:50 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2009-01-12 21:40 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p4.ebuild Markus Meier (maekke)
-- strict thread matches above, loose matches on Subject: below --
2010-03-10 11:50 Alexis Ballier (aballier)
2009-01-17 16:45 Gysbert Wassenaar (nixnut)
2009-01-12 13:16 Ferris McCormick (fmccor)
2009-01-12 2:45 Jeremy Olexa (darkside)
2008-11-07 8:35 Alexis Ballier (aballier)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox