UbuntuUpdates.org

All "acl2-infix-source" versions

Deleted packages are displayed in grey.

Release Repository Level Version PPA
lunar universe base 8.5dfsg-5
mantic universe base 8.5dfsg-5
jammy universe base 8.4dfsg-2
focal universe base 8.2dfsg-3build1
bionic universe base 8.0dfsg-1
xenial universe base 7.1-1
trusty universe base 6.3-5
precise universe base 4.2-1


Search Package




About   -   Send Feedback to @ubuntu_updates