Ubuntu

libcoq-mathcomp-analysis binary package in Ubuntu Mantic arm64

  1. Mantic (23.10)
  2. arm64
  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
  2023-08-30 10:15:05 UTC Published Ubuntu Mantic arm64 release universe ocaml Optional 0.6.4-3build1
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.4-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-08-30 10:16:08 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.4-3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.4-3build1 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  2023-08-31 12:10:10 UTC Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.4-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-08-24 07:49:16 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build8
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.4-3 in ubuntu mantic PROPOSED
  • Published
  2023-08-26 14:21:50 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.3-2build7
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.4-3 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  2023-08-27 18:10:09 UTC Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build7
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-28 11:04:41 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build6
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build7 in ubuntu mantic PROPOSED
  • Published
  2023-07-28 04:34:14 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build5
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build6 in ubuntu mantic PROPOSED
  • Published
  2023-07-27 15:04:53 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build4
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build5 in ubuntu mantic PROPOSED
  • Published
  2023-07-26 13:07:24 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build4 in ubuntu mantic PROPOSED
  • Published
  2023-07-31 08:41:13 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.3-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build7 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  2023-08-01 12:10:09 UTC Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-20 08:21:39 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.3-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build2 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  2023-07-21 12:10:10 UTC Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-2build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-13 02:25:12 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.3-1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-2build1 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  2023-07-14 06:10:12 UTC Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.3-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-06-21 18:25:55 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-1 in ubuntu mantic PROPOSED
  • Published
  2023-06-15 12:19:34 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 0.6.0-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.2-1 in ubuntu mantic PROPOSED
  • Published
  2023-06-25 17:24:49 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 0.6.0-2build2
  • Removal requested .
  • Superseded by arm64 build of mathcomp-analysis 0.6.3-1 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu

Source package