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: ac4311c69b563485cb2a5efaea1e316de15ffb0a (plain) (blame)

1
2
3

MD5 (ProofGeneral-3.6pre051004.tar.gz) = 84d7c8ee9db2e52d1891b66da1e74ef8
SHA256 (ProofGeneral-3.6pre051004.tar.gz) = b0c755df755de00ed2865a5ce3a4719bb48e70da7694fad67a610a5d97a3c043
SIZE (ProofGeneral-3.6pre051004.tar.gz) = 2243863