distinfo « coq « math - freebsd-ports-graphics - FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)

about summary refs log tree commit diff stats

path: root/math/coq/distinfo

blob: 8f40e833fbc8360af54e7b9855de9b6c0080292f (plain) (blame)

1
2
3

MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b
SIZE (coq-8.0pl2.tar.gz) = 2285855