File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coqeal_2.0.1-1build5.debian.tar.xz	2.5 KiB	2024-04-08 09:57
coqeal_2.0.1-1build5.dsc	2.2 KiB	2024-04-08 09:57
coqeal_2.0.1.orig.tar.gz	211.7 KiB	2024-01-21 07:45
coqeal_2.0.3-1build6.debian.tar.xz	2.5 KiB	2025-02-19 09:52
coqeal_2.0.3-1build6.dsc	2.1 KiB	2025-02-19 09:52
coqeal_2.0.3.orig.tar.gz	211.9 KiB	2024-12-19 01:41
coqeal_2.1.0-1build3.debian.tar.xz	2.5 KiB	2025-08-31 21:42
coqeal_2.1.0-1build3.dsc	2.1 KiB	2025-08-31 21:42
coqeal_2.1.0-1build7.debian.tar.xz	2.5 KiB	2026-01-05 01:06
coqeal_2.1.0-1build7.dsc	2.1 KiB	2026-01-05 01:06
coqeal_2.1.0-1build8.debian.tar.xz	2.5 KiB	2026-01-28 10:18
coqeal_2.1.0-1build8.dsc	2.1 KiB	2026-01-28 10:18
coqeal_2.1.0.orig.tar.gz	221.4 KiB	2025-05-01 18:23
libcoq-coqeal_2.0.1-1build5_amd64.deb	5.3 MiB	2024-04-09 09:42
libcoq-coqeal_2.0.3-1build6_amd64.deb	5.9 MiB	2025-02-20 19:00
libcoq-coqeal_2.1.0-1build3_amd64.deb	6.2 MiB	2025-09-02 15:04
libcoq-coqeal_2.1.0-1build7_amd64.deb	6.2 MiB	2026-01-06 15:33
libcoq-coqeal_2.1.0-1build7_amd64v3.deb	6.2 MiB	2026-01-06 15:33
libcoq-coqeal_2.1.0-1build8_amd64.deb	6.2 MiB	2026-02-01 07:27
libcoq-coqeal_2.1.0-1build8_amd64v3.deb	6.2 MiB	2026-02-01 07:28