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

1
2
3

MD5 (ProofGeneral-3.5.tar.gz) = 2114f0ead1cb0b4c6be992aa7bf1529c
SHA256 (ProofGeneral-3.5.tar.gz) = 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b
SIZE (ProofGeneral-3.5.tar.gz) = 1799956