ocplib-simplex 0.5-4 source package in Ubuntu
Changelog
ocplib-simplex (0.5-4) unstable; urgency=medium [ Stéphane Glondu ] * Team upload [ Debian Janitor ] * Use secure copyright file specification URI. * Bump debhelper from old 10 to 13. * Set debhelper-compat version in Build-Depends. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. -- Stéphane Glondu <email address hidden> Sat, 02 Sep 2023 09:52:44 +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 | |
---|---|---|---|---|
Mantic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ocplib-simplex_0.5-4.dsc | 1.9 KiB | b444676df0bb023cd42d2be822ef66397a0f9fad2f7cf9bea9bed2be83da15d0 |
ocplib-simplex_0.5.orig.tar.gz | 31.2 KiB | 5d76f55cc19c4ce212789ecb879d86b876e8930283463fc4f8ac1374ddfa6ef4 |
ocplib-simplex_0.5-4.debian.tar.xz | 2.5 KiB | e5637241d39a52fada2b16a4a5bdd114c352ea2c18cb8f3f4c7b64f1d455c7ca |
Available diffs
- diff from 0.5-3build1 (in Ubuntu) to 0.5-4 (620 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