Index of /bianbu/pool/universe/h/haskell-copilot-theorem/

../
haskell-copilot-theorem_3.18.1-2.debian.tar.xz     09-Jan-2024 11:21    2840
haskell-copilot-theorem_3.18.1-2.dsc               09-Jan-2024 11:21    3793
haskell-copilot-theorem_3.18.1.orig.tar.gz         09-Jan-2024 05:45     66K
haskell-copilot-theorem_4.2-1.debian.tar.xz        23-Jan-2025 05:47    2928
haskell-copilot-theorem_4.2-1.dsc                  23-Jan-2025 05:47    3764
haskell-copilot-theorem_4.2.orig.tar.gz            23-Jan-2025 05:47     65K
libghc-copilot-theorem-dev_3.18.1-2_riscv64.deb    21-Aug-2024 14:34      1M
libghc-copilot-theorem-dev_4.2-1_riscv64.deb       17-Jun-2025 10:16      1M
libghc-copilot-theorem-doc_3.18.1-2_all.deb        21-Aug-2024 14:34    195K
libghc-copilot-theorem-doc_4.2-1_all.deb           24-May-2025 11:42    190K
libghc-copilot-theorem-prof_3.18.1-2_riscv64.deb   21-Aug-2024 14:34      1M
libghc-copilot-theorem-prof_4.2-1_riscv64.deb      17-Jun-2025 10:16      1M