Ubuntu

libcoq-mathcomp-multinomials binary package in Ubuntu Kinetic riscv64

  1. Kinetic (22.10)
  2. riscv64
  3. libcoq-mathcomp-multinomials

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-11-13 12:55:48 UTC Obsolete Ubuntu Kinetic riscv64 release universe ocaml Optional 1.5.5-8build2
  • Removed from disk .
  • Removal requested .
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2024-01-11 12:10:18 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-8build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-08-30 15:33:54 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.5.5-8build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-8build2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-08-31 18:10:10 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-8build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-07-19 11:44:11 UTC Superseded Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-8
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-8build1 in ubuntu kinetic PROPOSED
  • Published
  2022-07-19 19:28:57 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.5.5-7
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-8build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-07-21 00:10:10 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-7
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-28 13:19:28 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.5.5-5
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-7 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-29 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-5
  • 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 riscv64 release universe ocaml Optional 1.5.5-4
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-5 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-04 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-4
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-24 14:54:23 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.5.5-3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of mathcomp-multinomials 1.5.5-4 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-25 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.5.5-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published