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

../
coq_8.19.1+dfsg-3+b2_riscv64.deb                   26-Aug-2024 12:17     84M
coq_8.19.1+dfsg-3.debian.tar.xz                    26-Aug-2024 14:31     32K
coq_8.19.1+dfsg-3.dsc                              26-Aug-2024 14:31    2341
coq_8.19.1+dfsg.orig.tar.bz2                       15-May-2024 10:46      5M
coqide_8.19.1+dfsg-3+b2_riscv64.deb                26-Aug-2024 13:26      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb 26-Aug-2024 12:02     69M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb     26-Aug-2024 13:39     24M
libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb         26-Aug-2024 14:35     23M