UbuntuUpdates.org

Package "acl2-books-certs"

Name: acl2-books-certs

Description:

Computational Logic for Applicative Common Lisp: library certificates

Latest version: 8.0dfsg-1
Release: bionic (18.04)
Level: base
Repository: universe

Links


Download "acl2-books-certs"


Other versions of "acl2-books-certs" in Bionic

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates