coq-math-classes

Name	Size	Modified
Up
coq-math-classes_8.18.0-1build3.debian.tar.xz	3.1 KiB	04/08/2024 07:57:39 AM +00:00
coq-math-classes_8.18.0-1build3.dsc	2.2 KiB	04/08/2024 07:57:39 AM +00:00
coq-math-classes_8.18.0.orig.tar.gz	165 KiB	12/23/2023 05:16:58 PM +00:00
coq-math-classes_8.19.0-1build13.debian.tar.xz	3.2 KiB	02/19/2025 07:52:13 AM +00:00
coq-math-classes_8.19.0-1build13.dsc	2.1 KiB	02/19/2025 07:52:13 AM +00:00
coq-math-classes_8.19.0-1build14.debian.tar.xz	3.2 KiB	06/20/2025 01:22:25 PM +00:00
coq-math-classes_8.19.0-1build14.dsc	2.1 KiB	06/20/2025 01:22:25 PM +00:00
coq-math-classes_8.19.0-1build17.debian.tar.xz	3.3 KiB	03/04/2026 05:33:30 PM +00:00
coq-math-classes_8.19.0-1build17.dsc	2.1 KiB	03/04/2026 05:33:30 PM +00:00
coq-math-classes_8.19.0.orig.tar.gz	165 KiB	05/02/2024 11:53:14 AM +00:00
coq-math-classes_9.2.0-1.debian.tar.xz	3.0 KiB	07/29/2026 12:05:58 AM +00:00
coq-math-classes_9.2.0-1.dsc	2.1 KiB	07/29/2026 12:05:58 AM +00:00
coq-math-classes_9.2.0.orig.tar.gz	165 KiB	07/29/2026 12:05:58 AM +00:00
libcoq-math-classes_8.18.0-1build3_amd64.deb	3.2 MiB	04/08/2024 10:59:15 AM +00:00
libcoq-math-classes_8.19.0-1build13_amd64.deb	3.1 MiB	02/19/2025 07:53:16 AM +00:00
libcoq-math-classes_8.19.0-1build14_amd64.deb	3.1 MiB	06/20/2025 05:40:39 PM +00:00
libcoq-math-classes_8.19.0-1build14_arm64.deb	3.1 MiB	06/20/2025 05:40:42 PM +00:00
libcoq-math-classes_8.19.0-1build17_amd64.deb	3.1 MiB	03/04/2026 05:34:40 PM +00:00
libcoq-math-classes_8.19.0-1build17_amd64v3.deb	3.1 MiB	03/04/2026 05:34:46 PM +00:00
libcoq-math-classes_8.19.0-1build17_arm64.deb	3.1 MiB	03/04/2026 05:34:50 PM +00:00
libcoq-math-classes_8.19.0-1build18_amd64.deb	3.1 MiB	07/09/2026 11:44:49 AM +00:00
libcoq-math-classes_8.19.0-1build18_amd64v3.deb	3.1 MiB	07/09/2026 11:44:54 AM +00:00
libcoq-math-classes_8.19.0-1build18_arm64.deb	3.1 MiB	07/09/2026 07:32:29 PM +00:00