|
../ |
— |
— |
|
haskell-copilot-theorem_3.13-1.debian.tar.xz |
2.6 KB |
Jan 9, 2023 |
|
haskell-copilot-theorem_3.13-1.dsc |
3.5 KB |
Jan 9, 2023 |
|
haskell-copilot-theorem_3.13.orig.tar.gz |
63.7 KB |
Jan 9, 2023 |
|
haskell-copilot-theorem_4.3-1.debian.tar.xz |
2.9 KB |
Mar 29, 2025 |
|
haskell-copilot-theorem_4.3-1.dsc |
3.7 KB |
Mar 29, 2025 |
|
haskell-copilot-theorem_4.3.orig.tar.gz |
69.6 KB |
Mar 29, 2025 |
|
haskell-copilot-theorem_4.8-1.debian.tar.xz |
2.9 KB |
Jul 24, 2026 |
|
haskell-copilot-theorem_4.8-1.dsc |
3.9 KB |
Jul 24, 2026 |
|
haskell-copilot-theorem_4.8.orig.tar.gz |
71.2 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-dev_3.13-1_amd64.deb |
576.6 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-dev_3.13-1_arm64.deb |
766.9 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-dev_3.13-1_armhf.deb |
689 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-dev_3.13-1_i386.deb |
909.3 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-dev_4.3-1_amd64.deb |
575.9 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-dev_4.3-1_arm64.deb |
575.9 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-dev_4.3-1_armhf.deb |
668.2 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-dev_4.3-1_i386.deb |
901.9 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-dev_4.3-1_riscv64.deb |
1006.2 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-dev_4.8-1_amd64.deb |
562.8 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-dev_4.8-1_arm64.deb |
561.4 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-dev_4.8-1_armhf.deb |
665.9 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-dev_4.8-1_i386.deb |
565.2 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-dev_4.8-1_riscv64.deb |
1.1 MB |
Jul 25, 2026 |
|
libghc-copilot-theorem-doc_3.13-1_all.deb |
208.9 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-doc_4.3-1_all.deb |
224.2 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-doc_4.8-1_all.deb |
225.8 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-prof_3.13-1_amd64.deb |
500.2 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-prof_3.13-1_arm64.deb |
735.3 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-prof_3.13-1_armhf.deb |
693.7 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-prof_3.13-1_i386.deb |
732.6 KB |
Jan 10, 2023 |
|
libghc-copilot-theorem-prof_4.3-1_amd64.deb |
536.1 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-prof_4.3-1_arm64.deb |
616 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-prof_4.3-1_armhf.deb |
712.5 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-prof_4.3-1_i386.deb |
794.5 KB |
Mar 29, 2025 |
|
libghc-copilot-theorem-prof_4.3-1_riscv64.deb |
1.1 MB |
Mar 29, 2025 |
|
libghc-copilot-theorem-prof_4.8-1_amd64.deb |
536.1 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-prof_4.8-1_arm64.deb |
612.8 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-prof_4.8-1_armhf.deb |
760.8 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-prof_4.8-1_i386.deb |
549.5 KB |
Jul 24, 2026 |
|
libghc-copilot-theorem-prof_4.8-1_riscv64.deb |
1.1 MB |
Jul 25, 2026 |