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
[TXT]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
[TXT]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
[TXT]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.5-1.debian.tar.xz27-Aug-2024 04:28 8.9K  Details
[TXT]minizinc-ide_2.8.5-1.dsc27-Aug-2024 04:28 1.8K  Details
[   ]minizinc-ide_2.8.5.orig.tar.gz27-Aug-2024 04:28 816K  Details

Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.org Port 80

MirrorBrain powered by Apache