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

MD5 (coq-8.0pl1.tar.gz) = 95237e64081d7306fdea49e1988bde12
SIZE (coq-8.0pl1.tar.gz) = 2272613
MD5 (patch-coq-8.0pl1-ocaml-3.08.1) = 02ac210c6af5d8e258a2805a22822a8b
SIZE (patch-coq-8.0pl1-ocaml-3.08.1) = 1321