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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]minizinc_2.6.4+dfsg1-1_amd64.deb2022-07-22 20:28 1.9M 
[ ]minizinc_2.6.4+dfsg1-1_i386.deb2022-07-22 20:18 2.0M 
Apache/2.4.62 (Debian) Server at 152.2.131.131 Port 80