Publishing details

• Published on 2024-06-23

Changelog

clingo-dl (1.5.0-noble2) noble; urgency=medium

  * build for git revision a4e5321467a5b40070be70abd09737356c822ca1

 -- Roland Kaminski <email address hidden>  Sun, 23 Jun 2024 10:42:21 +0200

Builds

• amd64

Built packages

• clingo-dl A solver for logic programs with linear constraints

• libclingo-dl A solver for logic programs with linear constraints

• libclingo-dl-dev A solver for logic programs with linear constraints

• python3-clingo-dl A solver for logic programs with linear constraints

Package files

• clingo-dl_1.5.0-noble2.dsc (1.6 KiB)
• clingo-dl_1.5.0-noble2.tar.xz (53.8 KiB)
• clingo-dl_1.5.0-noble2_amd64.deb (22.4 KiB)
• libclingo-dl-dev_1.5.0-noble2_amd64.deb (6.1 KiB)
• libclingo-dl_1.5.0-noble2_amd64.deb (99.7 KiB)
• python3-clingo-dl_1.5.0-noble2_amd64.deb (11.3 KiB)