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 !
../ haskell-type-level-numbers_0.1.1.1-5.debian.tar.xz 30-Sep-2018 20:55 2560 haskell-type-level-numbers_0.1.1.1-5.dsc 30-Sep-2018 20:55 2495 haskell-type-level-numbers_0.1.1.1-6.debian.tar.xz 08-Jun-2020 15:17 2592 haskell-type-level-numbers_0.1.1.1-6.dsc 08-Jun-2020 15:17 2496 haskell-type-level-numbers_0.1.1.1.orig.tar.gz 16-Sep-2016 17:26 9978 haskell-type-level-numbers_0.1.1.2-1.debian.tar.xz 19-Jul-2022 15:18 2624 haskell-type-level-numbers_0.1.1.2-1.dsc 19-Jul-2022 15:18 2492 haskell-type-level-numbers_0.1.1.2-3.debian.tar.xz 14-Sep-2024 20:34 2740 haskell-type-level-numbers_0.1.1.2-3.dsc 14-Sep-2024 20:34 2447 haskell-type-level-numbers_0.1.1.2.orig.tar.gz 19-Jul-2022 15:18 9931 libghc-type-level-numbers-dev_0.1.1.1-5+b2_amd6..> 03-Dec-2018 16:29 114K libghc-type-level-numbers-dev_0.1.1.1-5+b2_arm6..> 03-Dec-2018 16:14 126K libghc-type-level-numbers-dev_0.1.1.1-5+b2_armh..> 03-Dec-2018 18:56 120K libghc-type-level-numbers-dev_0.1.1.1-5+b2_i386..> 03-Dec-2018 16:14 109K libghc-type-level-numbers-dev_0.1.1.1-6+b1_amd6..> 13-Aug-2020 22:14 112K libghc-type-level-numbers-dev_0.1.1.1-6+b1_arm6..> 14-Aug-2020 08:10 125K libghc-type-level-numbers-dev_0.1.1.1-6+b1_arme..> 13-Aug-2020 22:30 120K libghc-type-level-numbers-dev_0.1.1.1-6+b1_armh..> 14-Aug-2020 09:59 119K libghc-type-level-numbers-dev_0.1.1.1-6+b1_i386..> 13-Aug-2020 22:14 108K libghc-type-level-numbers-dev_0.1.1.1-6+b1_mips..> 19-Aug-2020 05:12 133K libghc-type-level-numbers-dev_0.1.1.1-6+b1_mips..> 17-Aug-2020 19:26 126K libghc-type-level-numbers-dev_0.1.1.1-6+b1_ppc6..> 13-Aug-2020 22:14 138K libghc-type-level-numbers-dev_0.1.1.1-6+b2_s390..> 13-Aug-2020 21:58 145K libghc-type-level-numbers-dev_0.1.1.2-1+b1_amd6..> 25-Sep-2022 15:44 113K libghc-type-level-numbers-dev_0.1.1.2-1+b1_arm6..> 25-Sep-2022 16:10 144K libghc-type-level-numbers-dev_0.1.1.2-1+b1_arme..> 25-Sep-2022 22:13 134K libghc-type-level-numbers-dev_0.1.1.2-1+b1_armh..> 25-Sep-2022 23:56 134K libghc-type-level-numbers-dev_0.1.1.2-1+b1_i386..> 25-Sep-2022 17:29 148K libghc-type-level-numbers-dev_0.1.1.2-1+b1_mips..> 26-Sep-2022 12:43 135K libghc-type-level-numbers-dev_0.1.1.2-1+b1_mips..> 25-Sep-2022 18:57 128K libghc-type-level-numbers-dev_0.1.1.2-1+b1_ppc6..> 25-Sep-2022 18:00 138K libghc-type-level-numbers-dev_0.1.1.2-1+b1_s390..> 25-Sep-2022 21:01 147K libghc-type-level-numbers-dev_0.1.1.2-3_amd64.deb 14-Sep-2024 22:15 109K libghc-type-level-numbers-dev_0.1.1.2-3_arm64.deb 14-Sep-2024 22:37 112K libghc-type-level-numbers-dev_0.1.1.2-3_armel.deb 14-Sep-2024 23:35 132K libghc-type-level-numbers-dev_0.1.1.2-3_armhf.deb 15-Sep-2024 00:01 130K libghc-type-level-numbers-dev_0.1.1.2-3_i386.deb 14-Sep-2024 22:43 140K libghc-type-level-numbers-dev_0.1.1.2-3_mips64e..> 15-Sep-2024 04:44 130K libghc-type-level-numbers-dev_0.1.1.2-3_ppc64el..> 14-Sep-2024 22:15 129K libghc-type-level-numbers-dev_0.1.1.2-3_riscv64..> 15-Sep-2024 12:53 155K libghc-type-level-numbers-dev_0.1.1.2-3_s390x.deb 14-Sep-2024 23:14 150K libghc-type-level-numbers-doc_0.1.1.1-5_all.deb 30-Sep-2018 23:13 72K libghc-type-level-numbers-doc_0.1.1.1-6_all.deb 08-Jun-2020 15:58 77K libghc-type-level-numbers-doc_0.1.1.2-1_all.deb 19-Jul-2022 15:38 78K libghc-type-level-numbers-doc_0.1.1.2-3_all.deb 14-Sep-2024 22:32 78K libghc-type-level-numbers-prof_0.1.1.1-5+b2_amd..> 03-Dec-2018 16:29 92K libghc-type-level-numbers-prof_0.1.1.1-5+b2_arm..> 03-Dec-2018 16:14 98K libghc-type-level-numbers-prof_0.1.1.1-5+b2_arm..> 03-Dec-2018 18:56 95K libghc-type-level-numbers-prof_0.1.1.1-5+b2_i38..> 03-Dec-2018 16:14 91K libghc-type-level-numbers-prof_0.1.1.1-6+b1_amd..> 13-Aug-2020 22:14 92K libghc-type-level-numbers-prof_0.1.1.1-6+b1_arm..> 14-Aug-2020 08:10 98K libghc-type-level-numbers-prof_0.1.1.1-6+b1_arm..> 13-Aug-2020 22:30 96K libghc-type-level-numbers-prof_0.1.1.1-6+b1_arm..> 14-Aug-2020 09:59 96K libghc-type-level-numbers-prof_0.1.1.1-6+b1_i38..> 13-Aug-2020 22:14 91K libghc-type-level-numbers-prof_0.1.1.1-6+b1_mip..> 19-Aug-2020 05:12 107K libghc-type-level-numbers-prof_0.1.1.1-6+b1_mip..> 17-Aug-2020 19:26 106K libghc-type-level-numbers-prof_0.1.1.1-6+b1_ppc..> 13-Aug-2020 22:14 106K libghc-type-level-numbers-prof_0.1.1.1-6+b2_s39..> 13-Aug-2020 21:58 101K libghc-type-level-numbers-prof_0.1.1.2-1+b1_amd..> 25-Sep-2022 15:44 96K libghc-type-level-numbers-prof_0.1.1.2-1+b1_arm..> 25-Sep-2022 16:10 129K libghc-type-level-numbers-prof_0.1.1.2-1+b1_arm..> 25-Sep-2022 22:13 125K libghc-type-level-numbers-prof_0.1.1.2-1+b1_arm..> 25-Sep-2022 23:56 124K libghc-type-level-numbers-prof_0.1.1.2-1+b1_i38..> 25-Sep-2022 17:29 115K libghc-type-level-numbers-prof_0.1.1.2-1+b1_mip..> 26-Sep-2022 12:43 112K libghc-type-level-numbers-prof_0.1.1.2-1+b1_mip..> 25-Sep-2022 18:57 110K libghc-type-level-numbers-prof_0.1.1.2-1+b1_ppc..> 25-Sep-2022 18:00 110K libghc-type-level-numbers-prof_0.1.1.2-1+b1_s39..> 25-Sep-2022 21:01 106K libghc-type-level-numbers-prof_0.1.1.2-3_amd64.deb 14-Sep-2024 22:15 99K libghc-type-level-numbers-prof_0.1.1.2-3_arm64.deb 14-Sep-2024 22:37 107K libghc-type-level-numbers-prof_0.1.1.2-3_armel.deb 14-Sep-2024 23:35 122K libghc-type-level-numbers-prof_0.1.1.2-3_armhf.deb 15-Sep-2024 00:01 121K libghc-type-level-numbers-prof_0.1.1.2-3_i386.deb 14-Sep-2024 22:43 116K libghc-type-level-numbers-prof_0.1.1.2-3_mips64..> 15-Sep-2024 04:44 114K libghc-type-level-numbers-prof_0.1.1.2-3_ppc64e..> 14-Sep-2024 22:15 114K libghc-type-level-numbers-prof_0.1.1.2-3_riscv6..> 15-Sep-2024 12:53 159K libghc-type-level-numbers-prof_0.1.1.2-3_s390x.deb 14-Sep-2024 23:14 129K