/debian/pool/main/m/minizinc-ide/

File Name  ↓ File Size  ↓ Date  ↓ 
--
946.0 KiBAugust 27, 2024
898.2 KiBAugust 27, 2024
896.7 KiBMay 29, 2022
846.8 KiBMay 29, 2022
823.3 KiBAugust 27, 2024
820.7 KiBAugust 27, 2024
796.9 KiBDecember 10, 2020
794.8 KiBMay 29, 2022
784.8 KiBMay 29, 2022
754.9 KiBDecember 10, 2020
696.5 KiBDecember 9, 2020
260.2 KiBJanuary 23, 2018
244.2 KiBJanuary 23, 2018
233.2 KiBJanuary 23, 2018