b32b35935a
* Use the misc/gnomehier and misc/hicolor-icon/theme ports * Use the latest proofgeneral prerelease PR: ports/107414 Submitted by: Timothy Bourke(maintainer)
3 lines
233 B
Text
3 lines
233 B
Text
MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb
|
|
SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5
|
|
SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638
|