../ 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.8-1.debian.tar.xz 24-Jul-2026 22:23 3008 haskell-copilot-theorem_4.8-1.dsc 24-Jul-2026 22:23 4018 haskell-copilot-theorem_4.8.orig.tar.gz 24-Jul-2026 22:23 71K 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.8-1_amd64.deb 24-Jul-2026 23:20 563K libghc-copilot-theorem-dev_4.8-1_i386.deb 24-Jul-2026 23:20 565K libghc-copilot-theorem-dev_4.8-1_loong64.deb 24-Jul-2026 23:20 703K libghc-copilot-theorem-dev_4.8-1_riscv64.deb 25-Jul-2026 12:35 1M 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.8-1_all.deb 24-Jul-2026 23:20 226K 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.8-1_amd64.deb 24-Jul-2026 23:20 536K libghc-copilot-theorem-prof_4.8-1_i386.deb 24-Jul-2026 23:20 550K libghc-copilot-theorem-prof_4.8-1_loong64.deb 24-Jul-2026 23:20 716K libghc-copilot-theorem-prof_4.8-1_riscv64.deb 25-Jul-2026 12:35 1M