ocplib-simplex 0.5.1-1ubuntu1 source package in Ubuntu
Changelog
ocplib-simplex (0.5.1-1ubuntu1) oracular; urgency=medium * Test depend on libzarith-ocaml-dev, dependency used for testing. -- Gianfranco Costamagna <email address hidden> Thu, 06 Jun 2024 08:03:18 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Oracular
- 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.orig.tar.gz | 33.4 KiB | 4518a8c9eaaaee4626f73899a2b87a482f55c3a6995303f08eea8c952c7befa5 |
| ocplib-simplex_0.5.1-1ubuntu1.debian.tar.xz | 2.6 KiB | 707c13d4abefc067b5a8f61fbbd138830a067c31855938bd85e7dc0e37a28db0 |
| ocplib-simplex_0.5.1-1ubuntu1.dsc | 2.2 KiB | 14b34b4c2b7b2d960a32e8adfbb4aa878ee895b9e3f76d4023b196b6b3466542 |
Available diffs
- diff from 0.5-4build5 to 0.5.1-1ubuntu1 (10.6 KiB)
- diff from 0.5.1-1 (in Debian) to 0.5.1-1ubuntu1 (429 bytes)
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
