| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | bump {build-,}deps emacs24 -> emacs25 | Sean Whitton | 7 years | |
| Tag | Download | Author | Age | |
| archive/debian/7.4dfsg-3.1 | commit 01623bd257... | Sean Whitton | 7 years | |
| debian/7.4dfsg-3.1 | commit 01623bd257... | Sean Whitton | 7 years | |
| Age | Commit message | Author | ||
| 2017-08-03 | bump {build-,}deps emacs24 -> emacs25HEADdebian/7.4dfsg-3.1archive/debian/7.4dfsg-3.1master | Sean Whitton | ||
| 2017-06-08 | do-not-pre-allocate-contiguous-blocks-in-acl2.lisp | Camm Maguire | ||
| 2017-06-08 | remove-pcert-local-elided-for-final-file | Camm Maguire | ||
| 2017-06-08 | remove-pcert-elementary-bounders-for-final-file | Camm Maguire | ||
| 2017-06-08 | acl2 (7.4dfsg-3) unstable; urgency=medium | Camm Maguire | ||
| 2017-06-08 | Import acl2_7.4dfsg-3.debian.tar.xz | Camm Maguire | ||
| 2017-05-08 | Import acl2_7.4dfsg.orig.tar.gz | Camm Maguire | ||
| Clone | ||||
| https://git.dgit.debian.org/acl2 | ||||
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |