| name | size | date |
|---|---|---|
| libghc-copilot-theorem-prof_3.19.1-1_amd64.deb | 0.54M | 2025-09-13 13:17:57 |
| libghc-copilot-theorem-dev_3.19.1-1_amd64.deb | 0.61M | 2025-09-13 13:17:56 |
| libghc-copilot-theorem-doc_3.19.1-1_all.deb | 186.4K | 2025-09-13 13:17:56 |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 182.1K | 2024-11-15 05:18:00 |
| libghc-copilot-theorem-prof_3.13-1_amd64.deb | 0.54M | 2024-11-15 05:18:00 |
| libghc-copilot-theorem-dev_3.13-1_amd64.deb | 0.61M | 2024-11-15 05:17:59 |
| libghc-copilot-theorem-dev_3.10-2_amd64.deb | 0.56M | 2023-08-11 07:50:36 |
| libghc-copilot-theorem-doc_3.10-2_all.deb | 163.6K | 2023-08-11 07:50:36 |
| libghc-copilot-theorem-prof_3.10-2_amd64.deb | 504.7K | 2023-08-11 07:50:36 |