Publishing details

• Published on 2023-10-24
• Copied from anything by xiewei
• Originally uploaded to openkylin yangtze in Primary Archive for openKylin

Changelog

gringo (5.4.0-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• arm64
• i386

Built packages

• gringo grounding tools for (disjunctive) logic programs

Package files

• gringo_5.4.0-ok1.debian.tar.xz (11.5 KiB)
• gringo_5.4.0-ok1.dsc (1.9 KiB)
• gringo_5.4.0-ok1_amd64.deb (2.3 MiB)
• gringo_5.4.0-ok1_riscv64.deb (2.3 MiB)
• gringo_5.4.0.orig.tar.gz (2.7 MiB)