Skip to content
Choose a tag to compare



  • Add 0install-solver.opam. This makes the solver into a separate opam package.

  • Improve display of implementations in diagnostics. Instead of sha1=3ce644dc725f1d21cfcf02562c76f375944b266a (1), show: v1 (sha1=3ce644dc725f...).

  • Only report restrictions that affected the result. If a restriction didn't remove any candidates (either because it matched all of them or because another restriction already removed them) then don't bother reporting it. Also, don't bother reporting a restriction that only removed candidates worse than the selected one (if any). For user-provided restrictions, filter the rejects to show only the version the user asked for (unless that would remove all of them). Since we only show the first 5 rejects, this would often mean that the interesting candidates weren't even shown.

  • Expose more of the solver diagnostics API. This allows users to format the results in other ways (for example, as a list in a GUI). Also, use formatting boxes instead of manual indentation.

  • Add conflict_class. This isn't used by 0install, but the new opam backend that uses the 0install solver needs it.


  • Update minimum OCaml version to 4.08. Remove our custom Option module and use the new stdlib one instead. Use the new List.filter_map from the stdlib instead of our one. Also, rename our first_match to find_map, to match the name in 4.10.

  • Depend on ounit2 for unit-tests. The old oUnit is just a transition package that depends on ounit2 now.

Choose a tag to compare


  • Update to GTK 3, because Debian is removing GTK 2 support now.
    Note that the systray icon no longer blinks to indicate that action is
    required, as GTK removed this feature. This also updates the static Docker
    images to use Ubuntu 16.04, since 14.04's version of GTK 3 is too old.

  • Upgrade to dune 2.1.

Choose a tag to compare


Bug fixes

  • Don't try to update distribution caches in --dry-run mode.
    If we needed to update a cache, the operation would fail with e.g.
    Bug: 'with_open_out' called in --dry-run mode.

Opam package

  • Mark obus as required (except on Windows and macOS).
    This is more explicit than just asking users to install it where it makes sense, and also means that the CI will test it.

  • Split GTK UI into a separate opam package.
    This makes it easy to install it (using opam install 0install-gtk), and means that the CI will test it.

  • Update opam metadata to match opam-repository.

Code cleanups

  • Rename "ocaml" directory to "src". There are no other languages here now.

  • Make the solver return a SOLVER_RESULT.
    The old API was a bit confusing. The user of the solver had to wrap the solver's return to provide a SOLVER_RESULT for the diagnostics.
    Now, the user-required bits are in SOLVER_INPUT and the solver itself provides the rest.

  • Split the solver into its own library. Since the refactoring in 2014
    (see Simplifying the Solver With Functors),
    the solver isn't really tied to 0install at all, and could be useful for other package managers.

  • Generalise the solver's machine groups system.
    This removes the one remaining dependency from the solver to the rest of 0install.

  • Rename option functions in solver to match OCaml 4.08.

  • Split Feed_metadata and Feed_import out into their own modules.

  • Rename Feed.feed to Feed.t and make the type abstract.

  • Skip rpm2cpio unit test if cpio isn't available. It seems that recent Fedora images provide rpm2cpio, but not cpio.

Choose a tag to compare

The unit-tests got confused by the "0.1" string in path from which opam runs them when using OCaml 4.00.1.