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

Filename	Modification time	Size
coq-reglang_1.1.3-2build2.debian.tar.xz	2023-02-16 19:50 CET	8472 B
coq-reglang_1.1.3-2build2.dsc	2023-02-16 19:50 CET	2110 B
coq-reglang_1.1.3-4build1.debian.tar.xz	2023-07-24 19:37 CEST	8504 B
coq-reglang_1.1.3-4build1.dsc	2023-07-24 19:37 CEST	2116 B
coq-reglang_1.1.3.orig.tar.gz	2022-07-19 01:48 CEST	65 KiB
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-3.debian.tar.xz	2024-05-02 13:53 CEST	8564 B
coq-reglang_1.2.1-3.dsc	2024-05-02 13:53 CEST	2117 B
coq-reglang_1.2.1-3build2.debian.tar.xz	2024-05-13 20:39 CEST	8648 B
coq-reglang_1.2.1-3build2.dsc	2024-05-13 20:39 CEST	2116 B
coq-reglang_1.2.1.orig.tar.gz	2024-01-21 06:45 CET	68 KiB
libcoq-reglang_1.1.3-2build2_amd64.deb	2023-02-16 19:50 CET	805 KiB
libcoq-reglang_1.1.3-4build1_amd64.deb	2023-07-25 19:19 CEST	805 KiB
libcoq-reglang_1.2.1-1build5_amd64.deb	2024-04-08 16:36 CEST	805 KiB
libcoq-reglang_1.2.1-3_amd64.deb	2024-05-02 13:53 CEST	805 KiB
libcoq-reglang_1.2.1-3build2_amd64.deb	2024-05-13 20:40 CEST	837 KiB