File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-equations_1.3-8.18.orig.tar.gz	1.1 MiB	2023-12-23 20:16
coq-equations_1.3-8.18-1build3.debian.tar.xz	2.8 KiB	2024-04-08 10:57
coq-equations_1.3-8.18-1build3.dsc	2.2 KiB	2024-04-08 10:57
libcoq-equations_1.3-8.18-1build3_amd64.deb	1.5 MiB	2024-04-08 13:59
coq-equations_1.3.1-8.20.orig.tar.gz	1.1 MiB	2024-11-20 21:47
coq-equations_1.3.1-8.20-1build4.dsc	2.1 KiB	2025-02-19 10:52
coq-equations_1.3.1-8.20-1build4.debian.tar.xz	2.8 KiB	2025-02-19 10:52
libcoq-equations_1.3.1-8.20-1build4_amd64.deb	1.3 MiB	2025-02-19 10:53
coq-equations_1.3.1-8.20-1build5.debian.tar.xz	2.9 KiB	2025-06-20 16:22
coq-equations_1.3.1-8.20-1build5.dsc	2.1 KiB	2025-06-20 16:22
libcoq-equations_1.3.1-8.20-1build5_amd64.deb	1.3 MiB	2025-06-20 20:40
libcoq-equations_1.3.1-8.20-1build5_arm64.deb	1.3 MiB	2025-06-20 20:40
coq-equations_1.3.1-8.20-1build8.debian.tar.xz	3.0 KiB	2026-03-04 20:33
coq-equations_1.3.1-8.20-1build8.dsc	2.1 KiB	2026-03-04 20:33
libcoq-equations_1.3.1-8.20-1build8_amd64.deb	1.3 MiB	2026-03-04 20:34
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deb	1.3 MiB	2026-03-04 20:34
libcoq-equations_1.3.1-8.20-1build8_arm64.deb	1.3 MiB	2026-03-04 20:34