| Parent Directory | - | - | - |
| 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.3-1.debian.tar.xz | 29-Mar-2025 17:28 | 2932 | - |
| haskell-copilot-theorem_4.3-1.dsc | 29-Mar-2025 17:28 | 3801 | - |
| haskell-copilot-theorem_4.3.orig.tar.gz | 29-Mar-2025 17:28 | 70K | - |
| haskell-copilot-theorem_4.8.1-1.debian.tar.xz | 28-Sep-2026 19:47 | 3016 | - |
| haskell-copilot-theorem_4.8.1-1.dsc | 28-Sep-2026 19:47 | 4036 | - |
| haskell-copilot-theorem_4.8.1.orig.tar.gz | 28-Sep-2026 19:47 | 71K | - |
| 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.3-1_amd64.deb | 29-Mar-2025 19:49 | 576K | - |
| libghc-copilot-theorem-dev_4.3-1_arm64.deb | 29-Mar-2025 19:54 | 576K | - |
| libghc-copilot-theorem-dev_4.3-1_armel.deb | 29-Mar-2025 20:33 | 682K | - |
| libghc-copilot-theorem-dev_4.3-1_armhf.deb | 29-Mar-2025 19:49 | 668K | - |
| libghc-copilot-theorem-dev_4.3-1_i386.deb | 29-Mar-2025 19:54 | 902K | - |
| libghc-copilot-theorem-dev_4.3-1_ppc64el.deb | 29-Mar-2025 19:49 | 724K | - |
| libghc-copilot-theorem-dev_4.3-1_riscv64.deb | 29-Mar-2025 23:08 | 1006K | - |
| libghc-copilot-theorem-dev_4.3-1_s390x.deb | 30-Mar-2025 00:40 | 907K | - |
| libghc-copilot-theorem-dev_4.8.1-1_amd64.deb | 28-Sep-2026 21:29 | 563K | - |
| libghc-copilot-theorem-dev_4.8.1-1_arm64.deb | 28-Sep-2026 21:04 | 562K | - |
| libghc-copilot-theorem-dev_4.8.1-1_armhf.deb | 28-Sep-2026 21:09 | 665K | - |
| libghc-copilot-theorem-dev_4.8.1-1_i386.deb | 28-Sep-2026 21:24 | 566K | - |
| libghc-copilot-theorem-dev_4.8.1-1_loong64.deb | 28-Sep-2026 21:14 | 706K | - |
| libghc-copilot-theorem-dev_4.8.1-1_ppc64el.deb | 28-Sep-2026 21:14 | 703K | - |
| libghc-copilot-theorem-dev_4.8.1-1_riscv64.deb | 30-Sep-2026 08:38 | 1M | - |
| libghc-copilot-theorem-dev_4.8.1-1_s390x.deb | 28-Sep-2026 21:09 | 794K | - |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 10-Jan-2023 05:29 | 209K | - |
| libghc-copilot-theorem-doc_4.3-1_all.deb | 29-Mar-2025 19:54 | 224K | - |
| libghc-copilot-theorem-doc_4.8.1-1_all.deb | 28-Sep-2026 21:24 | 226K | - |
| 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.3-1_amd64.deb | 29-Mar-2025 19:49 | 536K | - |
| libghc-copilot-theorem-prof_4.3-1_arm64.deb | 29-Mar-2025 19:54 | 616K | - |
| libghc-copilot-theorem-prof_4.3-1_armel.deb | 29-Mar-2025 20:33 | 726K | - |
| libghc-copilot-theorem-prof_4.3-1_armhf.deb | 29-Mar-2025 19:49 | 712K | - |
| libghc-copilot-theorem-prof_4.3-1_i386.deb | 29-Mar-2025 19:54 | 795K | - |
| libghc-copilot-theorem-prof_4.3-1_ppc64el.deb | 29-Mar-2025 19:49 | 681K | - |
| libghc-copilot-theorem-prof_4.3-1_riscv64.deb | 29-Mar-2025 23:08 | 1M | - |
| libghc-copilot-theorem-prof_4.3-1_s390x.deb | 30-Mar-2025 00:40 | 815K | - |
| libghc-copilot-theorem-prof_4.8.1-1_amd64.deb | 28-Sep-2026 21:29 | 539K | - |
| libghc-copilot-theorem-prof_4.8.1-1_arm64.deb | 28-Sep-2026 21:04 | 614K | - |
| libghc-copilot-theorem-prof_4.8.1-1_armhf.deb | 28-Sep-2026 21:09 | 762K | - |
| libghc-copilot-theorem-prof_4.8.1-1_i386.deb | 28-Sep-2026 21:24 | 550K | - |
| libghc-copilot-theorem-prof_4.8.1-1_loong64.deb | 28-Sep-2026 21:14 | 711K | - |
| libghc-copilot-theorem-prof_4.8.1-1_ppc64el.deb | 28-Sep-2026 21:14 | 685K | - |
| libghc-copilot-theorem-prof_4.8.1-1_riscv64.deb | 30-Sep-2026 08:38 | 1M | - |
| libghc-copilot-theorem-prof_4.8.1-1_s390x.deb | 28-Sep-2026 21:09 | 768K | - |