app-emacs/proofgeneral/Manifest


1
2
3
4
5

MD5 5c2f169bb89f0aeeb9a9b60c7195ee4e ChangeLog 1116
MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
MD5 64e4d9a854734063d638228f24240bfc proofgeneral-3.5.ebuild 1327
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150
MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69