Ubuntu

ocplib-simplex-ocaml-dev binary package in Ubuntu Oracular amd64

  1. Oracular (24.10)
  2. amd64
  3. ocplib-simplex-ocaml-dev

 ocplib-simplex is a (fully) functional OCaml implementation of the
 simplex algorithm for solving systems of linear inequalities. The
 implementation is incremental and backtrackable. It is able to
 extract unsat-cores for unsatisfiable problems, and supports linear
 optimization.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-06-14 11:28:59 UTC Published Ubuntu Oracular amd64 release universe ocaml Extra 0.5.1-2build4
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Oracular amd64 proposed universe ocaml Extra 0.5.1-2build4
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-14 11:29:30 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Extra 0.5.1-2build3
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ocplib-simplex 0.5.1-2build4 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-06-15 12:10:14 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Extra 0.5.1-2build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-13 20:04:49 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Extra 0.5.1-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ocplib-simplex 0.5.1-2build3 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-06-15 00:10:21 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Extra 0.5.1-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-07 21:28:30 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Extra 0.5.1-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ocplib-simplex 0.5.1-2 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  2024-06-09 00:10:18 UTC Deleted Ubuntu Oracular amd64 proposed universe ocaml Extra 0.5.1-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-06-06 06:28:34 UTC Superseded Ubuntu Oracular amd64 proposed universe ocaml Extra 0.5.1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ocplib-simplex 0.5.1-1ubuntu1 in ubuntu oracular PROPOSED
  • Published
  2024-06-06 19:14:00 UTC Superseded Ubuntu Oracular amd64 release universe ocaml Extra 0.5-4build5
  • Removal requested .
  • Superseded by amd64 build of ocplib-simplex 0.5.1-1ubuntu1 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu

Source package