Publishing details

• Published on 2024-06-23

Changelog

clingo (5.7.2-noble2) noble; urgency=medium

  * build for git revision bafbb2ee5bfcf88c920c49ef9d4e18af13b1bc1c

 -- Roland Kaminski <email address hidden>  Sun, 23 Jun 2024 09:22:57 +0200

Builds

• amd64

Built packages

• clingo A solver for logic programs

• libclingo A solver for logic programs

• libclingo-dev A solver for logic programs

• python3-clingo A solver for logic programs

Package files

• clingo_5.7.2-noble2.dsc (1.6 KiB)
• clingo_5.7.2-noble2.tar.xz (1.9 MiB)
• clingo_5.7.2-noble2_amd64.deb (662.1 KiB)
• libclingo-dev_5.7.2-noble2_amd64.deb (52.8 KiB)
• libclingo_5.7.2-noble2_amd64.deb (1.2 MiB)
• python3-clingo_5.7.2-noble2_amd64.deb (104.2 KiB)