UbuntuUpdates.org

Package "acl2-infix-source"

Name: acl2-infix-source

Description:

Computational Logic for Applicative Common Lisp: infix source

Latest version: 8.4dfsg-2
Release: jammy (22.04)
Level: base
Repository: universe
Homepage: https://www.cs.utexas.edu/users/moore/acl2/

Links


Download "acl2-infix-source"


Other versions of "acl2-infix-source" in Jammy

No other version of this package is available in the Jammy release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates