File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
libghc-copilot-theorem-dev_4.0-2_hppa.deb | 1021.6 KiB | 2024-12-27T06:03Z |
libghc-copilot-theorem-prof_4.0-2_hppa.deb | 898.9 KiB | 2024-12-27T06:03Z |
haskell-copilot-theorem_4.0-2_hppa.buildinfo | 15.8 KiB | 2024-12-27T06:03Z |