/debian/pool/main/m/minizinc/

File Name  ↓ File Size  ↓ Date  ↓ 
--
1.7 MiBJanuary 23, 2018
1.6 MiBJanuary 23, 2018
1.7 MiBJanuary 23, 2018
1.5 MiBDecember 10, 2020
1.3 MiBDecember 10, 2020
1.6 MiBDecember 10, 2020
1.3 MiBDecember 10, 2020
1.5 MiBDecember 10, 2020
1.9 MiBJuly 23, 2022
1.7 MiBJuly 23, 2022
2.0 MiBJuly 23, 2022
1.6 MiBJuly 23, 2022
1.8 MiBJuly 23, 2022
2.3 MiBOctober 9, 2024
2.0 MiBOctober 9, 2024
2.4 MiBOctober 9, 2024
1.9 MiBOctober 9, 2024
2.2 MiBOctober 9, 2024
2.4 MiBOctober 10, 2024