Publishing details

Published on 2017-11-05
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

aspcud (1:1.9.4-1) unstable; urgency=medium

  * New upstream release
    - drop patches lemon-gcc7 and check-criteria which are already applied
      in this upstream version.
  * debian/watch: new upstream repo at github
  * debian/copyright:
    - license changed to MIT
    - separate files under GPL3 are no longer part of the release
    - add public-domain for file .ycm_extra_conf.py
    - update source address
    - update copyright year
    - use https in url of format spec
  * drop debian/aspcud.manpages which is no longer needed.
  * Standards-version 4.1.0 (no change)

 -- Ralf Treinen <email address hidden>  Sun, 24 Sep 2017 12:39:48 +0200

Available diffs

diff from 1:1.9.1-2 to 1:1.9.4-1 (257.2 KiB)

Builds

Built packages

aspcud CUDF solver based on Answer Set Programming

aspcud-dbgsym debug symbols for aspcud

Package files

aspcud-dbgsym_1.9.4-1_amd64.ddeb (1.8 MiB)
aspcud-dbgsym_1.9.4-1_arm64.ddeb (1.7 MiB)
aspcud-dbgsym_1.9.4-1_armhf.ddeb (1.7 MiB)
aspcud-dbgsym_1.9.4-1_i386.ddeb (1.7 MiB)
aspcud-dbgsym_1.9.4-1_ppc64el.ddeb (1.8 MiB)
aspcud-dbgsym_1.9.4-1_s390x.ddeb (1.8 MiB)
aspcud_1.9.4-1.debian.tar.xz (5.4 KiB)
aspcud_1.9.4-1.dsc (1.9 KiB)
aspcud_1.9.4-1_amd64.deb (133.4 KiB)
aspcud_1.9.4-1_arm64.deb (120.3 KiB)
aspcud_1.9.4-1_armhf.deb (112.8 KiB)
aspcud_1.9.4-1_i386.deb (136.3 KiB)
aspcud_1.9.4-1_ppc64el.deb (138.5 KiB)
aspcud_1.9.4-1_s390x.deb (122.5 KiB)
aspcud_1.9.4.orig.tar.gz (66.8 MiB)