Publishing details

• Published on 2024-03-27

Changelog

minlog (4.0.99.20100221-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Wed, 27 Mar 2024 09:53:22 +0800

Builds

• amd64

Built packages

• minlog Proof assistant based on first order natural deduction calculus

Package files

• minlog_4.0.99.20100221-ok1.debian.tar.xz (3.5 KiB)
• minlog_4.0.99.20100221-ok1.dsc (1.7 KiB)
• minlog_4.0.99.20100221-ok1_all.deb (2.5 MiB)
• minlog_4.0.99.20100221.orig.tar.gz (1.1 MiB)