Previous: Mon 5 Aug 2024
Next: Mon 26 Aug 2024
§Tue
apk-tree-sitter dependancy in opam-repository
might need debian contrib
§KILL add translated opam-repository to opam-giga-repository
§KILL look at all the solving failures
§Wed
§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?
okay, what if we just modify the version impls to have different roles for every cargo package
0install solver for cargo packages