diff options
| author |   Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:28 +0000 |
|---|---|---|
| committer | Alexander Vershilov <qnikst@gentoo.org> | 2012-09-12 16:10:28 +0000 |
| commit | 521de4417a90232577fde64ec9502a7cd95ea3e6 (patch) | |
| tree | a435a57f5eadb9cce1bb2b2f83eee66ac073c268 /sci-mathematics/agda/ChangeLog | |
| parent | move dev-vcs/darcs/darcs-2.8.0.ebuild ebuild to mirror://hackage (diff) | |
| download | gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.tar.gz gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.tar.bz2 gentoo-2-521de4417a90232577fde64ec9502a7cd95ea3e6.zip | |
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index df1804229ab9..08670771cef6 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.16 2012/06/02 09:21:19 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.17 2012/09/12 16:10:28 qnikst Exp $ + + 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> agda-2.3.0.1.ebuild, + agda-2.3.0.ebuild: + move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage 02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild, agda-2.3.0.ebuild: @@ -90,4 +94,3 @@ +agda-20050601.ebuild: Initial commit. The doc generation is broken for now due to unsupported haddock stuff. - |