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

../
coq_8.19.1+dfsg-1.debian.tar.xz                    15-May-2024 10:46     32K
coq_8.19.1+dfsg-1.dsc                              15-May-2024 10:46    2573
coq_8.19.1+dfsg-1_riscv64.deb                      27-Apr-2024 12:30     78M
coq_8.19.1+dfsg.orig.tar.bz2                       15-May-2024 10:46      5M
coqide_8.19.1+dfsg-1_riscv64.deb                   27-Apr-2024 12:29      2M
libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb    27-Apr-2024 12:30     47M
libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb        27-Apr-2024 12:29     22M
libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb            27-Apr-2024 12:29     23M