| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| libcoq-stdpp_1.13.0-1_ppc64.deb | 5283024 | 2026-Jul-11 03:03 | |
| libcoq-stdpp_1.10.0-2_ppc64.deb | 4726100 | 2024-Aug-04 15:03 | |
| coq-stdpp_1.13.0-1_ppc64.buildinfo | 6688 | 2026-Jul-11 03:03 | |
| coq-stdpp_1.10.0-2_ppc64.buildinfo | 6525 | 2024-Aug-04 15:03 | |