![[ICO]](/apaxy/theme/icons/empty.svg) | Name | Last modified | Size |
|---|
![[PARENTDIR]](/apaxy/theme/icons/user-home.svg) | Parent Directory | | - |
![[archive]](/apaxy/theme/icons/application-x-archive.svg) | haskell-copilot-theorem_3.13-1.debian.tar.xz | 2023-01-10 02:20 | 2.6K |
| haskell-copilot-theorem_4.2-1.debian.tar.xz | 2025-01-23 00:54 | 2.9K |
![[text]](/apaxy/theme/icons/text-plain.svg) | haskell-copilot-theorem_3.13-1.dsc | 2023-01-10 02:20 | 3.5K |
| haskell-copilot-theorem_4.2-1.dsc | 2025-01-23 00:54 | 3.7K |
| haskell-copilot-theorem_3.13.orig.tar.gz | 2023-01-10 02:20 | 64K |
| haskell-copilot-theorem_4.2.orig.tar.gz | 2025-01-23 00:54 | 65K |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 2023-01-10 06:29 | 209K |
| libghc-copilot-theorem-doc_4.2-1_all.deb | 2025-01-23 02:15 | 211K |
| libghc-copilot-theorem-prof_3.13-1_amd64.deb | 2023-01-10 06:45 | 500K |
| libghc-copilot-theorem-prof_4.2-1+b1_amd64.deb | 2025-02-02 10:43 | 515K |
| libghc-copilot-theorem-dev_4.2-1_arm64.deb | 2025-01-23 02:10 | 553K |
| libghc-copilot-theorem-dev_4.2-1+b1_amd64.deb | 2025-02-02 10:43 | 555K |
| libghc-copilot-theorem-dev_3.13-1_amd64.deb | 2023-01-10 06:45 | 577K |
| libghc-copilot-theorem-prof_4.2-1_arm64.deb | 2025-01-23 02:10 | 591K |
| libghc-copilot-theorem-prof_3.13-1_s390x.deb | 2023-01-11 00:59 | 627K |
| libghc-copilot-theorem-prof_3.13-1_ppc64el.deb | 2023-01-10 15:59 | 627K |
| libghc-copilot-theorem-prof_3.13-1_mipsel.deb | 2023-01-10 13:41 | 636K |
| libghc-copilot-theorem-dev_4.2-1+b1_armhf.deb | 2025-02-18 04:03 | 643K |
| libghc-copilot-theorem-prof_4.2-1_ppc64el.deb | 2025-01-23 02:05 | 656K |
| libghc-copilot-theorem-dev_4.2-1_armel.deb | 2025-01-23 02:15 | 656K |
| libghc-copilot-theorem-prof_3.13-1_mips64el.deb | 2023-01-10 08:42 | 663K |
| libghc-copilot-theorem-dev_3.13-1_armhf.deb | 2023-01-10 08:42 | 689K |
| libghc-copilot-theorem-prof_4.2-1+b1_armhf.deb | 2025-02-18 04:03 | 692K |
| libghc-copilot-theorem-prof_3.13-1_armhf.deb | 2023-01-10 08:42 | 694K |
| libghc-copilot-theorem-prof_4.2-1_armel.deb | 2025-01-23 02:15 | 696K |
| libghc-copilot-theorem-dev_4.2-1_ppc64el.deb | 2025-01-23 02:05 | 697K |
| libghc-copilot-theorem-prof_4.2-1_mips64el.deb | 2025-01-23 03:01 | 705K |
| libghc-copilot-theorem-prof_3.13-1_armel.deb | 2023-01-10 09:42 | 706K |
| libghc-copilot-theorem-dev_3.13-1_armel.deb | 2023-01-10 09:42 | 706K |
| libghc-copilot-theorem-dev_3.13-1_mipsel.deb | 2023-01-10 13:41 | 728K |
| libghc-copilot-theorem-prof_3.13-1_i386.deb | 2023-01-10 06:34 | 733K |
| libghc-copilot-theorem-prof_3.13-1_arm64.deb | 2023-01-10 09:17 | 735K |
| libghc-copilot-theorem-dev_4.2-1_mips64el.deb | 2025-01-23 03:01 | 764K |
| libghc-copilot-theorem-prof_4.2-1+b1_i386.deb | 2025-02-14 14:11 | 765K |
| libghc-copilot-theorem-dev_3.13-1_arm64.deb | 2023-01-10 09:17 | 767K |
| libghc-copilot-theorem-dev_3.13-1_mips64el.deb | 2023-01-10 08:42 | 772K |
| libghc-copilot-theorem-dev_3.13-1_ppc64el.deb | 2023-01-10 15:59 | 776K |
| libghc-copilot-theorem-prof_4.2-1_s390x.deb | 2025-01-24 05:36 | 784K |
| libghc-copilot-theorem-dev_4.2-1+b1_i386.deb | 2025-02-14 14:11 | 869K |
| libghc-copilot-theorem-dev_3.13-1_s390x.deb | 2023-01-11 00:59 | 871K |
| libghc-copilot-theorem-dev_4.2-1_s390x.deb | 2025-01-24 05:36 | 879K |
| libghc-copilot-theorem-dev_3.13-1_i386.deb | 2023-01-10 06:34 | 909K |
| libghc-copilot-theorem-dev_4.2-1_riscv64.deb | 2025-01-23 11:26 | 967K |
| libghc-copilot-theorem-prof_4.2-1_riscv64.deb | 2025-01-23 11:26 | 1.0M |