0install-solver 2.18-1build1 source package in Ubuntu
Changelog
0install-solver (2.18-1build1) oracular; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Fri, 09 Aug 2024 14:21:01 +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 | |
|---|---|---|---|---|
| Plucky | release | universe | misc | |
| Oracular | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| 0install-solver_2.18.orig.tar.bz2 | 441.8 KiB | 648c4b318c1a26dfcb44065c226ab8ca723795924ad80a3bf39ae1ce0e9920c3 |
| 0install-solver_2.18-1build1.debian.tar.xz | 1.8 KiB | 11661f78b276002c9a52e14a6a70f30b8de6f0ec7f3527a90983708d484f0e26 |
| 0install-solver_2.18-1build1.dsc | 2.1 KiB | 64f4fb1db3cea168956bca162544ba26f88843e3d181e7562dc66dc5a62d52e9 |
Available diffs
- diff from 2.18-1 (in Debian) to 2.18-1build1 (341 bytes)
Binary packages built by this source
- lib0install-solver-ocaml: package dependency solver (runtime)
A package dependency resolver based on a SAT solver. This was
originally written for the 0install package manager, but is now
generic and is also used as a solver backend for opam. The SAT solver
is based on MiniSat (http://minisat. se/Papers. html) and the
application to package management is based on OPIUM (Optimal Package
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy
to find the optimal solution extremely quickly (even for a SAT-based
solver).
.
This package contains runtime files.
- lib0install-solver-ocaml-dbgsym: debug symbols for lib0install-solver-ocaml
- lib0install-solver-ocaml-dev: package dependency solver (dev)
A package dependency resolver based on a SAT solver. This was
originally written for the 0install package manager, but is now
generic and is also used as a solver backend for opam. The SAT solver
is based on MiniSat (http://minisat. se/Papers. html) and the
application to package management is based on OPIUM (Optimal Package
Install/Uninstall Manager). 0install-solver uses a (novel?) strategy
to find the optimal solution extremely quickly (even for a SAT-based
solver).
.
This package contains development files.
