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 !
../ coq-quickchick_2.0.2-1build5.debian.tar.xz 08-Apr-2024 07:57 3300 coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 07:57 2353 coq-quickchick_2.0.2.orig.tar.gz 20-Jan-2024 23:35 406K coq-quickchick_2.0.3-3build5.debian.tar.xz 17-Sep-2024 16:56 3008 coq-quickchick_2.0.3-3build5.dsc 17-Sep-2024 16:56 2274 coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 11:53 402K coq-quickchick_2.0.5-1.debian.tar.xz 18-Dec-2024 23:41 2888 coq-quickchick_2.0.5-1.dsc 18-Dec-2024 23:41 2287 coq-quickchick_2.0.5-1build1.debian.tar.xz 20-Dec-2024 14:16 2960 coq-quickchick_2.0.5-1build1.dsc 20-Dec-2024 14:16 2274 coq-quickchick_2.0.5.orig.tar.gz 18-Dec-2024 23:41 403K libcoq-quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 14:36 2M libcoq-quickchick_2.0.3-3build5_amd64.deb 19-Sep-2024 23:39 4M libcoq-quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:49 4M libcoq-quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 14:16 4M quickchick_2.0.2-1build5_amd64.deb 08-Apr-2024 14:36 65K quickchick_2.0.3-3build5_amd64.deb 19-Sep-2024 23:39 517K quickchick_2.0.5-1_amd64.deb 19-Dec-2024 00:49 522K quickchick_2.0.5-1build1_amd64.deb 20-Dec-2024 14:16 517K