Index of /ftp.debian.org/debian/pool/main/m/minizinc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc_2.1.7+dfsg1-1_amd64.deb2018-01-23 23:43 1.7M 
[   ]minizinc_2.5.3+dfsg1-1_amd64.deb2020-12-10 07:14 1.5M