Publishing details

• Published on 2023-04-25
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

aspcud (1:1.9.6-2) unstable; urgency=medium

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Submit.

  [ Ralf Treinen ]
  * Fix cross compilation. Thanks to Helmut Grohne for the patch
    (closes: #1023488).
  * Fix watch file

 -- Ralf Treinen <email address hidden>  Wed, 16 Nov 2022 21:41:13 +0100

Builds

Built packages

• aspcud CUDF solver based on Answer Set Programming

• aspcud-dbgsym debug symbols for aspcud

Package files

• aspcud-dbgsym_1.9.6-2_amd64.ddeb (1.7 MiB)
• aspcud-dbgsym_1.9.6-2_arm64.ddeb (1.6 MiB)
• aspcud-dbgsym_1.9.6-2_armhf.ddeb (1.9 MiB)
• aspcud-dbgsym_1.9.6-2_ppc64el.ddeb (1.7 MiB)
• aspcud-dbgsym_1.9.6-2_riscv64.ddeb (1.6 MiB)
• aspcud-dbgsym_1.9.6-2_s390x.ddeb (1.6 MiB)
• aspcud_1.9.6-2.debian.tar.xz (5.8 KiB)
• aspcud_1.9.6-2.dsc (1.9 KiB)
• aspcud_1.9.6-2_amd64.deb (117.8 KiB)
• aspcud_1.9.6-2_arm64.deb (109.9 KiB)
• aspcud_1.9.6-2_armhf.deb (115.5 KiB)
• aspcud_1.9.6-2_ppc64el.deb (131.1 KiB)
• aspcud_1.9.6-2_riscv64.deb (124.0 KiB)
• aspcud_1.9.6-2_s390x.deb (111.1 KiB)
• aspcud_1.9.6.orig.tar.gz (66.8 MiB)