Ubuntu

libcoq-mathcomp-analysis binary package in Ubuntu Noble armhf

  1. Noble (24.04)
  2. armhf
  3. libcoq-mathcomp-analysis

 This package provides an extension for classical analysis
 for the Mathematical Components library.
 .
 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-04-10 09:32:36 UTC Published Ubuntu Noble armhf release universe ocaml Optional 1.0.0-1build4
  • Published
  • Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Noble armhf proposed universe ocaml Optional 1.0.0-1build4
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-04-10 00:10:21 UTC Deleted Ubuntu Noble armhf updates universe ocaml Optional 1.0.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    superseded by release

  • Published
  • Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
  2024-04-10 09:33:10 UTC Superseded Ubuntu Noble armhf release universe ocaml Optional 1.0.0-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 1.0.0-1build4 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
  2024-04-11 12:10:19 UTC Deleted Ubuntu Noble armhf proposed universe ocaml Optional 1.0.0-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-03-29 03:56:46 UTC Superseded Ubuntu Noble armhf release universe ocaml Optional 1.0.0-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 1.0.0-1build2 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
  2024-04-10 00:10:21 UTC Deleted Ubuntu Noble armhf proposed universe ocaml Optional 1.0.0-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-02-24 00:25:36 UTC Superseded Ubuntu Noble armhf release universe ocaml Optional 1.0.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 1.0.0-1build1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
  2024-02-25 00:10:14 UTC Deleted Ubuntu Noble armhf proposed universe ocaml Optional 1.0.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-01-29 18:30:05 UTC Superseded Ubuntu Noble armhf proposed universe ocaml Optional 1.0.0-1~build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 1.0.0-1 in ubuntu noble PROPOSED
  • Published
  2024-01-04 02:24:36 UTC Superseded Ubuntu Noble armhf proposed universe ocaml Optional 0.6.4-3build5
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 0.6.4-3build8 in ubuntu noble PROPOSED
  • Published
  2024-01-29 10:19:36 UTC Superseded Ubuntu Noble armhf proposed universe ocaml Optional 0.6.4-3build8
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of mathcomp-analysis 1.0.0-1~build1 in ubuntu noble PROPOSED
  • Published

Source package