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

../
haskell-copilot-theorem_4.3-1.debian.tar.xz        11-Jun-2026 21:10                2932
haskell-copilot-theorem_4.3-1.dsc                  11-Jun-2026 21:10                3801
haskell-copilot-theorem_4.3.orig.tar.gz            11-Jun-2026 21:10               71261
libghc-copilot-theorem-dev_4.3-1_amd64.deb         11-Jun-2026 21:10              589720
libghc-copilot-theorem-dev_4.3-1_riscv64.deb       11-Jun-2026 21:10             1030352
libghc-copilot-theorem-doc_4.3-1_all.deb           11-Jun-2026 21:10              229600
libghc-copilot-theorem-prof_4.3-1_amd64.deb        11-Jun-2026 21:10              548984
libghc-copilot-theorem-prof_4.3-1_riscv64.deb      11-Jun-2026 21:10             1149028