Index of /debian/pool/main/h/haskell-copilot-theorem/

../
haskell-copilot-theorem_3.13.orig.tar.gz           10-Jan-2023 01:20     64K
haskell-copilot-theorem_4.3.orig.tar.gz            29-Mar-2025 17:28     70K
haskell-copilot-theorem_4.7.1.orig.tar.gz          20-Jun-2026 23:36     70K
haskell-copilot-theorem_4.7.orig.tar.gz            26-Mar-2026 20:53     70K
libghc-copilot-theorem-dev_3.13-1_amd64.deb        10-Jan-2023 05:45    577K
libghc-copilot-theorem-dev_4.3-1_amd64.deb         29-Mar-2025 19:49    576K
libghc-copilot-theorem-dev_4.3-1_riscv64.deb       29-Mar-2025 23:08   1006K
libghc-copilot-theorem-dev_4.7-1+b1_amd64.deb      03-Apr-2026 16:49    566K
libghc-copilot-theorem-dev_4.7-1+b1_riscv64.deb    07-Apr-2026 12:59      1M
libghc-copilot-theorem-dev_4.7-1_loong64.deb       26-Mar-2026 22:12    707K
libghc-copilot-theorem-dev_4.7.1-1_amd64.deb       21-Jun-2026 01:56    567K
libghc-copilot-theorem-dev_4.7.1-1_loong64.deb     21-Jun-2026 01:56    707K
libghc-copilot-theorem-dev_4.7.1-1_riscv64.deb     23-Jun-2026 22:23      1M
libghc-copilot-theorem-doc_3.13-1_all.deb          10-Jan-2023 05:29    209K
libghc-copilot-theorem-doc_4.3-1_all.deb           29-Mar-2025 19:54    224K
libghc-copilot-theorem-doc_4.7-1_all.deb           26-Mar-2026 22:23    227K
libghc-copilot-theorem-doc_4.7.1-1_all.deb         21-Jun-2026 01:51    225K
libghc-copilot-theorem-prof_3.13-1_amd64.deb       10-Jan-2023 05:45    500K
libghc-copilot-theorem-prof_4.3-1_amd64.deb        29-Mar-2025 19:49    536K
libghc-copilot-theorem-prof_4.3-1_riscv64.deb      29-Mar-2025 23:08      1M
libghc-copilot-theorem-prof_4.7-1+b1_amd64.deb     03-Apr-2026 16:49    542K
libghc-copilot-theorem-prof_4.7-1+b1_riscv64.deb   07-Apr-2026 12:59      1M
libghc-copilot-theorem-prof_4.7-1_loong64.deb      26-Mar-2026 22:12    711K
libghc-copilot-theorem-prof_4.7.1-1_amd64.deb      21-Jun-2026 01:56    542K
libghc-copilot-theorem-prof_4.7.1-1_loong64.deb    21-Jun-2026 01:56    718K
libghc-copilot-theorem-prof_4.7.1-1_riscv64.deb    23-Jun-2026 22:23      1M