../ haskell-copilot-theorem_3.13-1.debian.tar.xz 10-Jan-2023 08:20 2644 haskell-copilot-theorem_3.13-1.dsc 10-Jan-2023 08:20 3579 haskell-copilot-theorem_3.13.orig.tar.gz 10-Jan-2023 08:20 64K haskell-copilot-theorem_4.3-1.debian.tar.xz 30-Mar-2025 00:28 2932 haskell-copilot-theorem_4.3-1.dsc 30-Mar-2025 00:28 3801 haskell-copilot-theorem_4.3.orig.tar.gz 30-Mar-2025 00:28 70K haskell-copilot-theorem_4.7-1.debian.tar.xz 27-Mar-2026 03:53 2944 haskell-copilot-theorem_4.7-1.dsc 27-Mar-2026 03:53 3823 haskell-copilot-theorem_4.7.orig.tar.gz 27-Mar-2026 03:53 70K libghc-copilot-theorem-dev_3.13-1_amd64.deb 10-Jan-2023 12:45 577K libghc-copilot-theorem-dev_3.13-1_i386.deb 10-Jan-2023 12:34 909K libghc-copilot-theorem-dev_4.3-1_amd64.deb 30-Mar-2025 02:49 576K libghc-copilot-theorem-dev_4.3-1_i386.deb 30-Mar-2025 02:54 902K libghc-copilot-theorem-dev_4.3-1_riscv64.deb 30-Mar-2025 06:08 1006K libghc-copilot-theorem-dev_4.7-1+b1_amd64.deb 03-Apr-2026 23:49 566K libghc-copilot-theorem-dev_4.7-1+b1_i386.deb 03-Apr-2026 19:21 568K libghc-copilot-theorem-dev_4.7-1+b1_riscv64.deb 07-Apr-2026 19:59 1M libghc-copilot-theorem-dev_4.7-1_loong64.deb 27-Mar-2026 05:12 707K libghc-copilot-theorem-doc_3.13-1_all.deb 10-Jan-2023 12:29 209K libghc-copilot-theorem-doc_4.3-1_all.deb 30-Mar-2025 02:54 224K libghc-copilot-theorem-doc_4.7-1_all.deb 27-Mar-2026 05:23 227K libghc-copilot-theorem-prof_3.13-1_amd64.deb 10-Jan-2023 12:45 500K libghc-copilot-theorem-prof_3.13-1_i386.deb 10-Jan-2023 12:34 733K libghc-copilot-theorem-prof_4.3-1_amd64.deb 30-Mar-2025 02:49 536K libghc-copilot-theorem-prof_4.3-1_i386.deb 30-Mar-2025 02:54 795K libghc-copilot-theorem-prof_4.3-1_riscv64.deb 30-Mar-2025 06:08 1M libghc-copilot-theorem-prof_4.7-1+b1_amd64.deb 03-Apr-2026 23:49 542K libghc-copilot-theorem-prof_4.7-1+b1_i386.deb 03-Apr-2026 19:21 551K libghc-copilot-theorem-prof_4.7-1+b1_riscv64.deb 07-Apr-2026 19:59 1M libghc-copilot-theorem-prof_4.7-1_loong64.deb 27-Mar-2026 05:12 711K