| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| libghc-copilot-theorem-dev_4.6-1_powerpc.deb | 829380 | 2025-Nov-11 15:03 | |
| libghc-copilot-theorem-prof_4.6-1_powerpc.deb | 727456 | 2025-Nov-11 15:03 | |
| haskell-copilot-theorem_4.6-1_powerpc.buildinfo | 15602 | 2025-Nov-11 15:03 | |