| 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.7.1-1.debian.tar.xz | 20-Jun-2026 23:36 | 2980 | - |
| haskell-copilot-theorem_4.7.1-1.dsc | 20-Jun-2026 23:36 | 3940 | - |
| haskell-copilot-theorem_4.7.1.orig.tar.gz | 20-Jun-2026 23:36 | 70K | - |
| haskell-copilot-theorem_4.8-1.debian.tar.xz | 24-Jul-2026 15:23 | 3008 | - |
| haskell-copilot-theorem_4.8-1.dsc | 24-Jul-2026 15:23 | 4018 | - |
| haskell-copilot-theorem_4.8.orig.tar.gz | 24-Jul-2026 15:23 | 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.7.1-1_amd64.deb | 21-Jun-2026 01:56 | 567K | - |
| libghc-copilot-theorem-dev_4.7.1-1_arm64.deb | 21-Jun-2026 01:04 | 565K | - |
| libghc-copilot-theorem-dev_4.7.1-1_armhf.deb | 21-Jun-2026 01:30 | 669K | - |
| libghc-copilot-theorem-dev_4.7.1-1_i386.deb | 21-Jun-2026 01:29 | 569K | - |
| libghc-copilot-theorem-dev_4.7.1-1_loong64.deb | 21-Jun-2026 01:56 | 707K | - |
| libghc-copilot-theorem-dev_4.7.1-1_ppc64el.deb | 21-Jun-2026 01:29 | 707K | - |
| libghc-copilot-theorem-dev_4.7.1-1_riscv64.deb | 23-Jun-2026 22:23 | 1M | - |
| libghc-copilot-theorem-dev_4.7.1-1_s390x.deb | 21-Jun-2026 01:24 | 799K | - |
| libghc-copilot-theorem-dev_4.8-1_amd64.deb | 24-Jul-2026 16:20 | 563K | - |
| libghc-copilot-theorem-dev_4.8-1_arm64.deb | 24-Jul-2026 16:15 | 561K | - |
| libghc-copilot-theorem-dev_4.8-1_armhf.deb | 24-Jul-2026 16:20 | 666K | - |
| libghc-copilot-theorem-dev_4.8-1_i386.deb | 24-Jul-2026 16:20 | 565K | - |
| libghc-copilot-theorem-dev_4.8-1_loong64.deb | 24-Jul-2026 16:20 | 703K | - |
| libghc-copilot-theorem-dev_4.8-1_ppc64el.deb | 24-Jul-2026 16:20 | 705K | - |
| libghc-copilot-theorem-dev_4.8-1_riscv64.deb | 25-Jul-2026 05:35 | 1M | - |
| libghc-copilot-theorem-dev_4.8-1_s390x.deb | 24-Jul-2026 16:35 | 793K | - |
| 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.7.1-1_all.deb | 21-Jun-2026 01:51 | 225K | - |
| libghc-copilot-theorem-doc_4.8-1_all.deb | 24-Jul-2026 16:20 | 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.7.1-1_amd64.deb | 21-Jun-2026 01:56 | 542K | - |
| libghc-copilot-theorem-prof_4.7.1-1_arm64.deb | 21-Jun-2026 01:04 | 614K | - |
| libghc-copilot-theorem-prof_4.7.1-1_armhf.deb | 21-Jun-2026 01:30 | 763K | - |
| libghc-copilot-theorem-prof_4.7.1-1_i386.deb | 21-Jun-2026 01:29 | 551K | - |
| libghc-copilot-theorem-prof_4.7.1-1_loong64.deb | 21-Jun-2026 01:56 | 718K | - |
| libghc-copilot-theorem-prof_4.7.1-1_ppc64el.deb | 21-Jun-2026 01:29 | 690K | - |
| libghc-copilot-theorem-prof_4.7.1-1_riscv64.deb | 23-Jun-2026 22:23 | 1M | - |
| libghc-copilot-theorem-prof_4.7.1-1_s390x.deb | 21-Jun-2026 01:24 | 768K | - |
| libghc-copilot-theorem-prof_4.8-1_amd64.deb | 24-Jul-2026 16:20 | 536K | - |
| libghc-copilot-theorem-prof_4.8-1_arm64.deb | 24-Jul-2026 16:15 | 613K | - |
| libghc-copilot-theorem-prof_4.8-1_armhf.deb | 24-Jul-2026 16:20 | 761K | - |
| libghc-copilot-theorem-prof_4.8-1_i386.deb | 24-Jul-2026 16:20 | 550K | - |
| libghc-copilot-theorem-prof_4.8-1_loong64.deb | 24-Jul-2026 16:20 | 716K | - |
| libghc-copilot-theorem-prof_4.8-1_ppc64el.deb | 24-Jul-2026 16:20 | 681K | - |
| libghc-copilot-theorem-prof_4.8-1_riscv64.deb | 25-Jul-2026 05:35 | 1M | - |
| libghc-copilot-theorem-prof_4.8-1_s390x.deb | 24-Jul-2026 16:35 | 768K | - |