| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| libghc-copilot-theorem-dev_3.13-1_armhf.deb | 2026-Mar-13 17:08:02 | 690.1K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 2023-Jan-10 06:29:46 | 208.8K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_3.13-1_armhf.deb | 2026-Mar-13 17:08:02 | 694.3K | application/vnd.debian.binary-package |