Publishing details

• Published on 2024-06-18

Changelog

clingo (5.7.2-bionic2) bionic; urgency=medium

  * build for git revision e918de81ef6484df78651a54b12873b101f9816e

 -- Roland Kaminski <email address hidden>  Tue, 18 Jun 2024 12:47:14 +0000

Builds

• amd64
• i386

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-bionic2.dsc (1.6 KiB)
• clingo_5.7.2-bionic2.tar.xz (1.9 MiB)
• clingo_5.7.2-bionic2_amd64.deb (685.7 KiB)
• clingo_5.7.2-bionic2_i386.deb (747.9 KiB)
• libclingo-dev_5.7.2-bionic2_amd64.deb (51.8 KiB)
• libclingo-dev_5.7.2-bionic2_i386.deb (51.8 KiB)
• libclingo_5.7.2-bionic2_amd64.deb (1.2 MiB)
• libclingo_5.7.2-bionic2_i386.deb (1.3 MiB)
• python3-clingo_5.7.2-bionic2_amd64.deb (97.8 KiB)
• python3-clingo_5.7.2-bionic2_i386.deb (88.6 KiB)