| 📂 Parent Directory | | |
| 📄 haskell-copilot-theorem_3.13-1.debian.tar.xz | 2023-01-10 01:20:07 | 2.58 KB |
| 📄 haskell-copilot-theorem_3.13-1.dsc | 2023-01-10 01:20:07 | 3.5 KB |
| 📄 haskell-copilot-theorem_3.13.orig.tar.gz | 2023-01-10 01:20:07 | 63.69 KB |
| 📄 haskell-copilot-theorem_4.3-1.debian.tar.xz | 2025-03-29 17:28:06 | 2.86 KB |
| 📄 haskell-copilot-theorem_4.3-1.dsc | 2025-03-29 17:28:06 | 3.71 KB |
| 📄 haskell-copilot-theorem_4.3.orig.tar.gz | 2025-03-29 17:28:06 | 69.59 KB |
| 📄 haskell-copilot-theorem_4.7.1-1.debian.tar.xz | 2026-06-20 23:36:55 | 2.91 KB |
| 📄 haskell-copilot-theorem_4.7.1-1.dsc | 2026-06-20 23:36:55 | 3.85 KB |
| 📄 haskell-copilot-theorem_4.7.1.orig.tar.gz | 2026-06-20 23:36:55 | 70.22 KB |
| 📄 haskell-copilot-theorem_4.8-1.debian.tar.xz | 2026-07-24 15:23:56 | 2.94 KB |
| 📄 haskell-copilot-theorem_4.8-1.dsc | 2026-07-24 15:23:56 | 3.92 KB |
| 📄 haskell-copilot-theorem_4.8.orig.tar.gz | 2026-07-24 15:23:56 | 71.21 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_amd64.deb | 2023-01-10 05:45:05 | 576.62 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_arm64.deb | 2023-01-10 08:17:21 | 766.93 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_armel.deb | 2023-01-10 08:42:48 | 705.78 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_armhf.deb | 2023-01-10 07:42:09 | 688.96 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_i386.deb | 2023-01-10 05:34:56 | 909.34 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_mips64el.deb | 2023-01-10 07:42:07 | 772.46 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_mipsel.deb | 2023-01-10 12:41:17 | 727.94 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_ppc64el.deb | 2023-01-10 14:59:44 | 776.27 KB |
| 📄 libghc-copilot-theorem-dev_3.13-1_s390x.deb | 2023-01-10 23:59:25 | 870.91 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_amd64.deb | 2025-03-29 19:49:14 | 575.9 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_arm64.deb | 2025-03-29 19:54:19 | 575.94 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_armel.deb | 2025-03-29 20:33:43 | 681.71 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_armhf.deb | 2025-03-29 19:49:14 | 668.2 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_i386.deb | 2025-03-29 19:54:33 | 901.91 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_ppc64el.deb | 2025-03-29 19:49:18 | 723.54 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_riscv64.deb | 2025-03-29 23:08:29 | 1006.2 KB |
| 📄 libghc-copilot-theorem-dev_4.3-1_s390x.deb | 2025-03-30 00:40:44 | 906.76 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_amd64.deb | 2026-06-21 01:56:07 | 566.61 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_arm64.deb | 2026-06-21 01:04:21 | 565.31 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_armhf.deb | 2026-06-21 01:30:06 | 668.99 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_i386.deb | 2026-06-21 01:29:59 | 569.23 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_loong64.deb | 2026-06-21 01:56:05 | 707.32 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_ppc64el.deb | 2026-06-21 01:29:58 | 706.64 KB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_riscv64.deb | 2026-06-23 22:23:17 | 1.06 MB |
| 📄 libghc-copilot-theorem-dev_4.7.1-1_s390x.deb | 2026-06-21 01:24:48 | 798.8 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_amd64.deb | 2026-07-24 16:20:26 | 562.75 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_arm64.deb | 2026-07-24 16:15:24 | 561.35 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_armhf.deb | 2026-07-24 16:20:28 | 665.92 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_i386.deb | 2026-07-24 16:20:30 | 565.2 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_loong64.deb | 2026-07-24 16:20:27 | 702.53 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_ppc64el.deb | 2026-07-24 16:20:27 | 705.01 KB |
| 📄 libghc-copilot-theorem-dev_4.8-1_riscv64.deb | 2026-07-25 05:35:56 | 1.05 MB |
| 📄 libghc-copilot-theorem-dev_4.8-1_s390x.deb | 2026-07-24 16:35:44 | 793.34 KB |
| 📄 libghc-copilot-theorem-doc_3.13-1_all.deb | 2023-01-10 05:29:46 | 208.85 KB |
| 📄 libghc-copilot-theorem-doc_4.3-1_all.deb | 2025-03-29 19:54:24 | 224.22 KB |
| 📄 libghc-copilot-theorem-doc_4.7.1-1_all.deb | 2026-06-21 01:51:02 | 225.49 KB |
| 📄 libghc-copilot-theorem-doc_4.8-1_all.deb | 2026-07-24 16:20:30 | 225.79 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_amd64.deb | 2023-01-10 05:45:05 | 500.19 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_arm64.deb | 2023-01-10 08:17:21 | 735.32 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_armel.deb | 2023-01-10 08:42:48 | 705.71 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_armhf.deb | 2023-01-10 07:42:09 | 693.67 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_i386.deb | 2023-01-10 05:34:56 | 732.6 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_mips64el.deb | 2023-01-10 07:42:07 | 663.18 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_mipsel.deb | 2023-01-10 12:41:17 | 636.41 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_ppc64el.deb | 2023-01-10 14:59:44 | 627.2 KB |
| 📄 libghc-copilot-theorem-prof_3.13-1_s390x.deb | 2023-01-10 23:59:25 | 626.54 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_amd64.deb | 2025-03-29 19:49:14 | 536.12 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_arm64.deb | 2025-03-29 19:54:19 | 616.02 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_armel.deb | 2025-03-29 20:33:43 | 725.73 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_armhf.deb | 2025-03-29 19:49:14 | 712.49 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_i386.deb | 2025-03-29 19:54:33 | 794.51 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_ppc64el.deb | 2025-03-29 19:49:18 | 681.48 KB |
| 📄 libghc-copilot-theorem-prof_4.3-1_riscv64.deb | 2025-03-29 23:08:29 | 1.1 MB |
| 📄 libghc-copilot-theorem-prof_4.3-1_s390x.deb | 2025-03-30 00:40:44 | 814.88 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_amd64.deb | 2026-06-21 01:56:07 | 541.94 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_arm64.deb | 2026-06-21 01:04:21 | 613.61 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_armhf.deb | 2026-06-21 01:30:06 | 762.89 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_i386.deb | 2026-06-21 01:29:59 | 550.74 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_loong64.deb | 2026-06-21 01:56:05 | 718.5 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_ppc64el.deb | 2026-06-21 01:29:58 | 690.08 KB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_riscv64.deb | 2026-06-23 22:23:17 | 1.09 MB |
| 📄 libghc-copilot-theorem-prof_4.7.1-1_s390x.deb | 2026-06-21 01:24:48 | 768.23 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_amd64.deb | 2026-07-24 16:20:26 | 536.11 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_arm64.deb | 2026-07-24 16:15:24 | 612.76 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_armhf.deb | 2026-07-24 16:20:28 | 760.82 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_i386.deb | 2026-07-24 16:20:30 | 549.5 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_loong64.deb | 2026-07-24 16:20:27 | 716 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_ppc64el.deb | 2026-07-24 16:20:27 | 680.84 KB |
| 📄 libghc-copilot-theorem-prof_4.8-1_riscv64.deb | 2026-07-25 05:35:56 | 1.08 MB |
| 📄 libghc-copilot-theorem-prof_4.8-1_s390x.deb | 2026-07-24 16:35:44 | 767.87 KB |