Index of /debian-snapshots/2023-01-01-0640/pool/main/c/coq-math-classes/

../
coq-math-classes_8.15.0-3.debian.tar.xz            16-Jul-2022 10:37                2576
coq-math-classes_8.15.0-3.dsc                      16-Jul-2022 10:37                2159
coq-math-classes_8.15.0.orig.tar.gz                08-Jul-2022 06:17              167961
libcoq-math-classes_8.15.0-3+b3_amd64.deb          28-Dec-2022 17:14             2971480
libcoq-math-classes_8.15.0-3+b3_arm64.deb          28-Dec-2022 17:14             2970780
libcoq-math-classes_8.15.0-3+b3_armhf.deb          28-Dec-2022 17:14             2969216
libcoq-math-classes_8.15.0-3+b3_i386.deb           28-Dec-2022 17:14             2968648
libcoq-math-classes_8.15.0-3+b3_ppc64el.deb        28-Dec-2022 18:56             2976224
libcoq-math-classes_8.15.0-3+b3_s390x.deb          28-Dec-2022 19:26             2971264