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 | 3971eb96303c0048d77dce18e22c3d2848d15643 (patch) | |
| tree | aa8a7f9a83b1b0c5bc926725970a9d239ef23610 /app-emacs/proofgeneral | |
| parent | Fix URI's (diff) | |
| download | historical-3971eb96303c0048d77dce18e22c3d2848d15643.tar.gz historical-3971eb96303c0048d77dce18e22c3d2848d15643.tar.bz2 historical-3971eb96303c0048d77dce18e22c3d2848d15643.zip | |
Fix URI's
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 5 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.4.ebuild | 8 |
2 files changed, 6 insertions, 7 deletions
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)" } |