Index of /pub/os/linux/ubuntu/pool/universe/c/coq-math-classes/

Filename	Modification time	Size
coq-math-classes_8.15.0-4build2.debian.tar.xz	2023-02-17 08:29 CET	2708 B
coq-math-classes_8.15.0-4build2.dsc	2023-02-17 08:29 CET	2163 B
coq-math-classes_8.15.0.orig.tar.gz	2022-07-09 07:18 CEST	164 KiB
coq-math-classes_8.17.0-1build1.debian.tar.xz	2023-07-26 07:19 CEST	2732 B
coq-math-classes_8.17.0-1build1.dsc	2023-07-26 07:19 CEST	2163 B
coq-math-classes_8.17.0.orig.tar.gz	2023-06-13 13:34 CEST	165 KiB
coq-math-classes_8.18.0-1build3.debian.tar.xz	2024-04-08 09:57 CEST	3128 B
coq-math-classes_8.18.0-1build3.dsc	2024-04-08 09:57 CEST	2242 B
coq-math-classes_8.18.0.orig.tar.gz	2023-12-23 18:16 CET	165 KiB
coq-math-classes_8.19.0-1build3.debian.tar.xz	2024-06-15 16:43 CEST	3036 B
coq-math-classes_8.19.0-1build3.dsc	2024-06-15 16:43 CEST	2163 B
coq-math-classes_8.19.0.orig.tar.gz	2024-05-02 13:53 CEST	165 KiB
libcoq-math-classes_8.15.0-4build2_amd64.deb	2023-02-17 08:29 CET	3345 KiB
libcoq-math-classes_8.17.0-1build1_amd64.deb	2023-07-26 09:55 CEST	3334 KiB
libcoq-math-classes_8.18.0-1build3_amd64.deb	2024-04-08 12:59 CEST	3264 KiB
libcoq-math-classes_8.19.0-1build3_amd64.deb	2024-06-15 18:49 CEST	3228 KiB