Index of /raspbian/pool/main/m/minizinc

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]minizinc_2.5.3+dfsg1.orig.tar.gz09-Dec-2020 18:17 1.5M  Details
[   ]minizinc_2.5.3+dfsg1-1_armhf.deb15-Dec-2020 10:08 1.3M  Details
[TXT]minizinc_2.5.3+dfsg1-1.dsc09-Dec-2020 18:17 1.8K  Details
[   ]minizinc_2.5.3+dfsg1-1.debian.tar.xz09-Dec-2020 18:17 8.8K  Details
[   ]minizinc_2.1.7+dfsg1.orig.tar.xz23-Jan-2018 16:43 487K  Details
[   ]minizinc_2.1.7+dfsg1-1_armhf.deb29-Jan-2018 10:08 1.4M  Details
[TXT]minizinc_2.1.7+dfsg1-1.dsc23-Jan-2018 16:43 1.8K  Details
[   ]minizinc_2.1.7+dfsg1-1.debian.tar.xz23-Jan-2018 16:43 9.2K  Details
[   ]minizinc_2.0.14+dfsg1.orig.tar.gz28-Aug-2016 16:46 438K  Details
[   ]minizinc_2.0.14+dfsg1-1_armhf.deb03-Sep-2016 16:08 961K  Details
[TXT]minizinc_2.0.14+dfsg1-1.dsc28-Aug-2016 16:46 1.7K  Details
[   ]minizinc_2.0.14+dfsg1-1.debian.tar.xz28-Aug-2016 16:46 9.0K  Details

Apache/2.4.62 (Debian) Server at 5.153.225.207 Port 80

MirrorBrain powered by Apache