Ubuntu

libcoq-elpi binary package in Ubuntu Kinetic amd64

  1. Kinetic (22.10)
  2. amd64
  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 amd64 release universe ocaml Optional 1.14.0-5build1
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Kinetic amd64 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 amd64 release universe ocaml Optional 1.14.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-5build1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-08-23 18:10:10 UTC Deleted Ubuntu Kinetic amd64 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-12 23:24:29 UTC Superseded Ubuntu Kinetic amd64 proposed universe ocaml Optional 1.14.0-4
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-5 in ubuntu kinetic PROPOSED
  • Published
  2022-06-14 20:14:11 UTC Superseded Ubuntu Kinetic amd64 release universe ocaml Optional 1.14.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-5 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-16 00:10:09 UTC Deleted Ubuntu Kinetic amd64 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 17:34:19 UTC Superseded Ubuntu Kinetic amd64 proposed universe ocaml Optional 1.14.0-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-3 in ubuntu kinetic PROPOSED
  • Published
  2022-06-03 18:04:22 UTC Superseded Ubuntu Kinetic amd64 release universe ocaml Optional 1.14.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-3 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-06-04 18:10:09 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe ocaml Optional 1.14.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-2 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-05-23 06:10:08 UTC Deleted Ubuntu Kinetic amd64 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 amd64 release universe ocaml Optional 1.13.0-7build1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.14.0-1 in ubuntu kinetic PROPOSED
  • Published
  • Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
  2022-05-16 18:10:09 UTC Deleted Ubuntu Kinetic amd64 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 07:24:35 UTC Superseded Ubuntu Kinetic amd64 proposed universe ocaml Optional 1.13.0-7
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of coq-elpi 1.13.0-7build1 in ubuntu kinetic PROPOSED
  • Published

Source package