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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]minizinc-ide_2.1.7-1+b1_armhf.deb07-Feb-2018 01:38 226K  Details
[   ]minizinc-ide_2.1.7-1.debian.tar.xz23-Jan-2018 16:43 8.7K  Details
[   ]minizinc-ide_2.1.7-1.dsc23-Jan-2018 16:43 1.7K  Details
[   ]minizinc-ide_2.1.7.orig.tar.gz23-Jan-2018 16:43 210K  Details
[   ]minizinc-ide_2.5.3-1.debian.tar.xz09-Dec-2020 18:17 13K  Details
[   ]minizinc-ide_2.5.3-1.dsc09-Dec-2020 18:17 1.7K  Details
[   ]minizinc-ide_2.5.3.orig.tar.gz09-Dec-2020 18:17 780K  Details
[   ]minizinc-ide_2.6.3-1.debian.tar.xz29-May-2022 16:20 13K  Details
[   ]minizinc-ide_2.6.3-1.dsc29-May-2022 16:20 1.7K  Details
[   ]minizinc-ide_2.6.3.orig.tar.gz29-May-2022 16:20 808K  Details
[   ]minizinc-ide_2.8.2-1.debian.tar.xz01-Jan-2024 13:49 13K  Details
[   ]minizinc-ide_2.8.2-1.dsc01-Jan-2024 13:49 1.7K  Details
[   ]minizinc-ide_2.8.2.orig.tar.gz01-Jan-2024 13:49 816K  Details

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

MirrorBrain powered by Apache