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

1 2	`SHA256 (coq-8.4pl3.tar.gz) = 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38 SIZE (coq-8.4pl3.tar.gz) = 4064579`