diff options
author | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-22 21:37:06 +0000 |
---|---|---|
committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-22 21:37:06 +0000 |
commit | 3f7aba007a07b2d63d53f527eefdfd00f34d5f48 (patch) | |
tree | 70c9afcccd06dc683b50de2fe476a72727986d63 /app-emacs/proofgeneral | |
parent | Fix URI's (diff) | |
download | gentoo-2-3f7aba007a07b2d63d53f527eefdfd00f34d5f48.tar.gz gentoo-2-3f7aba007a07b2d63d53f527eefdfd00f34d5f48.tar.bz2 gentoo-2-3f7aba007a07b2d63d53f527eefdfd00f34d5f48.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 | ||||
-rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.4.ebuild | 8 |
3 files changed, 10 insertions, 8 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 a3e4ae887306..b6f71a7bbb65 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,6 +1,5 @@ MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 ca55e0be6af83b1a621c953968346bca ChangeLog 425 -MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild.~1.1.~ 1268 -MD5 d974b1bb8dd8e60de9a7611db8108fb1 proofgeneral-3.4.ebuild 1278 +MD5 ea92b64cf8a0dfefc6ec04780e4dffe5 ChangeLog 542 +MD5 51893d7e216e518379a4533883c86a7b proofgeneral-3.4.ebuild 1283 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild index 24ef342dedd7..b197ab3f2270 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2004 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.1 2004/01/21 21:31:09 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.4.ebuild,v 1.2 2004/01/22 21:36:57 mattam Exp $ SIMPLE_ELISP='nil' inherit elisp @@ -11,8 +11,8 @@ PN="ProofGeneral" P="$PN-$PV" DESCRIPTION="Proof General is a generic interface for proof assistants" -HOMEPAGE="http://www.proofgeneral.org/" -SRC_URI="http://www.proofgeneral.org/${P}.tar.gz" +HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/" +SRC_URI="http://proofgeneral.inf.ed.ac.uk/${P}.tar.gz" LICENSE="GPL-2" SLOT="0" KEYWORDS="~x86 ~ppc" @@ -45,7 +45,7 @@ src_install() { pkg_postinst() { elisp-site-regen einfo "Please register your use of Proof General on the web at:" - einfo " http://www.proofgeneral.org/register " + einfo " http://proofgeneral.inf.ed.ac.uk/register " einfo "(see the REGISTER file for more information)" } |