Publishing details

• Published on 2019-09-05

Changelog

clasp (3.3.5-ppa1~bionic) bionic; urgency=medium

  * New upstream release: version 3.3.5

 -- <email address hidden> (Peter J. Mello)  Thu, 05 Sep 2019 01:58:44 -0700

Builds

• amd64
• arm64
• armhf
• i386

Built packages

• clasp conflict-driven nogood learning answer set solver

• clasp-dbgsym debug symbols for clasp

Package files

• clasp-dbgsym_3.3.5-ppa1~bionic_amd64.ddeb (5.8 MiB)
• clasp-dbgsym_3.3.5-ppa1~bionic_arm64.ddeb (5.7 MiB)
• clasp-dbgsym_3.3.5-ppa1~bionic_armhf.ddeb (5.6 MiB)
• clasp-dbgsym_3.3.5-ppa1~bionic_i386.ddeb (5.6 MiB)
• clasp_3.3.5-ppa1~bionic.debian.tar.xz (7.6 KiB)
• clasp_3.3.5-ppa1~bionic.dsc (1.7 KiB)
• clasp_3.3.5-ppa1~bionic_amd64.deb (612.5 KiB)
• clasp_3.3.5-ppa1~bionic_arm64.deb (563.3 KiB)
• clasp_3.3.5-ppa1~bionic_armhf.deb (536.8 KiB)
• clasp_3.3.5-ppa1~bionic_i386.deb (677.1 KiB)
• clasp_3.3.5.orig.tar.xz (545.0 KiB)