elpa-diminish <-> proofgeneral

Version of elpa-diminish: 0.45-6

Architecture of elpa-diminish: all

Version of proofgeneral: 4.5-3

Architecture of proofgeneral: all

elpa-diminishproofgeneral
sizefilenamehash functionsfilename
2 B./usr/lib/emacsen-common/packages/compat/elpa-diminish sha512./usr/lib/emacsen-common/packages/compat/proofgeneral

Details about this service