Publishing details

• Published on 2024-03-27

Changelog

prover9-manual (0.0.200902a-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Thu, 28 Mar 2024 03:26:18 +0800

Builds

• amd64

Built packages

• prover9-doc documentation for Prover9 and associated programs

Package files

• prover9-doc_0.0.200902a-ok1_all.deb (836.2 KiB)
• prover9-manual_0.0.200902a-ok1.debian.tar.xz (3.9 KiB)
• prover9-manual_0.0.200902a-ok1.dsc (1.8 KiB)
• prover9-manual_0.0.200902a.orig.tar.gz (1010.2 KiB)