| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 libcoq-mathcomp-bigenough_1.0.2-1+b3_amd64.deb | 21924 bytes | 2025-06-15 04:21:46 |
| 📄 libcoq-mathcomp-bigenough_1.0.2-1+b3_arm64.deb | 21920 bytes | 2025-06-15 07:38:50 |
| 📄 libcoq-mathcomp-bigenough_1.0.2-1+b3_riscv64.deb | 21916 bytes | 2025-06-17 21:09:56 |
| 📄 mathcomp-bigenough_1.0.2-1.debian.tar.xz | 8788 bytes | 2025-02-17 16:42:16 |
| 📄 mathcomp-bigenough_1.0.2-1.dsc | 2162 bytes | 2025-02-17 16:42:16 |
| 📄 mathcomp-bigenough_1.0.2.orig.tar.gz | 12221 bytes | 2025-02-17 16:42:16 |