diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-16 18:25:56 +0200 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-07-20 08:10:41 +0200 |
| commit | 2742e3d3322d3f809828dff5bcae3d3fe52c03ff (patch) | |
| tree | e2418704dfcf2af1aa8b6c4f3e346d0393875024 /.gitattributes | |
| parent | 54f1ba9c3bd1286156fb761feb1f3bf7ec662b20 (diff) | |
| download | spack-2742e3d3322d3f809828dff5bcae3d3fe52c03ff.tar.gz spack-2742e3d3322d3f809828dff5bcae3d3fe52c03ff.tar.bz2 spack-2742e3d3322d3f809828dff5bcae3d3fe52c03ff.tar.xz spack-2742e3d3322d3f809828dff5bcae3d3fe52c03ff.zip | |
concretize.lp: impose a lower bound on the number of version facts if a solution exists (#31142)
* concretize.lp: impose a lower bound on the number of version facts if a valid version exists
fixes #30864
* Add a unit test
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions