| Parent directory/ | - | - | 
| haskell-copilot-theorem_3.13-1.debian.tar.xz |                2644 | 2023-Jan-10 01:20 | 
| haskell-copilot-theorem_4.3-1.debian.tar.xz |                2932 | 2025-Mar-29 17:28 | 
| haskell-copilot-theorem_4.5-1.debian.tar.xz |                2952 | 2025-Aug-11 23:49 | 
| haskell-copilot-theorem_3.13-1.dsc |                3579 | 2023-Jan-10 01:20 | 
| haskell-copilot-theorem_4.5-1.dsc |                3801 | 2025-Aug-11 23:49 | 
| haskell-copilot-theorem_4.3-1.dsc |                3801 | 2025-Mar-29 17:28 | 
| haskell-copilot-theorem_3.13.orig.tar.gz |               65218 | 2023-Jan-10 01:20 | 
| haskell-copilot-theorem_4.3.orig.tar.gz |               71261 | 2025-Mar-29 17:28 | 
| haskell-copilot-theorem_4.5.orig.tar.gz |               71863 | 2025-Aug-11 23:49 | 
| libghc-copilot-theorem-doc_3.13-1_all.deb |              213864 | 2023-Jan-10 05:29 | 
| libghc-copilot-theorem-doc_4.3-1_all.deb |              229600 | 2025-Mar-29 19:54 | 
| libghc-copilot-theorem-doc_4.5-1_all.deb |              230872 | 2025-Aug-12 01:10 | 
| libghc-copilot-theorem-prof_3.13-1_amd64.deb |              512192 | 2023-Jan-10 05:45 | 
| libghc-copilot-theorem-prof_4.3-1_amd64.deb |              548984 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-prof_4.5-1+b1_amd64.deb |              551440 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-dev_4.5-1+b1_arm64.deb |              589212 | 2025-Sep-11 01:07 | 
| libghc-copilot-theorem-dev_4.3-1_amd64.deb |              589720 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-dev_4.3-1_arm64.deb |              589760 | 2025-Mar-29 19:54 | 
| libghc-copilot-theorem-dev_3.13-1_amd64.deb |              590456 | 2023-Jan-10 05:45 | 
| libghc-copilot-theorem-dev_4.5-1+b1_amd64.deb |              591952 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-prof_4.5-1+b1_arm64.deb |              629928 | 2025-Sep-11 01:07 | 
| libghc-copilot-theorem-prof_4.3-1_arm64.deb |              630804 | 2025-Mar-29 19:54 | 
| libghc-copilot-theorem-prof_3.13-1_s390x.deb |              641572 | 2023-Jan-10 23:59 | 
| libghc-copilot-theorem-prof_3.13-1_ppc64el.deb |              642248 | 2023-Jan-10 14:59 | 
| libghc-copilot-theorem-prof_3.13-1_mipsel.deb |              651680 | 2023-Jan-10 12:41 | 
| libghc-copilot-theorem-prof_3.13-1_mips64el.deb |              679092 | 2023-Jan-10 07:42 | 
| libghc-copilot-theorem-dev_4.3-1_armhf.deb |              684240 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-dev_4.5-1+b1_armhf.deb |              686320 | 2025-Sep-11 01:07 | 
| libghc-copilot-theorem-prof_4.3-1_ppc64el.deb |              697840 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-dev_4.3-1_armel.deb |              698068 | 2025-Mar-29 20:33 | 
| libghc-copilot-theorem-dev_4.5-1+b1_armel.deb |              700888 | 2025-Sep-11 00:52 | 
| libghc-copilot-theorem-prof_4.5-1+b1_ppc64el.deb |              704376 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-dev_3.13-1_armhf.deb |              705492 | 2023-Jan-10 07:42 | 
| libghc-copilot-theorem-prof_3.13-1_armhf.deb |              710316 | 2023-Jan-10 07:42 | 
| libghc-copilot-theorem-prof_3.13-1_armel.deb |              722652 | 2023-Jan-10 08:42 | 
| libghc-copilot-theorem-dev_3.13-1_armel.deb |              722716 | 2023-Jan-10 08:42 | 
| libghc-copilot-theorem-prof_4.3-1_armhf.deb |              729592 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-prof_4.5-1+b1_armhf.deb |              732764 | 2025-Sep-11 01:07 | 
| libghc-copilot-theorem-dev_4.5-1+b1_ppc64el.deb |              740024 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-dev_4.3-1_ppc64el.deb |              740908 | 2025-Mar-29 19:49 | 
| libghc-copilot-theorem-prof_4.5-1+b1_armel.deb |              741836 | 2025-Sep-11 00:52 | 
| libghc-copilot-theorem-prof_4.3-1_armel.deb |              743152 | 2025-Mar-29 20:33 | 
| libghc-copilot-theorem-dev_3.13-1_mipsel.deb |              745408 | 2023-Jan-10 12:41 | 
| libghc-copilot-theorem-prof_4.5-1+b1_mips64el.deb |              746636 | 2025-Sep-11 04:41 | 
| libghc-copilot-theorem-prof_3.13-1_i386.deb |              750184 | 2023-Jan-10 05:34 | 
| libghc-copilot-theorem-prof_3.13-1_arm64.deb |              752972 | 2023-Jan-10 08:17 | 
| libghc-copilot-theorem-dev_3.13-1_arm64.deb |              785340 | 2023-Jan-10 08:17 | 
| libghc-copilot-theorem-dev_3.13-1_mips64el.deb |              790996 | 2023-Jan-10 07:42 | 
| libghc-copilot-theorem-dev_3.13-1_ppc64el.deb |              794896 | 2023-Jan-10 14:59 | 
| libghc-copilot-theorem-dev_4.5-1+b1_mips64el.deb |              810028 | 2025-Sep-11 04:41 | 
| libghc-copilot-theorem-prof_4.3-1_i386.deb |              813580 | 2025-Mar-29 19:54 | 
| libghc-copilot-theorem-prof_4.5-1+b1_i386.deb |              815916 | 2025-Sep-11 00:41 | 
| libghc-copilot-theorem-prof_4.3-1_s390x.deb |              834436 | 2025-Mar-30 00:40 | 
| libghc-copilot-theorem-prof_4.5-1+b1_s390x.deb |              835504 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-dev_3.13-1_s390x.deb |              891808 | 2023-Jan-10 23:59 | 
| libghc-copilot-theorem-dev_4.3-1_i386.deb |              923560 | 2025-Mar-29 19:54 | 
| libghc-copilot-theorem-dev_4.5-1+b1_i386.deb |              927880 | 2025-Sep-11 00:41 | 
| libghc-copilot-theorem-dev_4.3-1_s390x.deb |              928520 | 2025-Mar-30 00:40 | 
| libghc-copilot-theorem-dev_3.13-1_i386.deb |              931168 | 2023-Jan-10 05:34 | 
| libghc-copilot-theorem-dev_4.5-1+b1_s390x.deb |              934628 | 2025-Sep-11 00:36 | 
| libghc-copilot-theorem-dev_4.3-1_riscv64.deb |             1030352 | 2025-Mar-29 23:08 | 
| libghc-copilot-theorem-dev_4.5-1+b1_riscv64.deb |             1036988 | 2025-Sep-11 08:41 | 
| libghc-copilot-theorem-prof_4.5-1+b1_riscv64.deb |             1143500 | 2025-Sep-11 08:41 | 
| libghc-copilot-theorem-prof_4.3-1_riscv64.deb |             1149028 | 2025-Mar-29 23:08 |