KuronekoServer Mirror Server

📂haskell-copilot-theorem

Name Size Last Modified
../ — —
haskell-copilot-theorem_3.18.1-2.debian.tar.xz 2.8 KiB 2024-01-09 11:21:17
haskell-copilot-theorem_3.18.1-2.dsc 3.7 KiB 2024-01-09 11:21:17
haskell-copilot-theorem_3.18.1.orig.tar.gz 66 KiB 2024-01-09 05:45:08
haskell-copilot-theorem_4.2-1.debian.tar.xz 2.9 KiB 2025-01-23 05:47:42
haskell-copilot-theorem_4.2-1.dsc 3.7 KiB 2025-01-23 05:47:42
haskell-copilot-theorem_4.2.orig.tar.gz 65 KiB 2025-01-23 05:47:42
haskell-copilot-theorem_4.5-1build1.debian.tar.xz 3.0 KiB 2025-09-12 06:38:39
haskell-copilot-theorem_4.5-1build1.dsc 3.7 KiB 2025-09-12 06:38:39
haskell-copilot-theorem_4.5.orig.tar.gz 70 KiB 2025-08-27 17:48:09
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb 659 KiB 2024-01-09 12:05:37
libghc-copilot-theorem-dev_3.18.1-2_armhf.deb 666 KiB 2024-01-09 12:05:38
libghc-copilot-theorem-dev_3.18.1-2_ppc64el.deb 912 KiB 2024-01-09 11:21:28
libghc-copilot-theorem-dev_3.18.1-2_riscv64.deb 1.0 MiB 2024-01-09 13:51:23
libghc-copilot-theorem-dev_3.18.1-2_s390x.deb 902 KiB 2024-01-09 12:05:51
libghc-copilot-theorem-dev_4.2-1_arm64.deb 630 KiB 2025-01-23 13:46:08
libghc-copilot-theorem-dev_4.2-1_armhf.deb 726 KiB 2025-01-23 15:41:25
libghc-copilot-theorem-dev_4.2-1_ppc64el.deb 814 KiB 2025-01-23 13:46:40
libghc-copilot-theorem-dev_4.2-1_riscv64.deb 1.1 MiB 2025-01-24 11:56:56
libghc-copilot-theorem-dev_4.2-1_s390x.deb 1021 KiB 2025-01-23 13:46:58
libghc-copilot-theorem-dev_4.5-1build1_arm64.deb 654 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-dev_4.5-1build1_armhf.deb 754 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-dev_4.5-1build1_ppc64el.deb 848 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-dev_4.5-1build1_riscv64.deb 1.2 MiB 2025-09-15 00:12:33
libghc-copilot-theorem-dev_4.5-1build1_s390x.deb 1.0 MiB 2025-09-14 15:43:19
libghc-copilot-theorem-doc_3.18.1-2_all.deb 187 KiB 2024-01-09 11:21:18
libghc-copilot-theorem-doc_4.2-1_all.deb 189 KiB 2025-01-23 13:45:53
libghc-copilot-theorem-doc_4.5-1build1_all.deb 203 KiB 2025-09-14 15:43:17
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb 679 KiB 2024-01-09 12:05:37
libghc-copilot-theorem-prof_3.18.1-2_armhf.deb 722 KiB 2024-01-09 12:05:38
libghc-copilot-theorem-prof_3.18.1-2_ppc64el.deb 765 KiB 2024-01-09 11:21:28
libghc-copilot-theorem-prof_3.18.1-2_riscv64.deb 1.2 MiB 2024-01-09 13:51:23
libghc-copilot-theorem-prof_3.18.1-2_s390x.deb 813 KiB 2024-01-09 12:05:51
libghc-copilot-theorem-prof_4.2-1_arm64.deb 690 KiB 2025-01-23 13:46:08
libghc-copilot-theorem-prof_4.2-1_armhf.deb 795 KiB 2025-01-23 15:41:25
libghc-copilot-theorem-prof_4.2-1_ppc64el.deb 801 KiB 2025-01-23 13:46:40
libghc-copilot-theorem-prof_4.2-1_riscv64.deb 1.3 MiB 2025-01-24 11:56:56
libghc-copilot-theorem-prof_4.2-1_s390x.deb 905 KiB 2025-01-23 13:46:58
libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 716 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-prof_4.5-1build1_armhf.deb 824 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-prof_4.5-1build1_ppc64el.deb 830 KiB 2025-09-14 15:43:18
libghc-copilot-theorem-prof_4.5-1build1_riscv64.deb 1.3 MiB 2025-09-15 00:12:33
libghc-copilot-theorem-prof_4.5-1build1_s390x.deb 936 KiB 2025-09-14 15:43:18