Publishing details
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by acl2 - 7.4dfsg-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
Changelog
acl2 (7.4dfsg-1) unstable; urgency=medium
* New upstream release
-- Camm Maguire <email address hidden> Mon, 08 May 2017 16:58:52 +0000
Builds
Package files