Ubuntu

libcoq-unimath binary package in Ubuntu Plucky amd64

  1. Plucky (25.04)
  2. amd64
  3. libcoq-unimath

 This package provides a library to formalize a substantial body
 of mathematics using the univalent point of view.
 .
 Coq is a proof assistant for higher-order logic.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2025-02-21 19:42:38 UTC Published Ubuntu Plucky amd64 release universe ocaml Optional 20240923-2build3
  • Published
  • Copied from ubuntu plucky-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-2build3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to plucky

  • Published
  2025-02-19 00:24:16 UTC Superseded Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-2build3 in ubuntu plucky PROPOSED
  • Published
  2025-02-14 03:11:44 UTC Superseded Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-2build2 in ubuntu plucky PROPOSED
  • Published
  2025-02-21 19:50:37 UTC Superseded Ubuntu Plucky amd64 release universe ocaml Optional 20240923-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-2build3 in ubuntu plucky PROPOSED
  • Published
  • Copied from ubuntu plucky-proposed amd64 in Primary Archive for Ubuntu
  2025-02-23 00:10:28 UTC Deleted Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to plucky

  • Published
  2024-11-25 23:13:06 UTC Superseded Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-2 in ubuntu plucky PROPOSED
  • Published
  2024-11-21 09:16:29 UTC Superseded Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-1build2 in ubuntu plucky PROPOSED
  • Published
  2024-11-21 04:14:06 UTC Superseded Ubuntu Plucky amd64 proposed universe ocaml Optional 20240923-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-1build1 in ubuntu plucky PROPOSED
  • Published
  2024-11-27 07:21:54 UTC Superseded Ubuntu Plucky amd64 release universe ocaml Optional 20240331-2build3
  • Removal requested .
  • Superseded by amd64 build of coq-unimath 20240923-2 in ubuntu plucky PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu

Source package