| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | remove-pcert-elementary-bounders-for-final-file | Camm Maguire | 2017-06-08 |
| | | | | | | | | | | | | | pcert appears to interfere with the certification path renaming mechanism. This patch was suggested by upstream as a workaround. . acl2 (7.0-1) unstable; urgency=medium . * New upstream release Author: Camm Maguire <camm@debian.org> Gbp-Pq: Name remove-pcert-elementary-bounders-for-final-file | ||
| * | Import acl2_7.4dfsg.orig.tar.gz | Camm Maguire | 2017-05-08 |
| [dgit import orig acl2_7.4dfsg.orig.tar.gz] | |||
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |