diff options
Diffstat (limited to 'metadata/md5-cache/app-emacs/proofgeneral-4.2')
| -rw-r--r-- | metadata/md5-cache/app-emacs/proofgeneral-4.2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/app-emacs/proofgeneral-4.2 b/metadata/md5-cache/app-emacs/proofgeneral-4.2 index d4b38c861a15..d8a1dab22b61 100644 --- a/metadata/md5-cache/app-emacs/proofgeneral-4.2 +++ b/metadata/md5-cache/app-emacs/proofgeneral-4.2 @@ -9,5 +9,5 @@ RDEPEND=>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23 SLOT=0 SRC_URI=http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz _eclass_exported_funcs=pkg_postrm:elisp pkg_postinst:- pkg_setup:elisp src_unpack:elisp src_prepare:- src_configure:elisp src_compile:- src_install:- -_eclasses_=elisp 7e36316fe822639d5a29fa10d5529eb9 elisp-common 9f56c4e9bf1282dbfc2a5a09e1124e74 eutils b83a2420b796f7c6eff682679d08fe25 multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 +_eclasses_=elisp 7e36316fe822639d5a29fa10d5529eb9 elisp-common 9f56c4e9bf1282dbfc2a5a09e1124e74 eutils b83a2420b796f7c6eff682679d08fe25 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 _md5_=72b3db795683264a1f3740441d4198a7 |