../ coq-math-classes_8.18.0-1build3.debian.tar.xz 08-Apr-2024 11:27 3128 coq-math-classes_8.18.0-1build3.dsc 08-Apr-2024 11:27 2242 coq-math-classes_8.18.0.orig.tar.gz 23-Dec-2023 20:46 165K coq-math-classes_8.19.0-1build8.debian.tar.xz 07-Sep-2024 22:34 3180 coq-math-classes_8.19.0-1build8.dsc 07-Sep-2024 22:34 2163 coq-math-classes_8.19.0-1build9.debian.tar.xz 21-Nov-2024 06:41 3208 coq-math-classes_8.19.0-1build9.dsc 21-Nov-2024 06:41 2163 coq-math-classes_8.19.0.orig.tar.gz 02-May-2024 15:23 165K libcoq-math-classes_8.18.0-1build3_amd64.deb 08-Apr-2024 14:29 3M libcoq-math-classes_8.19.0-1build8_amd64.deb 07-Sep-2024 22:35 3M libcoq-math-classes_8.19.0-1build9_amd64.deb 21-Nov-2024 06:41 3M