| Parent directory/ | - | - |
| libghc-copilot-theorem-prof_4.8.1-1_riscv64.deb | 1139236 | 2026-Sep-30 08:38 |
| libghc-copilot-theorem-prof_4.8.1-1_loong64.deb | 728376 | 2026-Sep-28 21:14 |
| libghc-copilot-theorem-prof_4.8.1-1_i386.deb | 562760 | 2026-Sep-28 21:24 |
| libghc-copilot-theorem-prof_4.8.1-1_amd64.deb | 552412 | 2026-Sep-28 21:29 |
| libghc-copilot-theorem-prof_4.3-1_riscv64.deb | 1149028 | 2025-Mar-29 23:08 |
| libghc-copilot-theorem-prof_4.3-1_i386.deb | 813580 | 2025-Mar-29 19:54 |
| libghc-copilot-theorem-prof_4.3-1_amd64.deb | 548984 | 2025-Mar-29 19:49 |
| libghc-copilot-theorem-prof_3.13-1_i386.deb | 750184 | 2023-Jan-10 05:34 |
| libghc-copilot-theorem-prof_3.13-1_amd64.deb | 512192 | 2023-Jan-10 05:45 |
| libghc-copilot-theorem-doc_4.8.1-1_all.deb | 231156 | 2026-Sep-28 21:24 |
| libghc-copilot-theorem-doc_4.3-1_all.deb | 229600 | 2025-Mar-29 19:54 |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 213864 | 2023-Jan-10 05:29 |
| libghc-copilot-theorem-dev_4.8.1-1_riscv64.deb | 1105380 | 2026-Sep-30 08:38 |
| libghc-copilot-theorem-dev_4.8.1-1_loong64.deb | 722756 | 2026-Sep-28 21:14 |
| libghc-copilot-theorem-dev_4.8.1-1_i386.deb | 579440 | 2026-Sep-28 21:24 |
| libghc-copilot-theorem-dev_4.8.1-1_amd64.deb | 576908 | 2026-Sep-28 21:29 |
| libghc-copilot-theorem-dev_4.3-1_riscv64.deb | 1030352 | 2025-Mar-29 23:08 |
| libghc-copilot-theorem-dev_4.3-1_i386.deb | 923560 | 2025-Mar-29 19:54 |
| libghc-copilot-theorem-dev_4.3-1_amd64.deb | 589720 | 2025-Mar-29 19:49 |
| libghc-copilot-theorem-dev_3.13-1_i386.deb | 931168 | 2023-Jan-10 05:34 |
| libghc-copilot-theorem-dev_3.13-1_amd64.deb | 590456 | 2023-Jan-10 05:45 |
| haskell-copilot-theorem_4.8.1.orig.tar.gz | 72948 | 2026-Sep-28 19:47 |
| haskell-copilot-theorem_4.8.1-1.dsc | 4036 | 2026-Sep-28 19:47 |
| haskell-copilot-theorem_4.8.1-1.debian.tar.xz | 3016 | 2026-Sep-28 19:47 |
| haskell-copilot-theorem_4.3.orig.tar.gz | 71261 | 2025-Mar-29 17:28 |
| haskell-copilot-theorem_4.3-1.dsc | 3801 | 2025-Mar-29 17:28 |
| haskell-copilot-theorem_4.3-1.debian.tar.xz | 2932 | 2025-Mar-29 17:28 |
| haskell-copilot-theorem_3.13.orig.tar.gz | 65218 | 2023-Jan-10 01:20 |
| haskell-copilot-theorem_3.13-1.dsc | 3579 | 2023-Jan-10 01:20 |
| haskell-copilot-theorem_3.13-1.debian.tar.xz | 2644 | 2023-Jan-10 01:20 |