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

1 2	`SHA256 (coq-8.3.tar.gz) = bd818e053948e6eed288753fe10fe2b23bdc6f277a8fe50a6233d8f07b263e0a SIZE (coq-8.3.tar.gz) = 3736420`