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 !
../ flatzinc_6.1.0-2_armhf.deb 18-Jan-2019 10:08 63K flatzinc_6.2.0-5_armhf.deb 14-Aug-2020 10:08 73K gecode_6.1.0-2.debian.tar.xz 12-Jan-2019 21:35 15K gecode_6.1.0-2.dsc 12-Jan-2019 21:35 2156 gecode_6.1.0.orig.tar.gz 20-Oct-2018 14:07 3M gecode_6.2.0-5.1.debian.tar.xz 28-Feb-2024 16:21 16K gecode_6.2.0-5.1.dsc 28-Feb-2024 16:21 2200 gecode_6.2.0-5.debian.tar.xz 09-Aug-2020 06:13 16K gecode_6.2.0-5.dsc 09-Aug-2020 06:13 2127 gecode_6.2.0.orig.tar.gz 16-Dec-2019 19:01 4M libgecode-dev_6.1.0-2_armhf.deb 18-Jan-2019 10:08 496K libgecode-dev_6.2.0-5_armhf.deb 14-Aug-2020 10:08 501K libgecode-doc_6.1.0-2_all.deb 12-Jan-2019 21:35 10M libgecode-doc_6.2.0-5.1_all.deb 28-Feb-2024 17:50 11M libgecode-doc_6.2.0-5_all.deb 09-Aug-2020 06:38 11M libgecode48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 2M libgecode49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 2M libgecodeflatzinc48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 210K libgecodeflatzinc49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 220K libgecodegist48_6.1.0-2_armhf.deb 18-Jan-2019 10:08 149K libgecodegist49_6.2.0-5_armhf.deb 14-Aug-2020 10:08 149K