Index of /ubuntu-ports/pool/universe/c/coq-reglang/
../
coq-reglang_1.2.1-1build5.debian.tar.xz 08-Apr-2024 08:57 8768
coq-reglang_1.2.1-1build5.dsc 08-Apr-2024 08:57 2195
coq-reglang_1.2.1-4build12.debian.tar.xz 19-Feb-2025 08:52 8944
coq-reglang_1.2.1-4build12.dsc 19-Feb-2025 08:52 2120
coq-reglang_1.2.1-4build5.debian.tar.xz 17-Sep-2024 16:51 8792
coq-reglang_1.2.1-4build5.dsc 17-Sep-2024 16:51 2116
coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 06:45 69424
libcoq-reglang_1.2.1-1build5_arm64.deb 08-Apr-2024 15:36 824260
libcoq-reglang_1.2.1-1build5_armhf.deb 08-Apr-2024 15:36 824232
libcoq-reglang_1.2.1-1build5_ppc64el.deb 08-Apr-2024 15:36 824292
libcoq-reglang_1.2.1-1build5_riscv64.deb 09-Apr-2024 06:15 824264
libcoq-reglang_1.2.1-1build5_s390x.deb 08-Apr-2024 15:36 824260
libcoq-reglang_1.2.1-4build12_arm64.deb 20-Feb-2025 16:13 995150
libcoq-reglang_1.2.1-4build12_ppc64el.deb 20-Feb-2025 05:20 994448
libcoq-reglang_1.2.1-4build12_riscv64.deb 20-Feb-2025 21:16 994312
libcoq-reglang_1.2.1-4build12_s390x.deb 20-Feb-2025 05:21 994402
libcoq-reglang_1.2.1-4build5_arm64.deb 20-Sep-2024 00:39 970422
libcoq-reglang_1.2.1-4build5_ppc64el.deb 20-Sep-2024 12:41 970450
libcoq-reglang_1.2.1-4build5_riscv64.deb 20-Sep-2024 11:37 970398
libcoq-reglang_1.2.1-4build5_s390x.deb 20-Sep-2024 00:39 970408