This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ minizinc_2.1.7+dfsg1-1.debian.tar.xz 23-Jan-2018 16:43 9436 minizinc_2.1.7+dfsg1-1.dsc 23-Jan-2018 16:43 1807 minizinc_2.1.7+dfsg1-1_armhf.deb 29-Jan-2018 10:08 1M minizinc_2.1.7+dfsg1.orig.tar.xz 23-Jan-2018 16:43 487K minizinc_2.5.3+dfsg1-1.debian.tar.xz 09-Dec-2020 18:17 9020 minizinc_2.5.3+dfsg1-1.dsc 09-Dec-2020 18:17 1840 minizinc_2.5.3+dfsg1-1_armhf.deb 15-Dec-2020 10:08 1M minizinc_2.5.3+dfsg1.orig.tar.gz 09-Dec-2020 18:17 2M minizinc_2.6.4+dfsg1-1.debian.tar.xz 22-Jul-2022 23:53 9132 minizinc_2.6.4+dfsg1-1.dsc 22-Jul-2022 23:53 1801 minizinc_2.6.4+dfsg1-1_armhf.deb 28-Jul-2022 07:38 2M minizinc_2.6.4+dfsg1.orig.tar.xz 22-Jul-2022 23:53 859K minizinc_2.8.2+dfsg1-1.debian.tar.xz 01-Jan-2024 13:49 11K minizinc_2.8.2+dfsg1-1.dsc 01-Jan-2024 13:49 1798 minizinc_2.8.2+dfsg1-1_armhf.deb 07-Jan-2024 10:08 2M minizinc_2.8.2+dfsg1.orig.tar.gz 01-Jan-2024 13:49 2M minizinc_2.8.3+dfsg1-1.debian.tar.xz 29-Mar-2024 16:22 11K minizinc_2.8.3+dfsg1-1.dsc 29-Mar-2024 16:22 1814 minizinc_2.8.3+dfsg1.orig.tar.xz 29-Mar-2024 16:22 961K