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

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