Ubuntu

libcoq-mathcomp-algebra-tactics binary package in Ubuntu Kinetic riscv64

  1. Kinetic (22.10)
  2. riscv64
  3. libcoq-mathcomp-algebra-tactics

 This package provides the 'ring' and 'field' tactics for
 the Mathematical Components library, that work for any instance
 of 'comRingType' and 'fieldType' through canonical structure inference.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.

Publishing history

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

    Moved to kinetic

  • Published
  2022-08-22 13:54:06 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.0.0-6build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-6build2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-08-23 18:10:10 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.0.0-6build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-07-19 14:59:31 UTC Superseded Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.0.0-6
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-6build1 in ubuntu kinetic PROPOSED
  • Published
  2022-07-19 19:28:57 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.0.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-6build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-07-21 00:10:10 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.0.0-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-28 09:44:14 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.0.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-5 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-29 12:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.0.0-3
  • 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 riscv64 release universe ocaml Optional 1.0.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-3 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-04 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.0.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-18 13:55:01 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 0.3.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-algebra-tactics 1.0.0-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-19 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 0.3.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published

Source package