../ 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.6.1-1.debian.tar.xz 27-Feb-2026 10:25 2936 haskell-copilot-theorem_4.6.1-1.dsc 27-Feb-2026 10:25 3841 haskell-copilot-theorem_4.6.1.orig.tar.gz 27-Feb-2026 10:25 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.6.1-1_amd64.deb 27-Feb-2026 12:23 566K libghc-copilot-theorem-dev_4.6.1-1_i386.deb 27-Feb-2026 11:53 567K libghc-copilot-theorem-dev_4.6.1-1_loong64.deb 18-Mar-2026 13:13 707K libghc-copilot-theorem-dev_4.6.1-1_riscv64.deb 27-Feb-2026 18:08 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.6.1-1_all.deb 27-Feb-2026 12:18 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.6.1-1_amd64.deb 27-Feb-2026 12:23 541K libghc-copilot-theorem-prof_4.6.1-1_i386.deb 27-Feb-2026 11:53 551K libghc-copilot-theorem-prof_4.6.1-1_loong64.deb 18-Mar-2026 13:13 717K libghc-copilot-theorem-prof_4.6.1-1_riscv64.deb 27-Feb-2026 18:08 1M