| Parent directory/ | - | - | 
| mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz |               20333 | 2022-Apr-22 09:55 | 
| mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz |                8540 | 2022-Jul-05 13:37 | 
| mathcomp-zify_1.2.0+1.12+8.13-6.dsc |                2160 | 2022-Jul-05 13:37 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_arm64...> |              228600 | 2023-Feb-13 07:44 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_amd64...> |              228480 | 2023-Feb-13 07:44 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_armhf...> |              228752 | 2023-Feb-13 07:44 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_i386.deb |              228428 | 2023-Feb-13 07:59 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_s390x...> |              228720 | 2023-Feb-13 10:25 | 
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_ppc64e..> |              228664 | 2023-Feb-14 00:26 | 
| mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz |               21080 | 2023-Dec-22 11:07 | 
| mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz |                8752 | 2024-Dec-06 07:52 | 
| mathcomp-zify_1.5.0+2.0+8.16-4.dsc |                2152 | 2024-Dec-06 07:52 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb |              272828 | 2025-Jun-15 04:21 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_arm64.deb |              272812 | 2025-Jun-15 07:43 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_ppc64el..> |              272748 | 2025-Jun-15 08:54 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_riscv64..> |              272812 | 2025-Jun-17 21:20 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_s390x.deb |              272776 | 2025-Jun-17 22:53 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b13_amd64...> |              272976 | 2025-Oct-28 20:48 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b13_arm64...> |              272720 | 2025-Oct-28 20:48 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b13_ppc64e..> |              272824 | 2025-Oct-28 20:48 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b13_s390x...> |              272872 | 2025-Oct-28 20:54 | 
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b13_riscv6..> |              272848 | 2025-Oct-29 05:17 | 
| libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_amd64.deb |              314972 | 2025-Oct-30 07:28 | 
| mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz |                8832 | 2025-Oct-30 07:28 | 
| mathcomp-zify_1.6.0+2.3+8.18-1.dsc |                2165 | 2025-Oct-30 07:28 | 
| mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz |               21077 | 2025-Oct-30 07:28 | 
| libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_arm64.deb |              266580 | 2025-Oct-30 15:15 | 
| libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_ppc64el.deb |              266628 | 2025-Oct-30 21:13 | 
| libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_s390x.deb |              266648 | 2025-Oct-31 11:54 |