Loongnix操作系统源

访问地址 http://pkg.loongnix.cn

Directory: /loongnix/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.9.0-1.1.debian.tar.xz27.2 KiB2023-03-21 02:33
coq_8.9.0-1.1.dsc1.5 KiB2023-03-21 02:33
coq_8.9.0.orig.tar.gz5.1 MiB2023-03-21 02:33
coq-theories_8.9.0-1.1_loongarch64.deb19.4 MiB2023-02-21 06:53
libcoq-ocaml-dbgsym_8.9.0-1.1_loongarch64.deb30.1 KiB2023-02-21 06:53
libcoq-ocaml-dev_8.9.0-1.1_loongarch64.deb7.6 MiB2023-02-21 06:53
libcoq-ocaml_8.9.0-1.1_loongarch64.deb3.4 MiB2023-02-21 06:53
coq_8.9.0-1.1_loongarch64.deb47.7 MiB2023-02-21 06:53