summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2004-01-22 21:37:06 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2004-01-22 21:37:06 +0000
commit3971eb96303c0048d77dce18e22c3d2848d15643 (patch)
treeaa8a7f9a83b1b0c5bc926725970a9d239ef23610 /app-emacs/proofgeneral
parentFix URI's (diff)
downloadhistorical-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/Manifest5
-rw-r--r--app-emacs/proofgeneral/proofgeneral-3.4.ebuild8
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)"
}