distinfo « proofgeneral « math - ports - FreeBSD ports tree

about summary refs log tree commit diff

path: root/math/proofgeneral/distinfo

blob: 25509dec9105af79ca377177bebfd1880613f4dd (plain) (blame)

1 2	`SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7 SIZE (ProofGeneral-4.1.tgz) = 1428499`