Index of /pool/universe/c/coq-reglang

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq-reglang_1.1.3-2build2.debian.tar.xz2023-02-16 18:50 8.3K
[TXT]coq-reglang_1.1.3-2build2.dsc2023-02-16 18:50 2.1K
[ ]coq-reglang_1.1.3.orig.tar.gz2022-07-18 23:48 65K
[ ]coq-reglang_1.2.1-1build5.debian.tar.xz2024-04-08 07:57 8.6K
[TXT]coq-reglang_1.2.1-1build5.dsc2024-04-08 07:57 2.1K
[ ]coq-reglang_1.2.1-4build5.debian.tar.xz2024-09-17 15:51 8.6K
[TXT]coq-reglang_1.2.1-4build5.dsc2024-09-17 15:51 2.1K
[ ]coq-reglang_1.2.1-4build6.debian.tar.xz2024-11-19 21:41 8.6K
[TXT]coq-reglang_1.2.1-4build6.dsc2024-11-19 21:41 2.1K
[ ]coq-reglang_1.2.1-4build7.debian.tar.xz2024-11-21 07:16 8.6K
[TXT]coq-reglang_1.2.1-4build7.dsc2024-11-21 07:16 2.1K
[ ]coq-reglang_1.2.1.orig.tar.gz2024-01-21 05:45 68K
[ ]libcoq-reglang_1.1.3-2build2_arm64.deb2023-02-16 18:50 805K
[ ]libcoq-reglang_1.1.3-2build2_armhf.deb2023-02-16 18:50 805K
[ ]libcoq-reglang_1.1.3-2build2_ppc64el.deb2023-02-16 18:50 805K
[ ]libcoq-reglang_1.1.3-2build2_riscv64.deb2023-02-17 02:34 805K
[ ]libcoq-reglang_1.1.3-2build2_s390x.deb2023-02-16 19:44 805K
[ ]libcoq-reglang_1.2.1-1build5_arm64.deb2024-04-08 14:36 805K
[ ]libcoq-reglang_1.2.1-1build5_armhf.deb2024-04-08 14:36 805K
[ ]libcoq-reglang_1.2.1-1build5_ppc64el.deb2024-04-08 14:36 805K
[ ]libcoq-reglang_1.2.1-1build5_riscv64.deb2024-04-09 05:15 805K
[ ]libcoq-reglang_1.2.1-1build5_s390x.deb2024-04-08 14:36 805K
[ ]libcoq-reglang_1.2.1-4build5_arm64.deb2024-09-19 23:39 948K
[ ]libcoq-reglang_1.2.1-4build5_ppc64el.deb2024-09-20 11:41 948K
[ ]libcoq-reglang_1.2.1-4build5_riscv64.deb2024-09-20 10:37 948K
[ ]libcoq-reglang_1.2.1-4build5_s390x.deb2024-09-19 23:39 948K
[ ]libcoq-reglang_1.2.1-4build6_arm64.deb2024-11-20 07:47 948K
[ ]libcoq-reglang_1.2.1-4build6_ppc64el.deb2024-11-20 07:47 948K
[ ]libcoq-reglang_1.2.1-4build6_riscv64.deb2024-11-20 10:29 948K
[ ]libcoq-reglang_1.2.1-4build6_s390x.deb2024-11-20 07:47 948K
[ ]libcoq-reglang_1.2.1-4build7_arm64.deb2024-11-21 14:01 936K
[ ]libcoq-reglang_1.2.1-4build7_ppc64el.deb2024-11-21 14:01 936K
[ ]libcoq-reglang_1.2.1-4build7_s390x.deb2024-11-21 14:01 936K
Apache/2.4.52 (Ubuntu) Server at ports.ubuntu.moon127.net Port 80