Ubuntu

libelpi-ocaml binary package in Ubuntu Mantic arm64

  1. Mantic (23.10)
  2. arm64
  3. libelpi-ocaml

 ELPI implements a lambda-Prolog interpreter enriched with
 constraint handling rules, to provide an extension language
 to larger applications written in OCaml.
 .
 This package provides the runtime files.

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 1.17.0-1build4
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Mantic arm64 proposed universe ocaml Optional 1.17.0-1build4
  • 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 1.17.0-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.17.0-1build4 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 1.17.0-1build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-08-26 14:21:50 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 1.17.0-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.17.0-1build3 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 1.17.0-1build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-28 04:09:25 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 1.17.0-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.17.0-1build2 in ubuntu mantic PROPOSED
  • Published
  2023-07-27 10:22:59 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 1.17.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.17.0-1build1 in ubuntu mantic PROPOSED
  • Published
  2023-07-31 08:41:13 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 1.16.10-3build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.17.0-1build2 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 1.16.10-3build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-18 07:40:38 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 1.16.10-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-3build2 in ubuntu mantic PROPOSED
  • Published
  2023-07-20 08:21:39 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 1.16.10-3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-3build2 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 1.16.10-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-07-13 00:17:10 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 1.16.10-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-3 in ubuntu mantic PROPOSED
  • Published
  2023-07-07 21:19:45 UTC Superseded Ubuntu Mantic arm64 proposed universe ocaml Optional 1.16.10-2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-2build2 in ubuntu mantic PROPOSED
  • Published
  2023-07-13 02:25:12 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 1.16.10-1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-3 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 1.16.10-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  2023-06-25 17:24:49 UTC Superseded Ubuntu Mantic arm64 release universe ocaml Optional 1.16.8-1build2
  • Removal requested .
  • Superseded by arm64 build of elpi 1.16.10-1 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu

Source package