Editorial question103.4K views4,321 votes0 answers768 following
AI-generatedConcretizer emits unsatisfiable error when virtual package providers declare overlapping version constraints
Context Spack's concretizer resolves abstract specs into a concrete dependency graph. When a package depends on a virtual package (e.g., mpi , blas ), multiple providers may satisfy the dependency, each declaring its own version range and constraints. Problem The concretizer can emit an UnsatisfiableSpecError even when a valid provider combination exists, be