Ubuntu

libcoq-elpi binary package in Ubuntu Kinetic riscv64

  1. Kinetic (22.10)
  2. riscv64
  3. libcoq-elpi

 This package makes it possible to define new commands and tactics
 for Coq in Elpi.
 .
 Elpi implements a lambda-Prolog interpreter enriched with
 constraint handling rules.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides the Coq elpi plugin.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-08-22 13:53:33 UTC Published Ubuntu Kinetic riscv64 release universe ocaml Optional 1.14.0-5build1
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-5build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-08-22 13:54:06 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.14.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-5build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-08-23 18:10:10 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-5
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-13 00:15:07 UTC Superseded Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-4
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-5 in ubuntu kinetic PROPOSED
  • Published
  2022-06-14 20:14:11 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.14.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-5 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-06-16 00:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-06-01 18:44:04 UTC Superseded Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-3 in ubuntu kinetic PROPOSED
  • Published
  2022-06-03 18:04:22 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.14.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-3 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.14.0-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-22 03:55:09 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.14.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-23 06:10:08 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.14.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-15 13:25:32 UTC Superseded Ubuntu Kinetic riscv64 release universe ocaml Optional 1.13.0-7build1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.14.0-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
  2022-05-16 18:10:09 UTC Deleted Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.13.0-7build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to kinetic

  • Published
  2022-05-02 10:44:11 UTC Superseded Ubuntu Kinetic riscv64 proposed universe ocaml Optional 1.13.0-7
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of coq-elpi 1.13.0-7build1 in ubuntu kinetic PROPOSED
  • Published

Source package