ocplib-simplex-ocaml-dev binary package in Ubuntu Noble arm64

 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-02-24 00:23:55 UTC Published Ubuntu Noble arm64 release universe ocaml Extra 0.5-4build5
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble arm64 proposed universe ocaml Extra 0.5-4build5
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-02-19 19:33:09 UTC Superseded Ubuntu Noble arm64 proposed universe ocaml Extra 0.5-4build4
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of ocplib-simplex 0.5-4build5 in ubuntu noble PROPOSED
  • Published
  2024-02-19 08:47:28 UTC Superseded Ubuntu Noble arm64 proposed universe ocaml Extra 0.5-4build3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of ocplib-simplex 0.5-4build4 in ubuntu noble PROPOSED
  • Published
  2024-02-24 00:25:36 UTC Superseded Ubuntu Noble arm64 release universe ocaml Extra 0.5-4build2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of ocplib-simplex 0.5-4build5 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  2024-02-25 00:10:14 UTC Deleted Ubuntu Noble arm64 proposed universe ocaml Extra 0.5-4build2
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-12-15 13:33:37 UTC Superseded Ubuntu Noble arm64 release universe ocaml Extra 0.5-4build1
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of ocplib-simplex 0.5-4build2 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  2024-01-13 06:10:15 UTC Deleted Ubuntu Noble arm64 proposed universe ocaml Extra 0.5-4build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2023-11-25 08:38:20 UTC Superseded Ubuntu Noble arm64 release universe ocaml Extra 0.5-4
  • Removal requested .
  • Superseded by arm64 build of ocplib-simplex 0.5-4build1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu