The MacPorts Project

Skip to Content

MacPorts Portfiles

The MacPorts Project currently distributes 20460 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2018-08-19 at 22:52:08 UTC.


Or view the complete ports list (20460 ports).


Query Results

1 Portfile Selected

coq 8.8.1 (source)
Proof assistant for higher-order logic
Licenses: LGPL-2.1
Maintained by:
Categories: lang math
Platforms: darwin
Dependencies: camlp5 ocaml ocaml-findlib
Variants: coqide doc