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

1
2
3

MD5 (coq-8.1pl1.tar.gz) = 4d0e393b6c62bb4508aa454878c9e8ab
SHA256 (coq-8.1pl1.tar.gz) = 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940
SIZE (coq-8.1pl1.tar.gz) = 2984726