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

Filename	Modification time	Size
coq-reglang_1.2.1-1build5.debian.tar.xz	2024-04-08 09:57 CEST	8768 B
coq-reglang_1.2.1-1build5.dsc	2024-04-08 09:57 CEST	2195 B
coq-reglang_1.2.1-4build5.debian.tar.xz	2024-09-17 17:51 CEST	8792 B
coq-reglang_1.2.1-4build5.dsc	2024-09-17 17:51 CEST	2116 B
coq-reglang_1.2.1-4build8.debian.tar.xz	2024-12-20 15:16 CET	8892 B
coq-reglang_1.2.1-4build8.dsc	2024-12-20 15:16 CET	2116 B
coq-reglang_1.2.1.orig.tar.gz	2024-01-21 06:45 CET	68 KiB
libcoq-reglang_1.2.1-1build5_amd64.deb	2024-04-08 16:36 CEST	805 KiB
libcoq-reglang_1.2.1-4build5_amd64.deb	2024-09-20 01:39 CEST	948 KiB
libcoq-reglang_1.2.1-4build8_amd64.deb	2024-12-20 15:16 CET	972 KiB