elpa-shut-up <-> proofgeneral

Version of elpa-shut-up: 0.3.3-5

Architecture of elpa-shut-up: all

Version of proofgeneral: 4.5-3

Architecture of proofgeneral: all

elpa-shut-upproofgeneral
sizefilenamehash functionsfilename
2 B./usr/lib/emacsen-common/packages/compat/elpa-shut-up sha512./usr/lib/emacsen-common/packages/compat/proofgeneral

Details about this service