Move 3.5 to stable, remove old version.

5 files changed, 9 insertions, 60 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index f305ed7971bf..c24d2f81cc6e 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.6 2004/06/24 22:20:35 agriffis Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.7 2004/10/09 14:08:23 mattam Exp $
+
+  09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild,
+  proofgeneral-3.5.ebuild:
+  Move 3.5 to stable, remove old version.
 
 *proofgeneral-3.5 (20 Jun 2004)
 
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 61c9a1f291ce..4559bb068710 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,7 +1,5 @@
-MD5 d5967b97d39adc1f57df9cf08b4bd078 proofgeneral-3.5.ebuild 1327
-MD5 15b1f675cebf45a18ad9f9cee9aad5f5 proofgeneral-3.4.ebuild 1269
-MD5 452ea2284c6592856ec7dd06ba748489 ChangeLog 967
+MD5 9ebc0bb952e5df2ec1e1df12cd80b791 proofgeneral-3.5.ebuild 1323
+MD5 e0ec711d48c9d9ba749eae16f7377491 ChangeLog 1112
 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
-MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
 MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69
 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
deleted file mode 100644
index 4fdb13f9263e..000000000000
--- a/app-emacs/proofgeneral/files/digest-proofgeneral-3.4
+++ /dev/null
@@ -1 +0,0 @@
-MD5 83eafa68f0c733800b2da3a6a22c31d7 ProofGeneral-3.4.tar.gz 762807
diff --git a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild b/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
deleted file mode 100644
index 3204df5cfc9d..000000000000
--- a/app-emacs/proofgeneral/proofgeneral-3.4.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2004 Gentoo Foundation
-# 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.6 2004/06/24 22:20:35 agriffis Exp $
-
-SIMPLE_ELISP='nil'
-inherit elisp
-
-MY_PN="ProofGeneral"
-
-DESCRIPTION="Proof General is a generic interface for proof assistants"
-HOMEPAGE="http://proofgeneral.inf.ed.ac.uk/"
-SRC_URI="http://proofgeneral.inf.ed.ac.uk/${MY_PN}-${PV}.tar.gz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="x86 ppc"
-IUSE=""
-
-DEPEND="virtual/emacs"
-
-S="${WORKDIR}/${MY_PN}"
-
-SITEFILE=50proofgeneral-gentoo.el
-
-src_compile() {
-	einfo "Byte compilation not supported yet (see the INSTALL file)"
-}
-
-src_install() {
-	for dir in etc generic lego coq isa isar plastic demoisa hol98 phox twelf acl2
-	do
-		cd $dir
-		elisp-install ${PN}/$dir *
-		cd ..
-	done
-	elisp-site-file-install ${FILESDIR}/${SITEFILE}
-	dohtml doc/*.html doc/*.jpg
-	doinfo doc/*.info*
-	dobin bin/*
-	dodoc README* TODO AUTHORS BUGS CHANGES FAQ INSTALL REGISTER
-}
-
-pkg_postinst() {
-	elisp-site-regen
-	einfo "Please register your use of Proof General on the web at:"
-	einfo "  http://proofgeneral.inf.ed.ac.uk/register "
-	einfo "(see the REGISTER file for more information)"
-}
-
-pkg_postrm() {
-	elisp-site-regen
-}
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
index b51f3f3ab6ba..c15587a17313 100644
--- a/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-3.5.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2004 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.2 2004/06/24 22:20:35 agriffis Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5.ebuild,v 1.3 2004/10/09 14:08:23 mattam Exp $
 
 SIMPLE_ELISP='nil'
 inherit elisp
@@ -13,7 +13,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz"
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~x86 ~ppc"
+KEYWORDS="x86 ppc"
 IUSE=""
 
 DEPEND="virtual/emacs"