Directory: /rockos/20241030/rockos-base/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.19.1+dfsg-3+b2_riscv64.deb83.6 MiB2024-Aug-26 12:17
coq_8.19.1+dfsg-3.debian.tar.xz32.1 KiB2024-Aug-26 14:31
coq_8.19.1+dfsg-3.dsc2.3 KiB2024-Aug-26 14:31
coq_8.19.1+dfsg.orig.tar.bz25.3 MiB2024-May-15 10:46
coqide_8.19.1+dfsg-3+b2_riscv64.deb2.1 MiB2024-Aug-26 13:26
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb68.5 MiB2024-Aug-26 12:02
libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb24.0 MiB2024-Aug-26 13:39
libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb22.6 MiB2024-Aug-26 14:35