ProfileView (Cairo? Gtk4?) started using some odd font, but why?

[nsajko]

@HanD

I guess don’t understand how the version resolution works in Pkg.jl.

What is the Pkg.jl package dependency resolver (solver algorithm)?

According to its source code, Pkg.jl uses a dependency resolving algorithm called MaxSum to resolve the package dependency graph. However, I was not able to find any documentation about this algorithm, or any concrete reference to some scientific paper describing it. Can someone add or provide some documentation on this algorithm and maybe some discussion what are the rationales and design decisions behind it? What are the advantages of MaxSum compared to other dependency resolvers, such as PubG…