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

../
coq-reglang_1.1.3-2.debian.tar.xz                  26-Jan-2023 12:44                8392
coq-reglang_1.1.3-2.dsc                            26-Jan-2023 12:44                2111
coq-reglang_1.1.3.orig.tar.gz                      15-Jul-2022 21:06               67023
coq-reglang_1.2.1-4.debian.tar.xz                  04-Aug-2024 06:22                8632
coq-reglang_1.2.1-4.dsc                            04-Aug-2024 06:22                1888
coq-reglang_1.2.1.orig.tar.gz                      20-Jan-2024 20:13               69424
coq-reglang_1.2.2-5.debian.tar.xz                  12-Aug-2026 07:01                9672
coq-reglang_1.2.2-5.dsc                            12-Aug-2026 07:01                2148
coq-reglang_1.2.2.orig.tar.gz                      30-Oct-2025 07:18               69740
libcoq-reglang_1.1.3-2+b3_armhf.deb                22-May-2023 04:08              724296