Publishing details

• Published on 2024-03-25

Changelog

coq (8.18.0+dfsg-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Mar 2024 22:32:16 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

Built packages

• coq proof assistant for higher-order logic (toplevel and compiler)

• coqide proof assistant for higher-order logic (gtk interface)

• libcoq-core-ocaml runtime libraries for Coq

• libcoq-core-ocaml-dev development libraries and tools for Coq

• libcoq-stdlib proof assistant for higher-order logic (theories)

Package files

• coq_8.18.0+dfsg-ok1.debian.tar.xz (23.0 KiB)
• coq_8.18.0+dfsg-ok1.dsc (2.3 KiB)
• coq_8.18.0+dfsg-ok1_amd64.deb (72.4 MiB)
• coq_8.18.0+dfsg-ok1_arm64.deb (79.9 MiB)
• coq_8.18.0+dfsg-ok1_loong64.deb (79.8 MiB)
• coq_8.18.0+dfsg-ok1_riscv64.deb (75.4 MiB)
• coq_8.18.0+dfsg.orig.tar.xz (4.6 MiB)
• coqide_8.18.0+dfsg-ok1_amd64.deb (1.7 MiB)
• coqide_8.18.0+dfsg-ok1_arm64.deb (2.0 MiB)
• coqide_8.18.0+dfsg-ok1_loong64.deb (2.1 MiB)
• coqide_8.18.0+dfsg-ok1_riscv64.deb (1.8 MiB)
• libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_amd64.deb (42.4 MiB)
• libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_arm64.deb (42.4 MiB)
• libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_loong64.deb (46.7 MiB)
• libcoq-core-ocaml-dev_8.18.0+dfsg-ok1_riscv64.deb (46.5 MiB)
• libcoq-core-ocaml_8.18.0+dfsg-ok1_amd64.deb (22.1 MiB)
• libcoq-core-ocaml_8.18.0+dfsg-ok1_arm64.deb (22.9 MiB)
• libcoq-core-ocaml_8.18.0+dfsg-ok1_loong64.deb (22.6 MiB)
• libcoq-core-ocaml_8.18.0+dfsg-ok1_riscv64.deb (22.1 MiB)
• libcoq-stdlib_8.18.0+dfsg-ok1_amd64.deb (22.2 MiB)
• libcoq-stdlib_8.18.0+dfsg-ok1_arm64.deb (22.2 MiB)
• libcoq-stdlib_8.18.0+dfsg-ok1_loong64.deb (22.2 MiB)
• libcoq-stdlib_8.18.0+dfsg-ok1_riscv64.deb (22.2 MiB)