Index of /pub/distribucions/trisquel/packages/pool/main/c/coq-reglang/

../
coq-reglang_1.2.1-1build2.debian.tar.xz            17-Feb-2024 00:37                8632
coq-reglang_1.2.1-1build2.dsc                      17-Feb-2024 00:37                2116
coq-reglang_1.2.1-1build5.debian.tar.xz            08-Apr-2024 07:57                8768
coq-reglang_1.2.1-1build5.dsc                      08-Apr-2024 07:57                2195
coq-reglang_1.2.1-4build21.debian.tar.xz           07-Mar-2026 19:00                9120
coq-reglang_1.2.1-4build21.dsc                     07-Mar-2026 19:00                2120
coq-reglang_1.2.1.orig.tar.gz                      21-Jan-2024 05:45               69424
libcoq-reglang_1.2.1-1build2_amd64.deb             17-Feb-2024 15:52              824132
libcoq-reglang_1.2.1-1build2_arm64.deb             30-Mar-2024 00:45              824102
libcoq-reglang_1.2.1-1build2_armhf.deb             30-Mar-2024 00:53              824064
libcoq-reglang_1.2.1-1build2_ppc64el.deb           17-Feb-2024 15:52              824146
libcoq-reglang_1.2.1-1build2_riscv64.deb           30-Mar-2024 01:18              824146
libcoq-reglang_1.2.1-1build5_amd64.deb             08-Apr-2024 14:36              824300
libcoq-reglang_1.2.1-1build5_arm64.deb             08-Apr-2024 14:36              824260
libcoq-reglang_1.2.1-1build5_armhf.deb             08-Apr-2024 14:36              824232
libcoq-reglang_1.2.1-1build5_ppc64el.deb           08-Apr-2024 14:36              824292
libcoq-reglang_1.2.1-1build5_riscv64.deb           09-Apr-2024 05:15              824264
libcoq-reglang_1.2.1-4build21_amd64.deb            07-Mar-2026 19:01              993680
libcoq-reglang_1.2.1-4build21_arm64.deb            07-Mar-2026 19:03              993766
libcoq-reglang_1.2.1-4build21_ppc64el.deb          07-Mar-2026 19:04              993724
libcoq-reglang_1.2.1-4build21_riscv64.deb          07-Mar-2026 20:20              993682