12 Aug 2024

Tue

apk-tree-sitter dependancy in opam-repository

might need debian contrib

1. ~ add translated opam-repository to opam-giga-repository

2. ~ look at all the solving failures

Wed

1. trying to modify the zeroinstall solver to support solving multiple versions for e.g. cargo

   http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/

   where does the CUDF conflict between multiple versions of the same package come from?

   so the fundamental problem here is we have different solving semantics for different parts of the dependency tree

   I wonder if it would be possible to have a depth first search for cargo’s portion of the dependency tree, and sat solving for the rest

Thu

where does the CUDF conflict between multiple versions of the same package come from?

https://github.com/ocaml/opam/blob/6cbdfbbb0b05c449e2e98eb81216f8cd2335e351/src/solver/opamSolver.ml#L295-L302

okay, what if we just modify the version impls to have different roles for every cargo package

0install solver for cargo packages