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 27ffb1d49c15..03157c702bbb 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 9d81603248f2ba3ec59124320d123e5e multilib 23ae8c186171e6476af098d2a50d0ee0 toolchain-funcs d513d423d449877e49d99af3f7af7acb +_eclasses_=elisp 7e36316fe822639d5a29fa10d5529eb9 elisp-common 9f56c4e9bf1282dbfc2a5a09e1124e74 eutils 792f83d5ec9536cb5ccef375469d8bde multilib 23ae8c186171e6476af098d2a50d0ee0 toolchain-funcs d513d423d449877e49d99af3f7af7acb _md5_=72b3db795683264a1f3740441d4198a7 |