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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]minizinc_2.1.7+dfsg1-1.debian.tar.xz23-Jan-2018 16:43 9.2K  Details
[   ]minizinc_2.1.7+dfsg1-1.dsc23-Jan-2018 16:43 1.8K  Details
[   ]minizinc_2.1.7+dfsg1-1_armhf.deb29-Jan-2018 10:08 1.4M  Details
[   ]minizinc_2.1.7+dfsg1.orig.tar.xz23-Jan-2018 16:43 487K  Details
[   ]minizinc_2.5.3+dfsg1-1.debian.tar.xz09-Dec-2020 18:17 8.8K  Details
[   ]minizinc_2.5.3+dfsg1-1.dsc09-Dec-2020 18:17 1.8K  Details
[   ]minizinc_2.5.3+dfsg1-1_armhf.deb15-Dec-2020 10:08 1.3M  Details
[   ]minizinc_2.5.3+dfsg1.orig.tar.gz09-Dec-2020 18:17 1.5M  Details
[   ]minizinc_2.6.4+dfsg1-1.debian.tar.xz22-Jul-2022 23:53 8.9K  Details
[   ]minizinc_2.6.4+dfsg1-1.dsc22-Jul-2022 23:53 1.8K  Details
[   ]minizinc_2.6.4+dfsg1-1_armhf.deb28-Jul-2022 07:38 1.6M  Details
[   ]minizinc_2.6.4+dfsg1.orig.tar.xz22-Jul-2022 23:53 859K  Details
[   ]minizinc_2.8.2+dfsg1-1.debian.tar.xz01-Jan-2024 13:49 11K  Details
[   ]minizinc_2.8.2+dfsg1-1.dsc01-Jan-2024 13:49 1.8K  Details
[   ]minizinc_2.8.2+dfsg1-1_armhf.deb07-Jan-2024 10:08 1.8M  Details
[   ]minizinc_2.8.2+dfsg1.orig.tar.gz01-Jan-2024 13:49 1.8M  Details

Apache/2.4.38 (Debian) Server at mirrordirector.raspbian.org Port 80

MirrorBrain powered by Apache