Ubuntu

coq-doc binary package in Ubuntu Kinetic arm64

  1. Kinetic (22.10)
  2. arm64
  3. coq-doc

 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This is a dummy package which will install the documentation in html and
 pdf formats.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-07-14 20:53:59 UTC Published Ubuntu Kinetic arm64 release multiverse doc Optional 8.15.2-3
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic arm64 proposed multiverse doc Optional 8.15.2-3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-07-14 20:54:52 UTC Superseded Ubuntu Kinetic arm64 release multiverse doc Optional 8.15.2-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-doc 8.15.2-3 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-07-16 00:10:09 UTC Deleted Ubuntu Kinetic arm64 proposed multiverse doc Optional 8.15.2-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-16 14:54:28 UTC Superseded Ubuntu Kinetic arm64 release multiverse doc Optional 8.15.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-doc 8.15.2-2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-17 18:10:09 UTC Deleted Ubuntu Kinetic arm64 proposed multiverse doc Optional 8.15.2-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-16 08:14:34 UTC Superseded Ubuntu Kinetic arm64 release multiverse doc Optional 8.15.0-3
  • Removal requested .
  • Superseded by amd64 build of coq-doc 8.15.2-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu

Source package