[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.0-r1.ebuild

[Alexis Ballier (aballier)]

aballier    07/10/20 15:51:44

  Modified:             ChangeLog
  Removed:              coq-8.0-r1.ebuild
  Log:
  remove old versions
  (Portage version: 2.1.3.15)

Revision  Changes    Path
1.19                 sci-mathematics/coq/ChangeLog

file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.19&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.19&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.18&r2=1.19

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -r1.18 -r1.19
--- ChangeLog	20 Oct 2007 15:37:29 -0000	1.18
+++ ChangeLog	20 Oct 2007 15:51:44 -0000	1.19
@@ -1,6 +1,11 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.18 2007/10/20 15:37:29 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.19 2007/10/20 15:51:44 aballier Exp $
+
+  20 Oct 2007; Alexis Ballier <aballier@g.o> -files/ocaml-3.07.patch,
+  -files/coq-8.0-byteflags.patch, -files/coq-8.0-ocaml-3.08.1.patch,
+  -coq-8.0-r1.ebuild:
+  remove old versions
 
 *coq-8.1_p2 (20 Oct 2007)
 



-- 
gentoo-commits@g.o mailing list