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

../
coq-reglang_1.1.3-2.debian.tar.xz                  31-Mar-2026 09:28    8392
coq-reglang_1.1.3-2.dsc                            31-Mar-2026 09:29    2111
coq-reglang_1.1.3.orig.tar.gz                      31-Mar-2026 09:29     65K
coq-reglang_1.2.1-4.debian.tar.xz                  24-Mar-2026 08:15    8632
coq-reglang_1.2.1-4.dsc                            24-Mar-2026 08:15    1888
coq-reglang_1.2.1.orig.tar.gz                      24-Mar-2026 08:15     68K
libcoq-reglang_1.1.3-2+b1_amd64.deb                31-Mar-2026 18:47    708K
libcoq-reglang_1.1.3-2+b1_i386.deb                 31-Mar-2026 18:47    707K
libcoq-reglang_1.2.1-4+b14_amd64.deb               25-Mar-2026 18:34    855K