| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| haskell-copilot-theorem_4.2-1_sparc64.buildinfo | 15.7 KiB | 2025-Jan-23 07:03 | |
| libghc-copilot-theorem-dev_4.2-1_sparc64.deb | 869.8 KiB | 2025-Jan-23 07:03 | |
| libghc-copilot-theorem-prof_4.2-1_sparc64.deb | 827.6 KiB | 2025-Jan-23 07:03 |
