libcoq-mathcomp-solvable binary package in Ubuntu Kinetic riscv64

 The Mathematical Components Library is an extensive and coherent
 repository of formalized mathematical theories. It is based on the
 Coq proof assistant, powered with the Coq/SSReflect language.
 .
 These formal theories cover a wide spectrum of topics, ranging from
 the formal theory of general-purpose data structures like lists,
 prime numbers or finite graphs, to advanced topics in algebra.
 .
 The formalization technique adopted in the library, called "small
 scale reflection", leverages the higher-order nature of Coq's
 underlying logic to provide effective automation for many small,
 clerical proof steps. This is often accomplished by restating
 ("reflecting") problems in a more concrete form, hence the name. For
 example, arithmetic comparison is not an abstract predicate, but
 rather a function computing a Boolean.
 .
 This package installs the second finite groups theory part of the
 library (abelian groups, center, commutator, Jordan-Holder series,
 Sylow theorems...).

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-07-19 19:28:27 UTC Published Ubuntu Kinetic riscv64 release universe math Optional 1.15.0-1
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic riscv64 proposed universe math Optional 1.15.0-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-07-19 19:28:57 UTC Superseded Ubuntu Kinetic riscv64 release universe math Optional 1.14.0-12
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of ssreflect 1.15.0-1 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 math Optional 1.14.0-12
  • 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 riscv64 release universe math Optional 1.14.0-11
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of ssreflect 1.14.0-12 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-16 00:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe math Optional 1.14.0-11
  • 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 math Optional 1.14.0-10
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of ssreflect 1.14.0-11 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 math Optional 1.14.0-10
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-26 09:54:04 UTC Superseded Ubuntu Kinetic riscv64 release universe math Optional 1.14.0-9build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of ssreflect 1.14.0-10 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-27 12:10:08 UTC Deleted Ubuntu Kinetic riscv64 proposed universe math Optional 1.14.0-9build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-15 01:49:10 UTC Superseded Ubuntu Kinetic riscv64 release universe math Optional 1.14.0-9
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of ssreflect 1.14.0-9build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-16 06:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe math Optional 1.14.0-9
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-12 07:55:44 UTC Superseded Ubuntu Kinetic riscv64 release universe math Optional 1.14.0-7
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-9 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu