* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog
@ 2008-03-06 17:25 Torsten Veller (tove)
0 siblings, 0 replies; 3+ messages in thread
From: Torsten Veller (tove) @ 2008-03-06 17:25 UTC (permalink / raw
To: gentoo-commits
tove 08/03/06 17:25:56
Modified: ChangeLog
Log:
Fixed encoding in ChangeLog
(Portage version: 2.1.4.4)
Revision Changes Path
1.27 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.27&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.27&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.26&r2=1.27
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.26
retrieving revision 1.27
diff -u -r1.26 -r1.27
--- ChangeLog 16 Jan 2008 13:35:34 -0000 1.26
+++ ChangeLog 6 Mar 2008 17:25:56 -0000 1.27
@@ -1,6 +1,6 @@
# 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.26 2008/01/16 13:35:34 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.27 2008/03/06 17:25:56 tove Exp $
16 Jan 2008; Alexis Ballier <aballier@gentoo.org> coq-8.1_p3.ebuild:
restrict also installsources as it has the same problem with ocaml... it
@@ -58,7 +58,7 @@
31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
Reassigning to sci from math-proof (see #138059 for reference).
- 02 Jul 2007; Piotr Jaroszyński <peper@gentoo.org> coq-8.0-r1.ebuild,
+ 02 Jul 2007; Piotr Jaroszyński <peper@gentoo.org> coq-8.0-r1.ebuild,
coq-8.0_p3.ebuild:
(QA) RESTRICT clean up.
--
gentoo-commits@lists.gentoo.org mailing list
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog
@ 2012-08-24 13:41 Alexis Ballier (aballier)
0 siblings, 0 replies; 3+ messages in thread
From: Alexis Ballier (aballier) @ 2012-08-24 13:41 UTC (permalink / raw
To: gentoo-commits
aballier 12/08/24 13:41:32
Modified: ChangeLog
Log:
Add Science category to the desktop entry, fixing a repoman warning.
(Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
Revision Changes Path
1.72 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.72&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.72&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.71&r2=1.72
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.71
retrieving revision 1.72
diff -u -r1.71 -r1.72
--- ChangeLog 24 Aug 2012 13:39:48 -0000 1.71
+++ ChangeLog 24 Aug 2012 13:41:32 -0000 1.72
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.71 2012/08/24 13:39:48 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.72 2012/08/24 13:41:32 aballier Exp $
+
+ 24 Aug 2012; Alexis Ballier <aballier@gentoo.org> files/coqide.desktop:
+ Add Science category to the desktop entry, fixing a repoman warning.
24 Aug 2012; Alexis Ballier <aballier@gentoo.org> +files/lablgtk216.patch,
coq-8.3_p4.ebuild:
^ permalink raw reply [flat|nested] 3+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog
@ 2015-03-20 7:55 Justin Lecher (jlec)
0 siblings, 0 replies; 3+ messages in thread
From: Justin Lecher (jlec) @ 2015-03-20 7:55 UTC (permalink / raw
To: gentoo-commits
jlec 15/03/20 07:55:39
Modified: ChangeLog
Log:
Fix desktop file
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
Revision Changes Path
1.86 sci-mathematics/coq/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.86&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.86&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.85&r2=1.86
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.85
retrieving revision 1.86
diff -u -r1.85 -r1.86
--- ChangeLog 15 Feb 2015 06:46:47 -0000 1.85
+++ ChangeLog 20 Mar 2015 07:55:39 -0000 1.86
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.85 2015/02/15 06:46:47 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.86 2015/03/20 07:55:39 jlec Exp $
+
+ 20 Mar 2015; Justin Lecher <jlec@gentoo.org> files/coqide.desktop:
+ Fix desktop file
15 Feb 2015; Mark Wright <gienah@gentoo.org>
+files/coq-8.4_p5-do-not-install-revision.patch,
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-03-20 7:55 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-03-06 17:25 [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog Torsten Veller (tove)
-- strict thread matches above, loose matches on Subject: below --
2012-08-24 13:41 Alexis Ballier (aballier)
2015-03-20 7:55 Justin Lecher (jlec)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox