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

---

../
coq-reglang_1.1.3-2.debian.tar.xz                  26-Jan-2023 19:44    8392
coq-reglang_1.1.3-2.dsc                            26-Jan-2023 19:44    2111
coq-reglang_1.1.3-3.debian.tar.xz                  14-Jun-2023 20:57    8412
coq-reglang_1.1.3-3.dsc                            14-Jun-2023 20:57    2111
coq-reglang_1.1.3.orig.tar.gz                      16-Jul-2022 04:06     65K
libcoq-reglang_1.1.3-1+b1_amd64.deb                27-Jul-2022 07:59    705K
libcoq-reglang_1.1.3-1+b1_arm64.deb                09-Sep-2022 04:28    708K
libcoq-reglang_1.1.3-1+b1_armhf.deb                09-Sep-2022 04:28    707K
libcoq-reglang_1.1.3-1+b1_i386.deb                 09-Sep-2022 04:57    707K
libcoq-reglang_1.1.3-1+b2_amd64.deb                09-Sep-2022 06:43    707K
libcoq-reglang_1.1.3-1+b2_arm64.deb                30-Nov-2022 11:27    708K
libcoq-reglang_1.1.3-1+b2_armhf.deb                30-Nov-2022 10:42    707K
libcoq-reglang_1.1.3-1+b2_i386.deb                 30-Nov-2022 08:40    707K
libcoq-reglang_1.1.3-1+b3_amd64.deb                30-Nov-2022 11:27    708K
libcoq-reglang_1.1.3-2+b1_amd64.deb                13-Feb-2023 14:28    708K
libcoq-reglang_1.1.3-2+b1_arm64.deb                13-Feb-2023 14:28    707K
libcoq-reglang_1.1.3-2+b1_armhf.deb                13-Feb-2023 14:28    707K
libcoq-reglang_1.1.3-2+b1_i386.deb                 13-Feb-2023 14:39    707K
libcoq-reglang_1.1.3-3_amd64.deb                   15-Jun-2023 05:12    707K
libcoq-reglang_1.1.3-3_arm64.deb                   15-Jun-2023 05:27    707K
libcoq-reglang_1.1.3-3_armhf.deb                   15-Jun-2023 05:12    707K
libcoq-reglang_1.1.3-3_i386.deb                    15-Jun-2023 05:07    707K

---