EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Lobsters·Sep 2·5 min read
The holy grail of nixpkgs: version ranges
TL;DR
Version range support has been introduced to Nixpkgs, enabling users to specify compatible package versions, enhancing software compatibility and build reliability.
✦ Why It Matters
Start using grail to define version ranges in your Nixpkgs projects today.
Key Takeaways
- Implement version ranges in your Nixpkgs projects using grail.
- Utilize the SAT solver for complex version constraints.
- Explore the history of Nixpkgs for compatible package versions.
- Leverage grail's query language for sophisticated package specifications.
How It Works
Grail introduces a query language that allows users to specify version ranges and coexistence groups for packages. It employs a SAT solver, specifically Answer Set Programming (ASP), to evaluate constraints and find compatible package versions across Nixpkgs' history.
The solver processes facts about package versions and their lifetimes, enabling it to determine when multiple packages can coexist based on specified constraints.