distinfo « coq « 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/coq/distinfo

blob: 8249b65905b58745534d2ecd5fc5c431aef32c9a (plain) (blame)

1
2
3

MD5 (coq-8.1pl3.tar.gz) = 84311faf7865b2eab964990cdb365dca
SHA256 (coq-8.1pl3.tar.gz) = 7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6
SIZE (coq-8.1pl3.tar.gz) = 3003593