libcoq-mathcomp-algebra binary package in Ubuntu Kinetic amd64

 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 algebra part of the library (ring, fields,
 ordered fields, real fields, modules, algebras, integers, rationals,
 polynomials, matrices, vector spaces...).

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-07-19 19:28:27 UTC Published Ubuntu Kinetic amd64 release universe math Optional 1.15.0-1
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic amd64 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 amd64 release universe math Optional 1.14.0-12
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.15.0-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-07-21 00:10:10 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe math Optional 1.14.0-11
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-12 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-16 00:10:09 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe math Optional 1.14.0-10
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-11 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-04 18:10:09 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe math Optional 1.14.0-9build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-10 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-05-27 12:10:08 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe math Optional 1.14.0-9
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-9build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-05-16 06:10:09 UTC Deleted Ubuntu Kinetic amd64 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 amd64 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