diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2016-04-14 08:03:00 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-04-14 08:03:00 +0000 |
| commit | ef72a7782fe626b3ae644fe88a6f834060f93bb6 (patch) | |
| tree | e1e7be9eeababd365163248e6fa1c2df187accac /metadata/md5-cache/app-emacs/proofgeneral-4.2 | |
| parent | Add 'metadata/news/' from commit 'a526289811b6d27f57e7599684c4ce1c5631044f' (diff) | |
| download | gentoo-ef72a7782fe626b3ae644fe88a6f834060f93bb6.tar.gz gentoo-ef72a7782fe626b3ae644fe88a6f834060f93bb6.tar.bz2 gentoo-ef72a7782fe626b3ae644fe88a6f834060f93bb6.zip | |
2016-04-14 08:02:40 UTC
Diffstat (limited to 'metadata/md5-cache/app-emacs/proofgeneral-4.2')
| -rw-r--r-- | metadata/md5-cache/app-emacs/proofgeneral-4.2 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/metadata/md5-cache/app-emacs/proofgeneral-4.2 b/metadata/md5-cache/app-emacs/proofgeneral-4.2 new file mode 100644 index 000000000000..27ffb1d49c15 --- /dev/null +++ b/metadata/md5-cache/app-emacs/proofgeneral-4.2 @@ -0,0 +1,13 @@ +DEFINED_PHASES=compile configure install postinst postrm prepare setup unpack +DEPEND=>=app-emacs/mmm-mode-0.4.8-r2 >=virtual/emacs-23 +DESCRIPTION=A generic interface for proof assistants +EAPI=5 +HOMEPAGE=http://proofgeneral.inf.ed.ac.uk/ +KEYWORDS=amd64 ppc x86 +LICENSE=GPL-2 +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 +_md5_=72b3db795683264a1f3740441d4198a7 |