ocplib-simplex 0.4-1 source package in Ubuntu


ocplib-simplex (0.4-1) unstable; urgency=medium

  * New upstream version.
    - dropped patch install-target which has been integrated by upstream
    - new patch destdir: don't have $(DESTDIR) filled in by ./configure
    - new patch testcase: fix minimal test for version 0.4
  * Standards-Version 4.1.1:
    - change Priority from extra to optional
  * debian/tests/control: add Dependency @ (thanks to Andy Li)

 -- Ralf Treinen <email address hidden>  Wed, 15 Nov 2017 07:59:42 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2017-11-15
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe misc
Eoan release on 2019-04-18 universe misc
Disco release on 2018-10-30 universe misc
Cosmic release on 2018-05-01 universe misc
Bionic release on 2017-11-15 universe misc


File Size SHA-256 Checksum
ocplib-simplex_0.4-1.dsc 2.1 KiB a9bbf3b31f359403c47dbd30a550656e9b29abed5723f430edea5f340b19dc54
ocplib-simplex_0.4.orig.tar.gz 31.0 KiB e17dab080508f2d02ce727c3dbc8dbc2613b15229cc74c67d3d11d4fdf22d878
ocplib-simplex_0.4-1.debian.tar.xz 2.6 KiB 80029e01f04e095cb9db09608a60ed0ade09b0c0db94a37e52b2d5d4a2bdb90f

Available diffs

No changes file available.

Binary packages built by this source

ocplib-simplex-ocaml-dev: simplex library for solving linear inequalities

 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

ocplib-simplex-ocaml-dev-dbgsym: debug symbols for ocplib-simplex-ocaml-dev