Publishing details

• Published on 2024-03-27

Changelog

proofgeneral (4.5-ok1) nile; urgency=medium

  * Build for openKylin.

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

Builds

• amd64

Built packages

• proofgeneral generic frontend for proof assistants

• proofgeneral-doc generic frontend for proof assistants - documentation

Package files

• proofgeneral-doc_4.5-ok1_all.deb (648.3 KiB)
• proofgeneral_4.5-ok1.debian.tar.xz (12.8 KiB)
• proofgeneral_4.5-ok1.dsc (1.8 KiB)
• proofgeneral_4.5-ok1_all.deb (564.1 KiB)
• proofgeneral_4.5.orig.tar.gz (1.1 MiB)