Package "acl2-books-source"
| Name: | acl2-books-source |
Description: |
Computational Logic for Applicative Common Lisp: library sources |
| Latest version: | 8.2dfsg-3build1 |
| Release: | focal (20.04) |
| Level: | base |
| Repository: | universe |
| Head package: | acl2 |
Links
Download "acl2-books-source"
Other versions of "acl2-books-source" in Focal
No other version of this package is available in the Focal release.Changelog
| Version: 8.2dfsg-3build1 | 2020-04-28 21:51:25 UTC |
|---|---|
|
acl2 (8.2dfsg-3build1) focal; urgency=medium * No-change rebuild for libgcc-s1 package name change. -- Matthias Klose <email address hidden> Mon, 23 Mar 2020 07:09:23 +0100 |
|
About
-
Send Feedback to @ubuntu_updates
