acl2-books-certs binary package in Ubuntu Oracular amd64

 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This file contains certification records for the various precompiled
 libraries supplied in the ACL2-books package. ACL2 essentially
 requires that all included books be certified before use.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-04-29 18:55:16 UTC Published Ubuntu Oracular amd64 release universe math Optional 8.5dfsg-5build3
  • Published
  • Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu

Source package