Ubuntu

libcoq-hierarchy-builder binary package in Ubuntu Kinetic arm64

  1. Kinetic (22.10)
  2. arm64
  3. libcoq-hierarchy-builder

 This software provides high-level commands to build hierarchies of algebraic
 structures in the Coq system.
 .
 This package provides the runtime files.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-08-22 13:53:33 UTC Published Ubuntu Kinetic arm64 release universe ocaml Optional 1.3.0-1
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.3.0-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-08-22 13:54:06 UTC Superseded Ubuntu Kinetic arm64 release universe ocaml Optional 1.2.1-11
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.3.0-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu
  2022-08-23 18:10:10 UTC Deleted Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-11
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-14 20:14:11 UTC Superseded Ubuntu Kinetic arm64 release universe ocaml Optional 1.2.1-10
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-11 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu
  2022-06-16 00:10:09 UTC Deleted Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-10
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-03 18:04:22 UTC Superseded Ubuntu Kinetic arm64 release universe ocaml Optional 1.2.1-9
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-10 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu
  2022-06-04 18:10:09 UTC Deleted Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-9
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-23 23:41:03 UTC Superseded Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-7
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-9 in ubuntu kinetic PROPOSED
  • Published
  2022-05-12 11:54:20 UTC Superseded Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-6
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-7 in ubuntu kinetic PROPOSED
  • Published
  2022-05-24 01:45:15 UTC Superseded Ubuntu Kinetic arm64 release universe ocaml Optional 1.2.1-4
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-9 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed arm64 in Primary Archive for Ubuntu
  2022-05-25 06:10:08 UTC Deleted Ubuntu Kinetic arm64 proposed universe ocaml Optional 1.2.1-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-02 18:54:16 UTC Superseded Ubuntu Kinetic arm64 release universe ocaml Optional 1.2.1-2
  • Removal requested .
  • Superseded by arm64 build of coq-hierarchy-builder 1.2.1-4 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu jammy-proposed arm64 in Primary Archive for Ubuntu

Source package