[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda-stdlib: ChangeLog agda-stdlib-0.7-r1.ebuild agda-stdlib-0.7.ebuild

[Sergei Trofimovich (slyfox)]

slyfox      15/08/02 10:49:32

  Modified:             ChangeLog
  Removed:              agda-stdlib-0.7-r1.ebuild agda-stdlib-0.7.ebuild
  Log:
  Drop old.
  
  (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

Revision  Changes    Path
1.9                  sci-mathematics/agda-stdlib/ChangeLog

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.9&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.9&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?r1=1.8&r2=1.9

Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- ChangeLog	30 Jan 2015 03:04:58 -0000	1.8
+++ ChangeLog	2 Aug 2015 10:49:32 -0000	1.9
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/agda-stdlib
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $
+
+  02 Aug 2015; Sergei Trofimovich <slyfox@g.o>
+  -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild:
+  Drop old.
 
   30 Jan 2015; Patrick Lauer <patrick@g.o> -agda-stdlib-0.6.ebuild:
   Remove old version with unsatisfied dependencies