Publishing details

• Published on 2024-03-29

Changelog

coq-doc (8.17.1-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Fri, 29 Mar 2024 12:33:13 +0800

Builds

• amd64

Package files

• coq-doc_8.17.1-ok1.debian.tar.xz (5.8 KiB)
• coq-doc_8.17.1-ok1.dsc (2.3 KiB)
• coq-doc_8.17.1.orig.tar.gz (7.2 MiB)