Index of /ubuntu-current/pool/universe/m/minizinc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]minizinc_2.4.2-1build1.dsc2020-03-24 10:43 1.8K 
[   ]minizinc_2.4.2-1build1.debian.tar.xz2020-03-24 10:43 8.6K 
[   ]minizinc_2.4.2-1build1_amd64.deb2020-03-24 12:12 1.4M 
[   ]minizinc_2.4.2.orig.tar.gz2020-01-10 18:13 1.5M