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

1
2
3

MD5 (coq-8.2pl1.tar.gz) = 36eed48bc63ada8abf27f96eb126906c
SHA256 (coq-8.2pl1.tar.gz) = 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c
SIZE (coq-8.2pl1.tar.gz) = 3600620