Welcome to the NetCologne GmbH open source mirroring service!

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 !

Index of /debian/pool/main/h/haskell-copilot-theorem/

Index of /debian/pool/main/h/haskell-copilot-theorem/


../
haskell-copilot-theorem_3.13-1.debian.tar.xz       10-Jan-2023 01:20    2644
haskell-copilot-theorem_3.13-1.dsc                 10-Jan-2023 01:20    3579
haskell-copilot-theorem_3.13.orig.tar.gz           10-Jan-2023 01:20     64K
haskell-copilot-theorem_4.0-2.debian.tar.xz        22-Sep-2024 21:02    2916
haskell-copilot-theorem_4.0-2.dsc                  22-Sep-2024 21:02    3764
haskell-copilot-theorem_4.0.orig.tar.gz            11-Sep-2024 03:26     65K
libghc-copilot-theorem-dev_3.13-1_amd64.deb        10-Jan-2023 05:45    577K
libghc-copilot-theorem-dev_3.13-1_arm64.deb        10-Jan-2023 08:17    767K
libghc-copilot-theorem-dev_3.13-1_armel.deb        10-Jan-2023 08:42    706K
libghc-copilot-theorem-dev_3.13-1_armhf.deb        10-Jan-2023 07:42    689K
libghc-copilot-theorem-dev_3.13-1_i386.deb         10-Jan-2023 05:34    909K
libghc-copilot-theorem-dev_3.13-1_mips64el.deb     10-Jan-2023 07:42    772K
libghc-copilot-theorem-dev_3.13-1_mipsel.deb       10-Jan-2023 12:41    728K
libghc-copilot-theorem-dev_3.13-1_ppc64el.deb      10-Jan-2023 14:59    776K
libghc-copilot-theorem-dev_3.13-1_s390x.deb        10-Jan-2023 23:59    871K
libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb      23-Oct-2024 05:34    561K
libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb      23-Oct-2024 05:54    560K
libghc-copilot-theorem-dev_4.0-2+b2_ppc64el.deb    23-Oct-2024 05:55    702K
libghc-copilot-theorem-dev_4.0-2+b2_riscv64.deb    25-Oct-2024 22:47    972K
libghc-copilot-theorem-dev_4.0-2+b2_s390x.deb      23-Oct-2024 07:27    883K
libghc-copilot-theorem-dev_4.0-2+b3_armel.deb      23-Oct-2024 08:07    662K
libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb      23-Oct-2024 10:29    649K
libghc-copilot-theorem-dev_4.0-2+b3_i386.deb       23-Oct-2024 06:51    873K
libghc-copilot-theorem-dev_4.0-2+b3_mips64el.deb   23-Oct-2024 20:17    751K
libghc-copilot-theorem-doc_3.13-1_all.deb          10-Jan-2023 05:29    209K
libghc-copilot-theorem-doc_4.0-2_all.deb           08-Oct-2024 13:48    219K
libghc-copilot-theorem-prof_3.13-1_amd64.deb       10-Jan-2023 05:45    500K
libghc-copilot-theorem-prof_3.13-1_arm64.deb       10-Jan-2023 08:17    735K
libghc-copilot-theorem-prof_3.13-1_armel.deb       10-Jan-2023 08:42    706K
libghc-copilot-theorem-prof_3.13-1_armhf.deb       10-Jan-2023 07:42    694K
libghc-copilot-theorem-prof_3.13-1_i386.deb        10-Jan-2023 05:34    733K
libghc-copilot-theorem-prof_3.13-1_mips64el.deb    10-Jan-2023 07:42    663K
libghc-copilot-theorem-prof_3.13-1_mipsel.deb      10-Jan-2023 12:41    636K
libghc-copilot-theorem-prof_3.13-1_ppc64el.deb     10-Jan-2023 14:59    627K
libghc-copilot-theorem-prof_3.13-1_s390x.deb       10-Jan-2023 23:59    627K
libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb     23-Oct-2024 05:34    523K
libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb     23-Oct-2024 05:54    596K
libghc-copilot-theorem-prof_4.0-2+b2_ppc64el.deb   23-Oct-2024 05:55    677K
libghc-copilot-theorem-prof_4.0-2+b2_riscv64.deb   25-Oct-2024 22:47      1M
libghc-copilot-theorem-prof_4.0-2+b2_s390x.deb     23-Oct-2024 07:27    791K
libghc-copilot-theorem-prof_4.0-2+b3_armel.deb     23-Oct-2024 08:07    707K
libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb     23-Oct-2024 10:29    696K
libghc-copilot-theorem-prof_4.0-2+b3_i386.deb      23-Oct-2024 06:51    775K
libghc-copilot-theorem-prof_4.0-2+b3_mips64el.deb  23-Oct-2024 20:17    712K