| Parent directory/ | - | - |
| haskell-copilot-theorem_3.13-1.debian.tar.xz | 2644 | 10-Jan-2023 05:20 |
| haskell-copilot-theorem_3.13-1.dsc | 3579 | 10-Jan-2023 05:20 |
| haskell-copilot-theorem_3.13.orig.tar.gz | 64K | 10-Jan-2023 05:20 |
| haskell-copilot-theorem_4.3-1.debian.tar.xz | 2932 | 29-Mar-2025 21:28 |
| haskell-copilot-theorem_4.3-1.dsc | 3801 | 29-Mar-2025 21:28 |
| haskell-copilot-theorem_4.3.orig.tar.gz | 70K | 29-Mar-2025 21:28 |
| haskell-copilot-theorem_4.7-1.debian.tar.xz | 2944 | 27-Mar-2026 00:53 |
| haskell-copilot-theorem_4.7-1.dsc | 3823 | 27-Mar-2026 00:53 |
| haskell-copilot-theorem_4.7.orig.tar.gz | 70K | 27-Mar-2026 00:53 |
| libghc-copilot-theorem-dev_3.13-1_amd64.deb | 577K | 10-Jan-2023 09:45 |
| libghc-copilot-theorem-dev_3.13-1_arm64.deb | 767K | 10-Jan-2023 12:17 |
| libghc-copilot-theorem-dev_3.13-1_armel.deb | 706K | 10-Jan-2023 12:42 |
| libghc-copilot-theorem-dev_3.13-1_armhf.deb | 689K | 10-Jan-2023 11:42 |
| libghc-copilot-theorem-dev_3.13-1_i386.deb | 909K | 10-Jan-2023 09:34 |
| libghc-copilot-theorem-dev_3.13-1_mips64el.deb | 772K | 10-Jan-2023 11:42 |
| libghc-copilot-theorem-dev_3.13-1_mipsel.deb | 728K | 10-Jan-2023 16:41 |
| libghc-copilot-theorem-dev_3.13-1_ppc64el.deb | 776K | 10-Jan-2023 18:59 |
| libghc-copilot-theorem-dev_3.13-1_s390x.deb | 871K | 11-Jan-2023 03:59 |
| libghc-copilot-theorem-dev_4.3-1_amd64.deb | 576K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-dev_4.3-1_arm64.deb | 576K | 29-Mar-2025 23:54 |
| libghc-copilot-theorem-dev_4.3-1_armel.deb | 682K | 30-Mar-2025 00:33 |
| libghc-copilot-theorem-dev_4.3-1_armhf.deb | 668K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-dev_4.3-1_i386.deb | 902K | 29-Mar-2025 23:54 |
| libghc-copilot-theorem-dev_4.3-1_ppc64el.deb | 724K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-dev_4.3-1_riscv64.deb | 1006K | 30-Mar-2025 03:08 |
| libghc-copilot-theorem-dev_4.3-1_s390x.deb | 907K | 30-Mar-2025 04:40 |
| libghc-copilot-theorem-dev_4.7-1+b1_amd64.deb | 566K | 03-Apr-2026 20:49 |
| libghc-copilot-theorem-dev_4.7-1+b1_arm64.deb | 565K | 03-Apr-2026 11:05 |
| libghc-copilot-theorem-dev_4.7-1+b1_armhf.deb | 668K | 03-Apr-2026 14:37 |
| libghc-copilot-theorem-dev_4.7-1+b1_i386.deb | 568K | 03-Apr-2026 16:21 |
| libghc-copilot-theorem-dev_4.7-1+b1_ppc64el.deb | 715K | 03-Apr-2026 21:30 |
| libghc-copilot-theorem-dev_4.7-1+b1_s390x.deb | 797K | 03-Apr-2026 21:30 |
| libghc-copilot-theorem-dev_4.7-1_loong64.deb | 707K | 27-Mar-2026 02:12 |
| libghc-copilot-theorem-dev_4.7-1_riscv64.deb | 1M | 27-Mar-2026 04:46 |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 209K | 10-Jan-2023 09:29 |
| libghc-copilot-theorem-doc_4.3-1_all.deb | 224K | 29-Mar-2025 23:54 |
| libghc-copilot-theorem-doc_4.7-1_all.deb | 227K | 27-Mar-2026 02:23 |
| libghc-copilot-theorem-prof_3.13-1_amd64.deb | 500K | 10-Jan-2023 09:45 |
| libghc-copilot-theorem-prof_3.13-1_arm64.deb | 735K | 10-Jan-2023 12:17 |
| libghc-copilot-theorem-prof_3.13-1_armel.deb | 706K | 10-Jan-2023 12:42 |
| libghc-copilot-theorem-prof_3.13-1_armhf.deb | 694K | 10-Jan-2023 11:42 |
| libghc-copilot-theorem-prof_3.13-1_i386.deb | 733K | 10-Jan-2023 09:34 |
| libghc-copilot-theorem-prof_3.13-1_mips64el.deb | 663K | 10-Jan-2023 11:42 |
| libghc-copilot-theorem-prof_3.13-1_mipsel.deb | 636K | 10-Jan-2023 16:41 |
| libghc-copilot-theorem-prof_3.13-1_ppc64el.deb | 627K | 10-Jan-2023 18:59 |
| libghc-copilot-theorem-prof_3.13-1_s390x.deb | 627K | 11-Jan-2023 03:59 |
| libghc-copilot-theorem-prof_4.3-1_amd64.deb | 536K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-prof_4.3-1_arm64.deb | 616K | 29-Mar-2025 23:54 |
| libghc-copilot-theorem-prof_4.3-1_armel.deb | 726K | 30-Mar-2025 00:33 |
| libghc-copilot-theorem-prof_4.3-1_armhf.deb | 712K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-prof_4.3-1_i386.deb | 795K | 29-Mar-2025 23:54 |
| libghc-copilot-theorem-prof_4.3-1_ppc64el.deb | 681K | 29-Mar-2025 23:49 |
| libghc-copilot-theorem-prof_4.3-1_riscv64.deb | 1M | 30-Mar-2025 03:08 |
| libghc-copilot-theorem-prof_4.3-1_s390x.deb | 815K | 30-Mar-2025 04:40 |
| libghc-copilot-theorem-prof_4.7-1+b1_amd64.deb | 542K | 03-Apr-2026 20:49 |
| libghc-copilot-theorem-prof_4.7-1+b1_arm64.deb | 614K | 03-Apr-2026 11:05 |
| libghc-copilot-theorem-prof_4.7-1+b1_armhf.deb | 764K | 03-Apr-2026 14:37 |
| libghc-copilot-theorem-prof_4.7-1+b1_i386.deb | 551K | 03-Apr-2026 16:21 |
| libghc-copilot-theorem-prof_4.7-1+b1_ppc64el.deb | 681K | 03-Apr-2026 21:30 |
| libghc-copilot-theorem-prof_4.7-1+b1_s390x.deb | 769K | 03-Apr-2026 21:30 |
| libghc-copilot-theorem-prof_4.7-1_loong64.deb | 711K | 27-Mar-2026 02:12 |
| libghc-copilot-theorem-prof_4.7-1_riscv64.deb | 1M | 27-Mar-2026 04:46 |