diff options
| author |   Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:20 +0000 |
|---|---|---|
| committer | Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:20 +0000 |
| commit | 740318c26b68959e74cdbc6c461f1f00e23b3fd8 (patch) | |
| tree | 83de63d8a1c0428a7d017915d8c02328cd99b0cf /sci-mathematics/agda/ChangeLog | |
| parent | Drop virtual/ghc in favour of dev-lang/ghc (diff) | |
| download | gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.tar.gz gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.tar.bz2 gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.zip | |
Drop virtual/ghc in favour of dev-lang/ghc
(Portage version: 2.1.3.16)
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 97cc3f403ee6..2e50555d3b51 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.5 2007/09/23 12:12:04 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.6 2007/10/31 13:28:20 dcoutts Exp $ + + 31 Oct 2007; Duncan Coutts <dcoutts@gentoo.org> agda-1.0.2.ebuild, + agda-1.0.2-r1.ebuild: + Drop virtual/ghc in favour of dev-lang/ghc *agda-1.0.2-r1 (23 Sep 2007) |