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

../
haskell-copilot-theorem_3.13-1+b1_riscv64.build..> 23-May-2026 13:00               14525
haskell-copilot-theorem_3.13-1.debian.tar.xz       08-May-2024 15:02                2644
haskell-copilot-theorem_3.13-1.dsc                 08-May-2024 15:02                3579
haskell-copilot-theorem_3.13.orig.tar.gz           08-May-2024 15:02               65218
libghc-copilot-theorem-dev_3.13-1+b1_riscv64.deb   23-May-2026 13:00             1133080
libghc-copilot-theorem-dev_3.13-1_riscv64.deb      26-May-2024 09:49             1268660
libghc-copilot-theorem-doc_3.13-1_all.deb          26-May-2024 09:49              213864
libghc-copilot-theorem-prof_3.13-1+b1_riscv64.deb  23-May-2026 13:00             1060292
libghc-copilot-theorem-prof_3.13-1_riscv64.deb     26-May-2024 09:49             1134688