summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterbump {build-,}deps emacs24 -> emacs25Sean Whitton2 years
 
TagDownloadAuthorAge
archive/debian/7.4dfsg-3.1commit 01623bd257...Sean Whitton2 years
debian/7.4dfsg-3.1commit 01623bd257...Sean Whitton2 years
 
AgeCommit messageAuthor
2017-08-03bump {build-,}deps emacs24 -> emacs25HEADdebian/7.4dfsg-3.1archive/debian/7.4dfsg-3.1masterSean Whitton
2017-06-08do-not-pre-allocate-contiguous-blocks-in-acl2.lispCamm Maguire
2017-06-08remove-pcert-local-elided-for-final-fileCamm Maguire
2017-06-08remove-pcert-elementary-bounders-for-final-fileCamm Maguire
2017-06-08acl2 (7.4dfsg-3) unstable; urgency=mediumCamm Maguire
2017-06-08Import acl2_7.4dfsg-3.debian.tar.xzCamm Maguire
2017-05-08Import acl2_7.4dfsg.orig.tar.gzCamm Maguire
 
Clone
https://git.dgit.debian.org/acl2