[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.1_p1.ebuild coq-8.1_p2.ebuild

[Alexis Ballier (aballier)]

aballier    08/04/01 18:37:46

  Modified:             ChangeLog
  Removed:              coq-8.1_p1.ebuild coq-8.1_p2.ebuild
  Log:
  remove unused version
  (Portage version: 2.1.4.4)

Revision  Changes    Path
1.28                 sci-mathematics/coq/ChangeLog

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

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -r1.27 -r1.28
--- ChangeLog	6 Mar 2008 17:25:56 -0000	1.27
+++ ChangeLog	1 Apr 2008 18:37:45 -0000	1.28
@@ -1,6 +1,10 @@
 # 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.27 2008/03/06 17:25:56 tove Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.28 2008/04/01 18:37:45 aballier Exp $
+
+  01 Apr 2008; Alexis Ballier <aballier@g.o> -coq-8.1_p1.ebuild,
+  -coq-8.1_p2.ebuild:
+  remove unused version
 
   16 Jan 2008; Alexis Ballier <aballier@g.o> coq-8.1_p3.ebuild:
   restrict also installsources as it has the same problem with ocaml... it



-- 
gentoo-commits@l.g.o mailing list