| Name ↑ ↓ | Size ↑ ↓ | Date ↑ ↓ | |
|---|---|---|---|
| Parent Directory | - | - | |
| mathcomp-zify_1.5.0+2.0+8.16-4.dsc | 2.1 KiB | 06-12-2024 | 07:52 | |
| mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz | 8.5 KiB | 06-12-2024 | 07:52 | |
| mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz | 20.6 KiB | 22-12-2023 | 11:07 | |
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_arm64.deb | 266.4 KiB | 15-06-2025 | 07:43 | |
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_riscv64.deb | 266.4 KiB | 17-06-2025 | 21:20 | |
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb | 266.4 KiB | 15-06-2025 | 04:21 | |