| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| libghc-copilot-theorem-dev_4.8-1_hurd-amd64.deb | 574452 | 2026-Jul-25 09:03 | |
| libghc-copilot-theorem-prof_4.8-1_hurd-amd64.deb | 549760 | 2026-Jul-25 09:03 | |
| haskell-copilot-theorem_4.8-1_hurd-amd64.buildinfo | 16576 | 2026-Jul-25 09:03 | |