The MacPorts Project

Skip to Content

MacPorts Portfiles

The MacPorts Project currently distributes 17080 ports, organized across 86 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2013-05-22 at 15:00:21 America/Los_Angeles.


Or view the complete ports list (17080 ports).


Query Results

1 Portfile Selected

acl2 3.5
Applicative Common Lisp / A Computational Logic
Maintained by:
Categories: math
Platforms: darwin
Dependencies: sbcl
Variants: ccl certify emacs nonstd regression