TechLobstersabout 3 hours ago
The holy grail of nixpkgs: version ranges
1 min read
Grail, a new query language and SAT solver, enables version range constraints in nixpkgs, solving previously inexpressible coexistence queries. It uses Answer Set Programming via clingo, drawing on 309,000+ package-versions across 1,541 revisions from nixmultiverse.com. The tool writes multiverse.lock files compatible with existing mvs workflows.
Level
Hype check
Tap to vote and see what everyone thinks.
