Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
libghc-copilot-theorem-dev_4.0-1_ppc64.deb | 2024-09-11 06:03 | 748K | ||
libghc-copilot-theorem-prof_4.0-1_ppc64.deb | 2024-09-11 06:03 | 630K | ||
haskell-copilot-theorem_4.0-1_ppc64.buildinfo | 2024-09-11 06:03 | 16K | ||