Index of /pool/universe/c/coq-reglang/

../
coq-reglang_1.1.3-1.debian.tar.xz                  18-Jul-2022 23:48                8328
coq-reglang_1.1.3-1.dsc                            18-Jul-2022 23:48                2106
coq-reglang_1.1.3-2build2.debian.tar.xz            16-Feb-2023 18:50                8472
coq-reglang_1.1.3-2build2.dsc                      16-Feb-2023 18:50                2110
coq-reglang_1.1.3-4.debian.tar.xz                  06-Jul-2023 18:01                8436
coq-reglang_1.1.3-4.dsc                            06-Jul-2023 18:01                2117
coq-reglang_1.1.3.orig.tar.gz                      18-Jul-2022 23:48               67023
libcoq-reglang_1.1.3-1_amd64.deb                   19-Jul-2022 01:08              823598
libcoq-reglang_1.1.3-2build2_amd64.deb             16-Feb-2023 18:50              824414
libcoq-reglang_1.1.3-4_amd64.deb                   06-Jul-2023 18:01              824190