| ⬆️Parent directory | — | — |
| 📦haskell-copilot-theorem_3.13-1.debian.tar.xz | 2.59K | Tue Jan 10 2023 |
| 📄haskell-copilot-theorem_3.13-1.dsc | 3.5K | Tue Jan 10 2023 |
| 📦haskell-copilot-theorem_3.13.orig.tar.gz | 63.7K | Tue Jan 10 2023 |
| 📦haskell-copilot-theorem_4.3-1.debian.tar.xz | 2.87K | Sun Mar 30 2025 |
| 📄haskell-copilot-theorem_4.3-1.dsc | 3.72K | Sun Mar 30 2025 |
| 📦haskell-copilot-theorem_4.3.orig.tar.gz | 69.6K | Sun Mar 30 2025 |
| 📦haskell-copilot-theorem_4.8.1-1.debian.tar.xz | 2.95K | Tue Sep 29 2026 |
| 📄haskell-copilot-theorem_4.8.1-1.dsc | 3.95K | Tue Sep 29 2026 |
| 📦haskell-copilot-theorem_4.8.1.orig.tar.gz | 71.3K | Tue Sep 29 2026 |
| 📦libghc-copilot-theorem-dev_3.13-1_amd64.deb | 577K | Tue Jan 10 2023 |
| 📦libghc-copilot-theorem-dev_3.13-1_i386.deb | 910K | Tue Jan 10 2023 |
| 📦libghc-copilot-theorem-dev_4.3-1_amd64.deb | 576K | Sun Mar 30 2025 |
| 📦libghc-copilot-theorem-dev_4.3-1_i386.deb | 902K | Sun Mar 30 2025 |
| 📦libghc-copilot-theorem-dev_4.8.1-1_amd64.deb | 564K | Tue Sep 29 2026 |
| 📦libghc-copilot-theorem-dev_4.8.1-1_i386.deb | 566K | Tue Sep 29 2026 |
| 📦libghc-copilot-theorem-doc_3.13-1_all.deb | 209K | Tue Jan 10 2023 |
| 📦libghc-copilot-theorem-doc_4.3-1_all.deb | 225K | Sun Mar 30 2025 |
| 📦libghc-copilot-theorem-doc_4.8.1-1_all.deb | 226K | Tue Sep 29 2026 |
| 📦libghc-copilot-theorem-prof_3.13-1_amd64.deb | 501K | Tue Jan 10 2023 |
| 📦libghc-copilot-theorem-prof_3.13-1_i386.deb | 733K | Tue Jan 10 2023 |
| 📦libghc-copilot-theorem-prof_4.3-1_amd64.deb | 537K | Sun Mar 30 2025 |
| 📦libghc-copilot-theorem-prof_4.3-1_i386.deb | 795K | Sun Mar 30 2025 |
| 📦libghc-copilot-theorem-prof_4.8.1-1_amd64.deb | 540K | Tue Sep 29 2026 |
| 📦libghc-copilot-theorem-prof_4.8.1-1_i386.deb | 550K | Tue Sep 29 2026 |