diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:17 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:17 +0000 |
| commit | 65de79e6de2238ecbe04418973cc9e07ed2b4689 (patch) | |
| tree | 776967b3a9408fdcab47ce591453cb294d5dfb1d | |
| parent | removed question for executable, so this ebuild is not interactive anymore. ... (diff) | |
| download | gentoo-2-65de79e6de2238ecbe04418973cc9e07ed2b4689.tar.gz gentoo-2-65de79e6de2238ecbe04418973cc9e07ed2b4689.tar.bz2 gentoo-2-65de79e6de2238ecbe04418973cc9e07ed2b4689.zip | |
removed question for executable, so this ebuild is not interactive anymore. Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org>
(Portage version: 2.1.1-r1)
(Signed Manifest commit)
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 42 |
1 files changed, 34 insertions, 8 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index e4c0e7d19d88..dc453eb009c1 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,15 +1,41 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 -MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 71ecc80445470ecbd2923f9dac6000ad ChangeLog 1260 -MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330 -MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 +AUX 50proofgeneral-gentoo.el 150 RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 SHA1 4f3fa87e00711d88458da71f7e61fd86e88a5c42 SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +RMD160 59d728b3ea219dec2746316d16a2009455f6fbb8 files/50proofgeneral-gentoo.el 150 +SHA256 b85a62f738ddef058a30fc0cd69b630894314aad9fcecb8686a58991d04f9fcb files/50proofgeneral-gentoo.el 150 +AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 +MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 +RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 +SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 +DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b +EBUILD proofgeneral-3.5-r1.ebuild 1441 RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf SHA1 6cf00626e3b72d7c1587ca3990908efd095a73c1 SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba +MD5 2504c8b61b28f8932205531896ab408a proofgeneral-3.5-r1.ebuild 1441 +RMD160 7da2a16ae2469b9b2a44ff6fe98e3e2708a92bcf proofgeneral-3.5-r1.ebuild 1441 +SHA256 b681a2df6c155ad64222689e1fb58469a70a89e0c8656ee4b012a3bba0daf0ba proofgeneral-3.5-r1.ebuild 1441 +EBUILD proofgeneral-3.5.ebuild 1330 RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 SHA1 e8d572c5a8314883a2871183f3f0a74422c61c67 SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f +MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330 +RMD160 e3309384b0bcbab0346cd5f36808e90ae47ea6e7 proofgeneral-3.5.ebuild 1330 +SHA256 562569e95ad1149f8e1949daad90210ea44575973698e518c2a8b90d3cd00f9f proofgeneral-3.5.ebuild 1330 +MISC ChangeLog 1582 RMD160 68d448225ee604da1c634b6d81960628fd38cd9f SHA1 83aa3c21173196d6ac0ec095e82a67d80d67dfaf SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 +MD5 572497842a23eef094ae5841a1bd73af ChangeLog 1582 +RMD160 68d448225ee604da1c634b6d81960628fd38cd9f ChangeLog 1582 +SHA256 6a3cef87a8db3d0d2fdd29e5ae51d819b926c3e3e2b598007ed261417cd40269 ChangeLog 1582 +MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab +MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 +RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 +SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab metadata.xml 158 +MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5 253 +RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5 253 +SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5 253 +MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253 +RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253 +SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v1.4.1 (GNU/Linux) +Version: GnuPG v1.4.5 (GNU/Linux) -iD8DBQFDER+ymOfEJZHYOKcRAg4fAKDbOcCsrezWaME8THLiBV+L3j3BzgCgrOz/ -OU7/wWsSkWb2cio3H8iSWJw= -=bpIy +iD8DBQFFSlOuNQqtfCuFneMRAvFjAJwOaeI5WVlrenRFbmLXqpAKzGczzgCglMYb +BYBlXMYarGMNvfIu9nSQ6/s= +=lpOk -----END PGP SIGNATURE----- |