Index of /debian/pool/main/c/coq-reglang/


../
coq-reglang_1.1.3-2.debian.tar.xz                  20-Apr-2023 12:16                8392
coq-reglang_1.1.3-2.dsc                            20-Apr-2023 12:16                2111
coq-reglang_1.1.3.orig.tar.gz                      20-Apr-2023 12:16               67023
libcoq-reglang_1.1.3-2+b1_amd64.deb                20-Apr-2023 12:16              724528
libcoq-reglang_1.1.3-2+b1_i386.deb                 20-Apr-2023 12:16              724248