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.8.1.orig.tar.gz          28-Sep-2026 19:47     71K
haskell-copilot-theorem_4.8.orig.tar.gz            24-Jul-2026 15:23     71K
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.8-1_amd64.deb         24-Jul-2026 16:20    563K
libghc-copilot-theorem-dev_4.8-1_loong64.deb       24-Jul-2026 16:20    703K
libghc-copilot-theorem-dev_4.8-1_riscv64.deb       25-Jul-2026 05:35      1M
libghc-copilot-theorem-dev_4.8.1-1_amd64.deb       28-Sep-2026 21:29    563K
libghc-copilot-theorem-dev_4.8.1-1_loong64.deb     28-Sep-2026 21:14    706K
libghc-copilot-theorem-dev_4.8.1-1_riscv64.deb     30-Sep-2026 08:38      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.8-1_all.deb           24-Jul-2026 16:20    226K
libghc-copilot-theorem-doc_4.8.1-1_all.deb         28-Sep-2026 21:24    226K
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.8-1_amd64.deb        24-Jul-2026 16:20    536K
libghc-copilot-theorem-prof_4.8-1_loong64.deb      24-Jul-2026 16:20    716K
libghc-copilot-theorem-prof_4.8-1_riscv64.deb      25-Jul-2026 05:35      1M
libghc-copilot-theorem-prof_4.8.1-1_amd64.deb      28-Sep-2026 21:29    539K
libghc-copilot-theorem-prof_4.8.1-1_loong64.deb    28-Sep-2026 21:14    711K
libghc-copilot-theorem-prof_4.8.1-1_riscv64.deb    30-Sep-2026 08:38      1M