diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-16 14:30:35 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-16 14:30:35 +0100 |
| commit | 2cb26483945211e812d7a0351ae472a676cd9592 (patch) | |
| tree | 72a35b7eca392d91567814afb0b89a9e8194a6fe /metadata/md5-cache/app-emacs/proofgeneral-4.5 | |
| parent | 930cc7d721b1ea68468608da3ce2b4e891926834 (diff) | |
gentoo auto-resync : 16:08:2022 - 14:30:35
Diffstat (limited to 'metadata/md5-cache/app-emacs/proofgeneral-4.5')
| -rw-r--r-- | metadata/md5-cache/app-emacs/proofgeneral-4.5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/app-emacs/proofgeneral-4.5 b/metadata/md5-cache/app-emacs/proofgeneral-4.5 index 5d030d21bb2b..f884478a0ca6 100644 --- a/metadata/md5-cache/app-emacs/proofgeneral-4.5 +++ b/metadata/md5-cache/app-emacs/proofgeneral-4.5 @@ -4,10 +4,10 @@ DESCRIPTION=A generic interface for proof assistants EAPI=8 HOMEPAGE=https://proofgeneral.github.io/ INHERIT=wrapper elisp -KEYWORDS=~amd64 ~ppc ~x86 +KEYWORDS=amd64 ppc x86 LICENSE=GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0 RDEPEND=>=app-editors/emacs-23.1:* SLOT=0 SRC_URI=https://github.com/ProofGeneral/PG/archive/v4.5.tar.gz -> proofgeneral-4.5.tar.gz _eclasses_=elisp c1c17e9c24d72d3bd58c611de8116fb6 elisp-common e7aaa047873789f549ea3df2f04b2145 wrapper 4a1902f969e5718126434fc35f3a0d9c -_md5_=779b31916225f372a3ed68314c2465ad +_md5_=163db2ff177f74b072feb52927d10fa2 |