Index of /pool/main/c/coq/

../
coq-dbgsym_8.16.1+dfsg-1_riscv64.deb               01-Jul-2026 19:00            12756900
coq_8.16.1+dfsg-1.debian.tar.xz                    08-May-2024 13:34               33236
coq_8.16.1+dfsg-1.dsc                              08-May-2024 13:34                2629
coq_8.16.1+dfsg-1_riscv64.buildinfo                01-Jul-2026 19:00               15992
coq_8.16.1+dfsg-1_riscv64.deb                      01-Jul-2026 19:00            90748728
coq_8.16.1+dfsg.orig.tar.xz                        08-May-2024 13:34             4717668
coqide-dbgsym_8.16.1+dfsg-1_riscv64.deb            01-Jul-2026 19:00              657292
coqide_8.16.1+dfsg-1_riscv64.deb                   01-Jul-2026 19:00             1908072
libcoq-core-ocaml-dbgsym_8.16.1+dfsg-1_riscv64.deb 01-Jul-2026 19:00             1805852
libcoq-core-ocaml-dev_8.16.1+dfsg-1_riscv64.deb    01-Jul-2026 19:00            46561980
libcoq-core-ocaml_8.16.1+dfsg-1_riscv64.deb        01-Jul-2026 19:00            22259552
libcoq-stdlib_8.16.1+dfsg-1_riscv64.deb            01-Jul-2026 19:00            21528636