diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2008-11-17 19:57:17 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2008-11-17 19:57:17 +0000 |
| commit | 2808781d330273b285fa681c62e92a3ec1a05a17 (patch) | |
| tree | 76fca06ed07e93875d0cb95ea6b201a9a21e2885 /app-emacs/proofgeneral | |
| parent | Fix patch to apply. (diff) | |
| download | historical-2808781d330273b285fa681c62e92a3ec1a05a17.tar.gz historical-2808781d330273b285fa681c62e92a3ec1a05a17.tar.bz2 historical-2808781d330273b285fa681c62e92a3ec1a05a17.zip | |
Fix patch to apply.
Package-Manager: portage-2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch | 4 |
3 files changed, 19 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index b7ed63349b8c..784024e33ec6 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.22 2008/04/12 08:58:07 nixnut Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.23 2008/11/17 19:57:17 flameeyes Exp $ + + 17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org> + files/proofgeneral-3.5_isabelle-non-interactive.patch: + Fix patch to apply. 12 Apr 2008; nixnut <nixnut@gentoo.org> proofgeneral-3.7.ebuild: Stable on ppc wrt bug 215344 diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index a1d94aa7050b..535b5416b9e3 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,8 +1,18 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac -AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 +AUX proofgeneral-3.5_isabelle-non-interactive.patch 1260 RMD160 2bb8ee89231c9507c9fc6f0f87004ba8ae647b87 SHA1 39db1f7878814a5ba9d6ad1292cba20394dfd503 SHA256 c8975ac4e30bfc7ca946ce0fef7c2ff2dcf0e6178428dc28107f9757f2165210 DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e EBUILD proofgeneral-3.5-r1.ebuild 1342 RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 SHA1 445d3f7e43c97c33d2262af7ccf96591e5d41775 SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803 EBUILD proofgeneral-3.7.ebuild 1250 RMD160 7b33b5ae5c1707ad6988189ca2d7174e591b85d2 SHA1 2b60ce91b5bc0443e8cd2af61be79f5de74b6124 SHA256 881436c3d80cc0fc99e1cabf9c223f2889870784fab01c997f82e0dfaef5e7a1 -MISC ChangeLog 3271 RMD160 7c4fcf3955f8571d461e392750125324b494c187 SHA1 44718f6304cfa0d91c29c354b050566482553107 SHA256 15b7a9ca688edcc04fd60cab2e29d261f917427debb867c39caecf3e3a348976 +MISC ChangeLog 3410 RMD160 0ef543f81970f3ae727a9328e46fa0d233115e6f SHA1 b48144f7daa1de58e66610085fa5f7d84eb3328a SHA256 38114448c260b481e82174887ebcb9f19a5919664488d11c43bec6a1a8a1c3e6 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.9 (GNU/Linux) + +iEYEARECAAYFAkkhzKIACgkQAiZjviIA2XiBswCg7/8Kii6P6oF87suHtrtex5Cg +l2YAnjaIEH1zEv5y3klMNbgCTkfAznOp +=93Cb +-----END PGP SIGNATURE----- diff --git a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch index 444a344b6569..e81ad7a1178c 100644 --- a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch +++ b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch @@ -1,5 +1,5 @@ ---- /tmp/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100 -+++ isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100 +--- a/isa/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100 ++++ b/isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100 @@ -64,26 +64,6 @@ (defvar isatool-not-found nil "Non-nil if user has been prompted for `isatool' already and it wasn't found.") |