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

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]coq-reglang_1.1.3-2.debian.tar.xz26-Jan-2023 13:44 8.2K
[   ]coq-reglang_1.1.3-2.dsc26-Jan-2023 13:44 2.1K
[   ]coq-reglang_1.1.3.orig.tar.gz15-Jul-2022 23:06 65K
[   ]coq-reglang_1.2.1-1.debian.tar.xz20-Jan-2024 21:13 8.3K
[   ]coq-reglang_1.2.1-1.dsc20-Jan-2024 21:13 2.1K
[   ]coq-reglang_1.2.1.orig.tar.gz20-Jan-2024 21:13 68K
[   ]libcoq-reglang_1.1.3-2+b1_amd64.deb13-Feb-2023 08:28 708K
[   ]libcoq-reglang_1.1.3-2+b1_arm64.deb13-Feb-2023 08:28 707K
[   ]libcoq-reglang_1.1.3-2+b1_armhf.deb13-Feb-2023 08:28 707K
[   ]libcoq-reglang_1.1.3-2+b1_i386.deb13-Feb-2023 08:39 707K
[   ]libcoq-reglang_1.2.1-1+b1_amd64.deb16-Feb-2024 16:04 707K
[   ]libcoq-reglang_1.2.1-1+b1_arm64.deb16-Feb-2024 18:36 707K
[   ]libcoq-reglang_1.2.1-1+b1_armhf.deb16-Feb-2024 15:09 707K
[   ]libcoq-reglang_1.2.1-1+b1_i386.deb16-Feb-2024 15:59 707K
[   ]libcoq-reglang_1.2.1-1+b1_riscv64.deb18-Feb-2024 02:49 707K
[   ]libcoq-reglang_1.2.1-1+b2_amd64.deb20-Mar-2024 05:55 707K
[   ]libcoq-reglang_1.2.1-1+b2_arm64.deb20-Mar-2024 06:32 707K
[   ]libcoq-reglang_1.2.1-1+b2_i386.deb20-Mar-2024 04:26 707K