diff options
| author |   Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:31 +0000 |
|---|---|---|
| committer | Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:31 +0000 |
| commit | f4fef29164e7cf9596c30a4f364f7ebf73f25d11 (patch) | |
| tree | 509a9f2e4b9f6045555ba356b4fab83d00562c42 /sci-mathematics/isabelle/ChangeLog | |
| parent | Depend on dev-libs/antlr-c instead of using the bundled version, now that a n... (diff) | |
| download | gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.tar.gz gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.tar.bz2 gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.zip | |
Fix SRC_URI and HOMEPAGE (case-sensitive).
(Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
Diffstat (limited to 'sci-mathematics/isabelle/ChangeLog')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index 16ba9db3930e..f4e87f8f7a7b 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/isabelle # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.9 2013/08/31 09:24:13 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.10 2013/09/01 08:30:31 zmedico Exp $ + + 01 Sep 2013; Zac Medico <zmedico@gentoo.org> isabelle-2013.ebuild: + Fix SRC_URI and HOMEPAGE (case-sensitive). *isabelle-2013 (31 Aug 2013) |