| Parent directory/ | - | - |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_amd64.deb | 26332 | 2022-Nov-30 04:27 |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_ppc64el.deb | 26320 | 2022-Nov-30 03:57 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_s390x.deb | 26320 | 2023-Jan-24 02:41 |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_arm64.deb | 26316 | 2022-Nov-30 04:42 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_arm64.deb | 26312 | 2023-Jan-24 04:28 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_amd64.deb | 26308 | 2023-Jan-24 03:42 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_ppc64el.deb | 26304 | 2023-Jan-24 18:26 |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_i386.deb | 26292 | 2022-Nov-30 01:51 |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_s390x.deb | 26284 | 2022-Nov-30 04:58 |
| libcoq-mathcomp-bigenough_1.0.1-8+b2_armhf.deb | 26284 | 2022-Nov-30 03:57 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_armhf.deb | 26276 | 2023-Jan-24 04:28 |
| libcoq-mathcomp-bigenough_1.0.1-8+b3_i386.deb | 26272 | 2023-Jan-24 03:57 |
| mathcomp-bigenough_1.0.1.orig.tar.gz | 12248 | 2022-Feb-09 07:33 |
| mathcomp-bigenough_1.0.1-8.debian.tar.xz | 8616 | 2022-Jul-05 13:32 |
| mathcomp-bigenough_1.0.1-8.dsc | 2162 | 2022-Jul-05 13:32 |