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

../
libcoq-reglang_1.1.3-2+b1_amd64.deb                13-Feb-2023 15:28              724528
libcoq-reglang_1.1.3-2+b1_arm64.deb                13-Feb-2023 15:28              724460
libcoq-reglang_1.1.3-2+b1_i386.deb                 13-Feb-2023 15:39              724248
libcoq-reglang_1.1.3-2+b1_ppc64el.deb              14-Feb-2023 07:55              724424
libcoq-reglang_1.1.3-4+b2_amd64.deb                22-Sep-2023 17:14              724484
libcoq-reglang_1.1.3-4+b2_arm64.deb                22-Sep-2023 19:11              724404
libcoq-reglang_1.1.3-4+b2_i386.deb                 22-Sep-2023 17:14              724276
libcoq-reglang_1.1.3-4+b2_ppc64el.deb              22-Sep-2023 17:44              724128
libcoq-reglang_1.2.0-1_amd64.deb                   25-Dec-2023 19:53              723860
libcoq-reglang_1.2.0-1_arm64.deb                   25-Dec-2023 19:53              724024
libcoq-reglang_1.2.0-1_i386.deb                    25-Dec-2023 19:48              723660
libcoq-reglang_1.2.0-1_ppc64el.deb                 25-Dec-2023 19:48              723876
libcoq-reglang_1.2.0-1_riscv64.deb                 04-Jan-2024 13:04              724012