Publishing details

• Published on 2015-12-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

clasp (3.1.4-1) unstable; urgency=medium

  * Imported Upstream version 3.1.4
  * Remove g++5 patch introduced in clasp 3.1.3-2
  * Fix dep5-copyright-license-name-not-unique

 -- Thomas Krennwallner <email address hidden>  Sun, 20 Dec 2015 12:06:30 +0100

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Built packages

• clasp conflict-driven nogood learning answer set solver

• clasp-dbgsym debug symbols for package clasp

Package files

• clasp-dbgsym_3.1.4-1_amd64.ddeb (2.8 MiB)
• clasp-dbgsym_3.1.4-1_arm64.ddeb (2.5 MiB)
• clasp-dbgsym_3.1.4-1_armhf.ddeb (2.5 MiB)
• clasp-dbgsym_3.1.4-1_i386.ddeb (2.5 MiB)
• clasp-dbgsym_3.1.4-1_powerpc.ddeb (2.4 MiB)
• clasp-dbgsym_3.1.4-1_ppc64el.ddeb (2.8 MiB)
• clasp-dbgsym_3.1.4-1_s390x.ddeb (2.4 MiB)
• clasp_3.1.4-1.debian.tar.xz (6.5 KiB)
• clasp_3.1.4-1.dsc (2.0 KiB)
• clasp_3.1.4-1_amd64.deb (440.2 KiB)
• clasp_3.1.4-1_arm64.deb (373.7 KiB)
• clasp_3.1.4-1_armhf.deb (352.8 KiB)
• clasp_3.1.4-1_i386.deb (449.2 KiB)
• clasp_3.1.4-1_powerpc.deb (400.9 KiB)
• clasp_3.1.4-1_ppc64el.deb (432.2 KiB)
• clasp_3.1.4-1_s390x.deb (387.9 KiB)
• clasp_3.1.4.orig.tar.gz (508.8 KiB)