aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/distinfo
blob: 25509dec9105af79ca377177bebfd1880613f4dd (plain) (blame)
1
2
SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7
SIZE (ProofGeneral-4.1.tgz) = 1428499