Index of /ubuntu-ports/pool/universe/m/mathcomp-zify/

Index of /ubuntu-ports/pool/universe/m/mathcomp-zify/


../
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_ar..> 19-Jul-2022 16:38    263K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_ar..> 19-Jul-2022 16:38    263K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_pp..> 19-Jul-2022 16:38    263K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_ri..> 19-Jul-2022 16:38    263K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_s3..> 19-Jul-2022 16:18    263K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build3_ar..> 03-Dec-2022 21:54    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build3_ar..> 03-Dec-2022 21:54    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build3_pp..> 03-Dec-2022 19:29    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build3_ri..> 04-Dec-2022 02:04    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build3_s3..> 03-Dec-2022 19:29    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build4_ar..> 26-Jan-2023 23:39    261K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build4_ar..> 26-Jan-2023 23:39    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build4_pp..> 26-Jan-2023 23:39    261K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build4_ri..> 27-Jan-2023 14:38    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build4_s3..> 26-Jan-2023 23:39    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_ar..> 17-Feb-2023 01:50    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_ar..> 17-Feb-2023 01:50    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_pp..> 17-Feb-2023 01:50    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_ri..> 17-Feb-2023 09:34    260K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_s3..> 17-Feb-2023 02:44    260K
mathcomp-zify_1.2.0+1.12+8.13-6build1.debian.ta..> 19-Jul-2022 15:23    8612
mathcomp-zify_1.2.0+1.12+8.13-6build1.dsc          19-Jul-2022 15:23    2159
mathcomp-zify_1.2.0+1.12+8.13-6build3.debian.ta..> 03-Dec-2022 16:59    8648
mathcomp-zify_1.2.0+1.12+8.13-6build3.dsc          03-Dec-2022 16:59    2159
mathcomp-zify_1.2.0+1.12+8.13-6build4.debian.ta..> 26-Jan-2023 15:54    8668
mathcomp-zify_1.2.0+1.12+8.13-6build4.dsc          26-Jan-2023 15:54    2159
mathcomp-zify_1.2.0+1.12+8.13-6build6.debian.ta..> 17-Feb-2023 01:50    8684
mathcomp-zify_1.2.0+1.12+8.13-6build6.dsc          17-Feb-2023 01:50    2159
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz          17-May-2022 06:24     20K