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 ee8e8b693df4..f58402cbdafd 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 792f83d5ec9536cb5ccef375469d8bde multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs d513d423d449877e49d99af3f7af7acb +_eclasses_=elisp 7e36316fe822639d5a29fa10d5529eb9 elisp-common 9f56c4e9bf1282dbfc2a5a09e1124e74 eutils 792f83d5ec9536cb5ccef375469d8bde multilib d062ae4ba2fc40a19c11de2ad89b6616 toolchain-funcs c9d9187f4caa4026a0ceddd8dfceb3c1 _md5_=72b3db795683264a1f3740441d4198a7 |