Index of /rockos/trixie/rockos-base/pool/main/c/coq/

../
coq-dbgsym_8.20.1+dfsg-1+b1_amd64.deb              21-Jun-2025 16:57      8M
coq-dbgsym_8.20.1+dfsg-1+b1_riscv64.deb            21-Jun-2025 16:50      8M
coq_8.20.1+dfsg-1+b1_amd64.deb                     21-Jun-2025 16:40     67M
coq_8.20.1+dfsg-1+b1_riscv64.deb                   21-Jun-2025 16:48     68M
coq_8.20.1+dfsg-1.debian.tar.xz                    23-May-2025 00:15     30K
coq_8.20.1+dfsg-1.dsc                              23-May-2025 00:15    2582
coq_8.20.1+dfsg.orig.tar.xz                        23-May-2025 00:15      5M
coqide-dbgsym_8.20.1+dfsg-1+b1_amd64.deb           21-Jun-2025 16:54    625K
coqide-dbgsym_8.20.1+dfsg-1+b1_riscv64.deb         21-Jun-2025 16:52    589K
coqide_8.20.1+dfsg-1+b1_amd64.deb                  21-Jun-2025 16:35      2M
coqide_8.20.1+dfsg-1+b1_riscv64.deb                21-Jun-2025 16:35      2M
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+b1_amd64..> 21-Jun-2025 16:57      2M
libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+b1_riscv..> 21-Jun-2025 16:57      2M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb   21-Jun-2025 16:43     66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 21-Jun-2025 16:46     70M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb       21-Jun-2025 16:41     25M
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb     21-Jun-2025 16:39     25M
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb           21-Jun-2025 16:39     22M
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb         21-Jun-2025 16:39     22M