Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Import acl2_7.4dfsg.orig.tar.gz | Camm Maguire | 2017-05-08 |
index : acl2 | ||
Debian dgit repo for package acl2 |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Import acl2_7.4dfsg.orig.tar.gz | Camm Maguire | 2017-05-08 |