| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| coq-iris_4.2.0-3_ppc64.buildinfo | 13099 | 2024-Aug-04 21:03 | |
| coq-iris_4.5.0-1_ppc64.buildinfo | 13448 | 2026-Jul-11 09:03 | |
| libcoq-iris_4.2.0-3_ppc64.deb | 12679244 | 2024-Aug-04 21:03 | |
| libcoq-iris_4.5.0-1_ppc64.deb | 13238016 | 2026-Jul-11 09:03 | |