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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc-ide_2.8.2-1+b1_mips64el.deb2024-03-17 02:53 817K 
[   ]minizinc-ide_2.8.2-1+b1_i386.deb2024-03-16 10:19 936K 
[   ]minizinc-ide_2.8.2-1+b1_arm64.deb2024-03-16 00:19 818K 
[   ]minizinc-ide_2.8.2-1+b1_amd64.deb2024-03-16 07:25 889K 
[   ]minizinc-ide_2.6.3-1_mips64el.deb2022-05-29 18:55 795K 
[   ]minizinc-ide_2.6.3-1_i386.deb2022-05-29 18:56 897K 
[   ]minizinc-ide_2.6.3-1_arm64.deb2022-05-29 18:56 785K 
[   ]minizinc-ide_2.6.3-1_amd64.deb2022-05-29 18:56 847K 
[   ]minizinc-ide_2.5.3-1_i386.deb2020-12-10 01:13 797K 
[   ]minizinc-ide_2.5.3-1_arm64.deb2020-12-10 00:58 697K 
[   ]minizinc-ide_2.5.3-1_amd64.deb2020-12-10 01:14 755K 
[   ]minizinc-ide_2.1.7-1_i386.deb2018-01-23 18:59 260K 
[   ]minizinc-ide_2.1.7-1_arm64.deb2018-01-23 18:14 233K 
[   ]minizinc-ide_2.1.7-1_amd64.deb2018-01-23 17:43 244K 

Apache/2.4.18 (Ubuntu) Server at mirror.seedvps.com Port 80