diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2007-03-08 07:58:54 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2007-03-08 07:58:54 +0000 |
| commit | 502599001ab4d0da92a688507411bdd9a8f64506 (patch) | |
| tree | 311f93031f0c69339935454131a8487b6b08eab1 /app-emacs/proofgeneral/Manifest | |
| parent | add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp... (diff) | |
| download | gentoo-2-502599001ab4d0da92a688507411bdd9a8f64506.tar.gz gentoo-2-502599001ab4d0da92a688507411bdd9a8f64506.tar.bz2 gentoo-2-502599001ab4d0da92a688507411bdd9a8f64506.zip | |
add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kph.uni-mainz.de>
(Portage version: 2.1.2-r9)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 6a7dfb65ee40..532b034595b5 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,10 +1,10 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 -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 50proofgeneral-gentoo.el 104 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 SHA1 90e1dfe5f8a1c4f2849b114b829bd1db9cc1efb7 SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a +MD5 364011e7b02a703d04289f7d0f841986 files/50proofgeneral-gentoo.el 104 +RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 files/50proofgeneral-gentoo.el 104 +SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a files/50proofgeneral-gentoo.el 104 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 @@ -18,10 +18,10 @@ EBUILD proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847 MD5 7f3f9115917195da81324382993ac07f proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 proofgeneral-3.5.ebuild 1327 SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 proofgeneral-3.5.ebuild 1327 -MISC ChangeLog 1715 RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 SHA1 fdba95c19ce07baa3574f7c8e225fd10e99cfe2b SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21 -MD5 9fe98d587c0839428bec9cd3664c9869 ChangeLog 1715 -RMD160 8275b613bd35673ed2ecf938660e51d72f3732a2 ChangeLog 1715 -SHA256 6cfc550117eeb37a606acdca18a33ff8a009e11dd665219c8c053e91f0a84b21 ChangeLog 1715 +MISC ChangeLog 1901 RMD160 c2b97ad56916a8a875c3788a69f83749bcbb4a03 SHA1 4392310f406abae7956849e6cee05ac963efc8ec SHA256 66c804d3dae8d3669336d00bc0b619e3795ab71ef4d1202024d49f88ef0fba95 +MD5 015447f64c81ef7e50e531d6e5f117f7 ChangeLog 1901 +RMD160 c2b97ad56916a8a875c3788a69f83749bcbb4a03 ChangeLog 1901 +SHA256 66c804d3dae8d3669336d00bc0b619e3795ab71ef4d1202024d49f88ef0fba95 ChangeLog 1901 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 @@ -33,9 +33,9 @@ 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 v2.0.1 (GNU/Linux) +Version: GnuPG v1.4.6 (GNU/Linux) -iD8DBQFFvCi16J2i8a8J4okRAj0NAJ0cuCvkDL3P2WaWN67yyxRLNsnwVQCgiXFn -d4LIOUGZVsHUecw6DaHEegY= -=cIf/ +iD8DBQFF78H0NQqtfCuFneMRAnhBAKCTZksOZXPB2pP0Q9iIX2AjQZJtyQCghqOw +nWahNxvhelPIO9ohcr79QYg= +=EVe5 -----END PGP SIGNATURE----- |