diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-01-22 21:36:57 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-22 21:36:57 +0000 |
| commit | 19c7acda973a1c78b777b78e6941fb7394c7cff7 (patch) | |
| tree | 7bb04be1e83281bdb21db377a8db135a8f6af54f /app-emacs/proofgeneral | |
| parent | remove vcron (diff) | |
| download | historical-19c7acda973a1c78b777b78e6941fb7394c7cff7.tar.gz historical-19c7acda973a1c78b777b78e6941fb7394c7cff7.tar.bz2 historical-19c7acda973a1c78b777b78e6941fb7394c7cff7.zip | |
Fix URI's
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 5 |
2 files changed, 7 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 880f437a0308..4dfd974c5e83 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.1 2004/01/21 21:31:09 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.2 2004/01/22 21:36:57 mattam Exp $ + + 22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: + Fix URI's, site has changed location. *proofgeneral-3.4 (21 Jan 2004) diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 93be39cd0329..a3e4ae887306 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,6 @@ -MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild 1268 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 MD5 ca55e0be6af83b1a621c953968346bca ChangeLog 425 -MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild.~1.1.~ 1268 +MD5 d974b1bb8dd8e60de9a7611db8108fb1 proofgeneral-3.4.ebuild 1278 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 +MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 |