Publishing details

• Published on 2026-05-09

Changelog

coq-doc (8.20.0-ok1) huanghe; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Sun, 10 May 2026 00:55:26 +0800

Builds

• amd64

Package files

• coq-doc_8.20.0-ok1.debian.tar.xz (6.6 KiB)
• coq-doc_8.20.0-ok1.dsc (2.3 KiB)
• coq-doc_8.20.0.orig.tar.gz (7.5 MiB)