ocplib-simplex 0.5.1-2 source package in Ubuntu
Changelog
ocplib-simplex (0.5.1-2) unstable; urgency=medium
* Team upload
* Test depend on libzarith-ocaml-dev, dependency used for testing
(Closes: #1072668)
-- Stéphane Glondu <email address hidden> Fri, 07 Jun 2024 09:06:39 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| ocplib-simplex_0.5.1-2.dsc | 1.9 KiB | 293845d89138dd5ee90e758536d526e858c245574d7c0211ed06c750fa21b565 |
| ocplib-simplex_0.5.1.orig.tar.gz | 33.4 KiB | 4518a8c9eaaaee4626f73899a2b87a482f55c3a6995303f08eea8c952c7befa5 |
| ocplib-simplex_0.5.1-2.debian.tar.xz | 2.5 KiB | a7b4dec6aa9510af8f23119fb77d5b9dde96cdf94f8c1141ec1637d8cd86b534 |
Available diffs
- diff from 0.5.1-1ubuntu1 (in Ubuntu) to 0.5.1-2 (500 bytes)
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
optimization.
- ocplib-simplex-ocaml-dev-dbgsym: debug symbols for ocplib-simplex-ocaml-dev
