Ubuntu

acl2-books-source binary package in Ubuntu Lunar amd64

  1. Lunar (23.04)
  2. amd64
  3. acl2-books-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 source lisp files to the compiled libraries
 supplied in the ACL2-books package.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-01-18 01:44:11 UTC Published Ubuntu Lunar amd64 release universe math Optional 8.5dfsg-5
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar amd64 proposed universe math Optional 8.5dfsg-5
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-01-18 01:45:02 UTC Superseded Ubuntu Lunar amd64 release universe math Optional 8.5dfsg-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of acl2 8.5dfsg-5 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2023-01-19 06:10:12 UTC Deleted Ubuntu Lunar amd64 proposed universe math Optional 8.5dfsg-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-01-15 19:55:14 UTC Superseded Ubuntu Lunar amd64 release universe math Optional 8.5dfsg-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of acl2 8.5dfsg-4 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2023-01-17 00:10:12 UTC Deleted Ubuntu Lunar amd64 proposed universe math Optional 8.5dfsg-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-01-01 23:04:18 UTC Superseded Ubuntu Lunar amd64 release universe math Optional 8.5dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of acl2 8.5dfsg-3 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  2023-01-03 00:10:09 UTC Deleted Ubuntu Lunar amd64 proposed universe math Optional 8.5dfsg-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-12-24 20:44:37 UTC Superseded Ubuntu Lunar amd64 release universe math Optional 8.5dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of acl2 8.5dfsg-2 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu

Source package