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

1
2
3

MD5 (coq-8.1.tar.gz) = 33668f73d30fda58c92b0a9f5b0b8329
SHA256 (coq-8.1.tar.gz) = b8362e532ad8e464b5bf5bdce45c4cef5109fd0957f396373af7e1ab023e9ae4
SIZE (coq-8.1.tar.gz) = 2977142