View Git repositories
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 | ||
