app-emacs/proofgeneral/Manifest


1
2
3
4
5
6

MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
MD5 ca55e0be6af83b1a621c953968346bca ChangeLog 425
MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild.~1.1.~ 1268
MD5 d974b1bb8dd8e60de9a7611db8108fb1 proofgeneral-3.4.ebuild 1278
MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68
MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150