Ubuntu

libcoq-mathcomp-multinomials binary package in Ubuntu Oracular amd64

  1. Oracular (24.10)
  2. amd64
  3. libcoq-mathcomp-multinomials

 This package provides an extension to Mathematical Components
 for monomial algebra, multivariate polynomials over ring
 structures and an extended theory for polynomials whose
 coefficients live in abelian rings and integral domains.
 .
 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
  2024-06-17 22:23:41 UTC Published Ubuntu Oracular amd64 release universe ocaml Optional 2.2.0-2build4
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Oracular amd64 proposed universe ocaml Optional 2.2.0-2build4
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-17 22:24:20 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Optional 2.2.0-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of mathcomp-multinomials 2.2.0-2build4 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-06-19 00:10:16 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Optional 2.2.0-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-06 19:14:00 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Optional 2.2.0-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of mathcomp-multinomials 2.2.0-2build3 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-06-08 00:10:18 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Optional 2.2.0-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-05-22 13:24:06 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Optional 2.2.0-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of mathcomp-multinomials 2.2.0-2build2 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-05-23 18:10:18 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Optional 2.2.0-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-05-13 18:40:21 UTC Superseded Ubuntu Oracular amd64 proposed universe ocaml Optional 2.2.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of mathcomp-multinomials 2.2.0-2build1 in ubuntu oracular PROPOSED
  • Published
  2024-05-21 01:46:35 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Optional 2.2.0-1build5
  • Removal requested .
  • Superseded by amd64 build of mathcomp-multinomials 2.2.0-2build1 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu

Source package