| Parent directory/ | - | - |
| libcoq-mathcomp-bigenough_1.0.1-14+b5_arm64.deb | 26144 | 2024-Oct-13 14:30 |
| libcoq-mathcomp-bigenough_1.0.1-14+b5_amd64.deb | 26136 | 2024-Oct-13 13:54 |
| libcoq-mathcomp-bigenough_1.0.1-13+b2_amd64.deb | 26036 | 2024-Jun-15 15:12 |
| libcoq-mathcomp-bigenough_1.0.1-13+b2_arm64.deb | 26012 | 2024-Jun-15 17:23 |
| libcoq-mathcomp-bigenough_1.0.1-13+b1_armhf.deb | 26000 | 2024-Jun-15 15:22 |
| libcoq-mathcomp-bigenough_1.0.1-13+b2_i386.deb | 26000 | 2024-Jun-15 15:12 |
| mathcomp-bigenough_1.0.1.orig.tar.gz | 12248 | 2022-Feb-09 09:33 |
| mathcomp-bigenough_1.0.1-14.debian.tar.xz | 8760 | 2024-Aug-03 14:47 |
| mathcomp-bigenough_1.0.1-13.debian.tar.xz | 8712 | 2024-Apr-26 16:06 |
| mathcomp-bigenough_1.0.1-13.dsc | 2154 | 2024-Apr-26 16:06 |
| mathcomp-bigenough_1.0.1-14.dsc | 1933 | 2024-Aug-03 14:47 |