Publishing details

• Published on 2025-11-04

Changelog

coq-serapi (8.20.0+0.20.0-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 04 Nov 2025 13:20:19 +0000

Builds

• amd64

Package files

• coq-serapi_8.20.0+0.20.0-ok1.debian.tar.xz (8.9 KiB)
• coq-serapi_8.20.0+0.20.0-ok1.dsc (2.2 KiB)
• coq-serapi_8.20.0+0.20.0.orig.tar.gz (178.2 KiB)