| name | size | date |
|---|---|---|
| libghc-copilot-theorem-dev_4.6.1-1_amd64.deb | 0.60M | 2026-03-01 13:54:48 |
| libghc-copilot-theorem-doc_4.6.1-1_all.deb | 198.5K | 2026-03-01 13:54:48 |
| libghc-copilot-theorem-prof_4.6.1-1_amd64.deb | 0.58M | 2026-03-01 13:54:48 |
| libghc-copilot-theorem-dev_4.5-1build1_amd64.deb | 0.61M | 2025-09-14 15:43:18 |
| libghc-copilot-theorem-doc_4.5-1build1_all.deb | 202.6K | 2025-09-14 15:43:17 |
| libghc-copilot-theorem-prof_4.5-1build1_amd64.deb | 0.57M | 2025-09-14 15:43:17 |
| libghc-copilot-theorem-dev_4.2-1_amd64.deb | 0.59M | 2025-01-23 13:45:53 |
| libghc-copilot-theorem-doc_4.2-1_all.deb | 188.9K | 2025-01-23 13:45:53 |
| libghc-copilot-theorem-prof_4.2-1_amd64.deb | 0.55M | 2025-01-23 13:45:53 |
| libghc-copilot-theorem-dev_3.18.1-2_amd64.deb | 0.61M | 2024-01-09 11:21:18 |
| libghc-copilot-theorem-doc_3.18.1-2_all.deb | 187.3K | 2024-01-09 11:21:18 |
| libghc-copilot-theorem-prof_3.18.1-2_amd64.deb | 0.54M | 2024-01-09 11:21:18 |