summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/app-emacs/proofgeneral-4.4
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-01-01 21:06:00 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-01-01 21:06:00 +0000
commit129160ec854dca4c3fedb5bcfbcb56930371da0f (patch)
tree53bf797418ac5e9b99c41ca0382c87b82421e5de /metadata/md5-cache/app-emacs/proofgeneral-4.4
parent441d1370330332b7d78f238d2f5e13f7aed5e4e0 (diff)
gentoo new year resync : 01.01.2021
Diffstat (limited to 'metadata/md5-cache/app-emacs/proofgeneral-4.4')
-rw-r--r--metadata/md5-cache/app-emacs/proofgeneral-4.42
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/app-emacs/proofgeneral-4.4 b/metadata/md5-cache/app-emacs/proofgeneral-4.4
index 0f6ed2bed68b..753416d5d27c 100644
--- a/metadata/md5-cache/app-emacs/proofgeneral-4.4
+++ b/metadata/md5-cache/app-emacs/proofgeneral-4.4
@@ -8,5 +8,5 @@ LICENSE=GPL-2+ GPL-2 GPL-3+ HPND CC-BY-SA-3.0
RDEPEND=>=app-emacs/mmm-mode-0.4.8-r2 >=app-editors/emacs-23.1:*
SLOT=0
SRC_URI=https://github.com/ProofGeneral/PG/archive/v4.4.tar.gz -> proofgeneral-4.4.tar.gz
-_eclasses_=elisp 00840e1f4eb277c757dbfa5abf73c4c7 elisp-common b9df8d576b8e3d10e3da1c292b027912
+_eclasses_=elisp 00840e1f4eb277c757dbfa5abf73c4c7 elisp-common 34cc2b6f6d8914019a353fe39cff43ce
_md5_=57c64b4e5b7267dd222c582bca407b58