ocplib-simplex 0.5-4build3 source package in Ubuntu
Changelog
ocplib-simplex (0.5-4build3) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:19:52 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- 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.orig.tar.gz | 31.2 KiB | 5d76f55cc19c4ce212789ecb879d86b876e8930283463fc4f8ac1374ddfa6ef4 |
| ocplib-simplex_0.5-4build3.debian.tar.xz | 2.6 KiB | adf7873fd67913cf044a2f796bd66e1afe42d889f275c8dfe07fd79f0d834678 |
| ocplib-simplex_0.5-4build3.dsc | 2.1 KiB | ae18d8f9769f41c419f05efcf1cd9ab2f16d383f25ee426527f295f83aac9a5b |
Available diffs
- diff from 0.5-4build2 to 0.5-4build3 (322 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
