distinfo « proofgeneral « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/proofgeneral/distinfo

blob: a87c3fd249f2e10790cacfc53c6270cafa9840d9 (plain) (blame)

1 2	`MD5 (ProofGeneral-3.5.tar.gz) = 2114f0ead1cb0b4c6be992aa7bf1529c SIZE (ProofGeneral-3.5.tar.gz) = 1799956`