This page is for a packaging branch for a program in Ubuntu. Changes should be made here to Ubuntu packaging or for changes specific to Ubuntu's needs. Changes to the program in general should be made on the upstream branch clisp.

Trusty — Supported
Name Status Last Modified
lp:ubuntu/trusty/acl2 Development
lp:ubuntu/trusty-proposed/acl2 Mature