Index of /ubuntu/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-3.debian.tar.xz                  14-Jun-2023 23:24                8412
coq-reglang_1.1.3-3.dsc                            14-Jun-2023 23:24                2111
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-3_amd64.deb                   14-Jun-2023 23:24              824086