Show patches with: Series = Update minizinc and solvers.       |    Archived = No       |   3 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#70087,3/3] gnu: minizinc: Update to 2.8.4. Update minizinc and solvers. - - - --- 2024-05-15 Herman Rimm New
[bug#70087,2/3] gnu: chuffed: Update to 0.13.2. Update minizinc and solvers. - - - --- 2024-05-15 Herman Rimm New
[bug#70087,1/3] gnu: gecode: Update to 6.2.0-1.f7f0d7c. Update minizinc and solvers. - - - --- 2024-05-15 Herman Rimm New