Ubuntu

elpa-acl2 binary package in Ubuntu Jammy s390x

  1. Jammy (22.04)
  2. s390x
  3. elpa-acl2

 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 an emacs interface to ACL2.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-12-26 08:28:37 UTC Published Ubuntu Jammy s390x release universe lisp Optional 8.4dfsg-2
  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Jammy s390x proposed universe lisp Optional 8.4dfsg-2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu

Source package