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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
minizinc-ide_2.5.3-1_amd64.deb 7730442020-Dec-10 00:14
minizinc-ide_2.6.3-1_amd64.deb 8671322022-May-29 16:56
minizinc-ide_2.8.5-1_amd64.deb 9197482024-Aug-27 04:53