Ubuntu

acl2-source binary package in Ubuntu Focal riscv64

  1. Focal (20.04)
  2. riscv64
  3. acl2-source

 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 package contains the lisp source files to the main ACL2 binary.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-04-02 05:47:56 UTC Published Ubuntu Focal riscv64 release universe math Optional 8.2dfsg-3build1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu

Source package