Accepted clasp 1.3.6-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 17:56:39 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 1.3.6-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.1-2 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Closes: 631270 Changes: clasp (2.0.1-2) unstable; urgency=low . * control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers

Accepted clasp 1.3.7-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 28 Feb 2011 17:44:55 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 1.3.7-2 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted gringo 3.0.3-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 18:01:28 +0100 Source: gringo Binary: gringo clingo iclingo Architecture: source amd64 Version: 3.0.3-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas

Accepted gringo 3.0.3-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Feb 2011 09:38:26 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 3.0.3-4 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted coala 1.0.1-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 18:02:12 +0100 Source: coala Binary: coala Architecture: source amd64 Version: 1.0.1-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 27 Apr 2011 10:50:10 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.1-1 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted runlim 1.4-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Feb 2011 05:59:53 +0100 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.4-4 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.0-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 21 Apr 2011 20:24:41 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.0-2 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.0-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 23 Apr 2011 12:30:18 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.0-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.2-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.2-1) unstable; urgency=low . * New upstream release. * patches/clasp-ld-as-needed.patch: Remove. Checksums-Sha1

Accepted runlim 1.7-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 08 Jul 2011 22:55:05 +0200 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.7-1 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted clasp 2.0.3-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.3-1) unstable; urgency=low . * New upstream release. * copyright: Fix year. Checksums-Sha1: bd3a2fb590d217280c5d6642919eef9065aedca7 1944

Accepted clasp 2.0.3-2 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Closes: 636772 Changes: clasp (2.0.3-2) unstable; urgency=low . * Bug fixed with new upstream release: Segfaults with --pre argument upon certain input

Accepted depqbf 0.1-1 (source i386)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Closes: 639363 Changes: depqbf (0.1-1) unstable; urgency=low . * Initial release (Closes: #639363) Checksums-Sha1: 1e0bfb9a62eeb89e467c500c621a92923674bfe2 1255 depqbf_0.1-1

Accepted coala 1.0.1-5 (source i386)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: coala - translates action languages into answer set programs Changes: coala (1.0.1-5) unstable; urgency=low . * control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders

Accepted gringo 3.0.3-6 (source i386)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (3.0.3-6) unstable; urgency=low . * control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders

Accepted clasp 2.0.3-3 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.3-3) unstable; urgency=low . * debian/control: Do not Build-Depends on libtbb-dev with i386, see http://bugs.debian.org/cgi-bin

Accepted clasp 2.0.3-4 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.3-4) unstable; urgency=low . * debian/control: Build-Depends on libtbb-dev = 3.0+r018, version 2.2 is not supported. Checksums-Sha1

Accepted clasp 2.0.4-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.4-1) unstable; urgency=low . * New upstream release. * debian/rules: Override all standard targets. * debian/patches/clasp

Accepted clasp 2.0.5-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.5-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: cd688450e97c91c40d876ec6efbc56e6f1fe0732 1996 clasp_2.0.5-1.dsc

Accepted gringo 3.0.3-7 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Closes: 652787 Changes: gringo (3.0.3-7) unstable; urgency=low . * debian/copyright: Fix comma-separated-files-in-dep5-copyright, obsolete-field-in-dep5

Accepted gringo 3.0.4-1 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (3.0.4-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: f9900c946ab8fd71fde15fc17ff7f0ff5929af9e 2041 gringo_3.0.4-1.dsc

Accepted gringo 3.0.4-3 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Closes: 672933 Changes: gringo (3.0.4-3) unstable; urgency=low . * Bug fix: please build-depend on unversionend boost libraries, thanks to Ralf Treinen

Accepted clasp 2.0.6-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.6-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.3. Checksums-Sha1

Accepted gringo 3.0.4-2 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Closes: 667193 Changes: gringo (3.0.4-2) unstable; urgency=low . * debian/patches/gringo-clang-gcc.patch: New file originally from https

Accepted clasp 2.1.5-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.5-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.5. Checksums-Sha1

Accepted clasp 3.0.0-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.0-1) unstable; urgency=low . * New upstream release. * debian/rules: Call configure.sh without --with-claspre. Checksums-Sha1

Accepted depqbf 3.0-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (3.0-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.5. * debian/patches/depqbf-makefile.patch

Accepted gringo 4.2.1-4 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Closes: 735005 Changes: gringo (4.2.1-4) unstable; urgency=low . * Bug fix: add ppc64el to architecture list for libtbb-dev to fix FTBFS, thanks to Logan

Accepted clasp 2.1.0-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.0-1) unstable; urgency=low . * New upstream release. * debian/copyright: Fix Format URL. * debian/rules: Add hardening support

Accepted depqbf 1.0-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (1.0-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version and update Homepage and Description, Build-Depends

Accepted gringo 3.0.4-4 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (3.0.4-4) unstable; urgency=low . * Apply upstream patches from subversion r6200 and r6237 for fixing potassco bugs 75 and 76, resp

Accepted clasp 2.1.1-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.1-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.4 and Build-Depends on libtbb-dev

Accepted clasp 2.1.3-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.3-1) unstable; urgency=low . * New upstream release. * debian/copyright: Update copyright years. * debian/control: Remove DM-Upload

Accepted gringo 3.0.5-1 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (3.0.5-1) unstable; urgency=low . * New upstream release. * debian/copyright: Update copyright years. * debian/compat: Bump to version 9

Accepted depqbf 2.0-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (2.0-1) unstable; urgency=low . * New upstream release. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/compat: Bump version

Accepted clasp 3.0.5-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.5-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 08f73c1871311f7c6aeb28cbe867c299bf446a76 1992 clasp_3.0.5-1.dsc

Accepted clasp 2.1.4-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.4-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 701844f3bf7bd9cf91eef41b086060093cc7080d 1992 clasp_2.1.4-1.dsc

Accepted clasp 3.0.2-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.2-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: f65126bb23389fe9096e321902835eb8a30c96f1 1975 clasp_3.0.2-1.dsc

Accepted gringo 4.3.0-1 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.3.0-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 2bec941fc57eba8c8b25ff947298087b48cec09a 2044 gringo_4.3.0-1.dsc

Accepted clasp 3.0.1-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Closes: 739628 Changes: clasp (3.0.1-1) unstable; urgency=low . * New upstream release. * Bug fix: 3.0 cannot solve some problems solved by 2.1.4, thanks

Accepted gringo 4.2.1-1 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.2.1-1) unstable; urgency=low . gringo 4.2 adds support for {i,o,}clingo again. . * New upstream release. * debian/watch: Back

Accepted gringo 4.2.1-2 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.2.1-2) unstable; urgency=low . * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now g++-4.8 = 4.8.0. * debian/rules

Accepted runlim 1.7-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 17 Dec 2013 07:46:39 +0100 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.7-2 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner tk...@kr.tuwien.ac.at Changed-By: Thomas Krennwallner tk

Accepted gringo 4.2.1-3 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.2.1-3) unstable; urgency=low . * debian/control: Breaks aspcud = 2012.10.24-6 after discussion with upstream. Remove spurious Build

Accepted gringo 4.3.0-2 (source amd64)

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Closes: 751317 Changes: gringo (4.3.0-2) unstable; urgency=low . * Bug fix: non-standard gcc/g++ used for build (gcc-4.8), thanks to Matthias Klose (Closes

Accepted clasp 3.0.6-1 (source amd64) into unstable

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.6-1) unstable; urgency=low . * New upstream release. * debian/control: Fix Vcs fields to use anonscm.debian.org. Checksums-Sha1

Accepted clasp 3.1.0-1 (source amd64) into unstable

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.1.0-1) unstable; urgency=low . * New upstream release. * debian/control: Remove Suggests on potassco-guide * Setup git repository to use git

Accepted gringo 4.4.0-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.4.0-1) unstable; urgency=low . * New upstream release. * debian/control: Remove Suggests on potassco-guide. * debian/control: Fix Vcs

Accepted clasp 3.0.2-2 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Closes: 742514 Changes: clasp (3.0.2-2) unstable; urgency=low . * Bug fix: fix up TBB handling for ppc64el, thanks to Colin Watson (Closes: #742514

Accepted clasp 3.0.3-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.3-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 103707c9b3b5b530ee0c99937c6d337d78be014c 1983 clasp_3.0.3-1.dsc

Accepted depqbf 3.04-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (3.04-1) unstable; urgency=medium . * Initial upstream branch. * Imported Upstream version 3.02 and 3.04. * debian/control: - Bump Standards

Accepted depqbf 3.01-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (3.01-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: c09bb5a635480de4edc2b884360df0afabe4c890 1938 depqbf_3.01-1.dsc

Accepted depqbf 3.02-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: depqbf - solver for quantified boolean formulae Changes: depqbf (3.02-1) unstable; urgency=low . * New upstream release. * Add support for libqdpll. * debian/install: Install libqdpll.* and qdpll.h. * debian

Accepted clasp 3.0.4-1 (source amd64)

Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.4-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: 59c6b2ce910fe087d2dd62a5d0025408d5cf2f67 1992 clasp_3.0.4-1.dsc

Accepted clasp 3.1.1-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.1.1-1) unstable; urgency=medium . * New upstream release. * Bump Standards-Version to 3.9.6. Checksums-Sha1

Accepted clasp 3.1.2-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.1.2-1) unstable; urgency=medium . * Imported Upstream version 3.1.2 * Fix dep5-copyright-license-name-not-unique and missing-license

Accepted gringo 4.5.1-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.5.1-1) unstable; urgency=medium . * Imported Upstream version 4.5.1 * Add reify.1 manpage Checksums-Sha1

Accepted gringo 4.5.0-1 (source amd64) into unstable

...@lists.alioth.debian.org Changed-By: Thomas Krennwallner tk...@kr.tuwien.ac.at Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.5.0-1) unstable; urgency=medium . * Bump Standards-Version to 3.9.6. * Imported Upstream version 4.5.0 * debian/control: Add Breaks

Accepted gringo 4.5.3-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.5.3-1) unstable; urgency=medium . * Imported Upstream version 4.5.3 Checksums-Sha1: ffbec1b8886b0fd9a89ba56c9993deb48

Accepted clasp 3.1.3-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Closes: 799989 Changes: clasp (3.1.3-1) unstable; urgency=medium . * Imported Upstream version 3.1.3 * debian/control: Add pkg-config (>=

Accepted clasp 3.1.3-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Closes: 800526 Changes: clasp (3.1.3-2) unstable; urgency=medium . * Circumvent g++-5 loop code generation bug. * Bug fix: "aspcud fails

Accepted clasp 3.1.4-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: 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

Accepted gringo 4.5.4-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.5.4-1) unstable; urgency=medium . * Imported Upstream version 4.5.4 Checksums-Sha1: dd1e04b6d917d17924367d452a8d6e529

Accepted depqbf 5.0-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: depqbf - solver for quantified boolean formulae Changes: depqbf (5.0-1) unstable; urgency=medium . * Imported Upstream version 5.0 * refresh depqbf-makefile.patch * depqbf.lintian-overrides:

Accepted gringo 4.5.4-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 822383 Changes: gringo (4.5.4-2) unstable; urgency=medium . * Bug fix: "FTBFS: error: 'pow' is not a member of 'std'",

Accepted clasp 3.1.4-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.1.4-2) unstable; urgency=medium . * Add patch to fix wrong number of optimal models in parallel mode (upstream bug 11

Accepted gringo 4.5.4-3 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (4.5.4-3) unstable; urgency=medium . * Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures that have WITH_T

Accepted clasp 3.2.2-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.2.2-1) unstable; urgency=medium . * New upstream version 3.2.2 * drop clasp-alpha-fpu-getcw.patch, already applied upstre

Accepted clasp 3.1.5-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Closes: 828971 Changes: clasp (3.1.5-1) unstable; urgency=medium . * New upstream version 3.1.5 * debian/rules: cope with multiarch li

Accepted depqbf 5.01-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: depqbf - solver for quantified boolean formulae Changes: depqbf (5.01-1) unstable; urgency=medium . * New upstream version 5.01 * bump Standards-Version to 3.9.8, no changes needed * debian/cont

Accepted runlim 1.10-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 27 Nov 2016 09:46:07 +0100 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.10-1 Distribution: unstable Urgency: medium Maintainer: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Changed-By: Thomas Krennw

Accepted gringo 4.5.4-4 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 844096 Changes: gringo (4.5.4-4) unstable; urgency=medium . * Bug fix: "please make the build reproducible", thanks to R

Accepted gringo 5.1.0-3 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.1.0-3) unstable; urgency=medium . * debian/rules: fix FTBFS on architectures that require -latomic Ch

Accepted gringo 5.1.0-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.1.0-2) unstable; urgency=medium . * debian/rules: fix C++11 threads - link with libatomic on architectur

Accepted clasp 3.2.1-3 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.2.1-3) unstable; urgency=medium . * debian/rules: enable threads on all archs, use LDFLAGS to inject -latomic on arc

Accepted gringo 5.1.0-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.1.0-1) unstable; urgency=medium . * New upstream version 5.1.0 * debian/copyright: update copyright year and github source

Accepted clasp 3.2.1-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.2.1-2) unstable; urgency=medium . * debian/rules: disable threads on powerpc,powerpcspe,m68k,mips,mipsel * debian/contro

Accepted clasp 3.2.1-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.2.1-1) unstable; urgency=medium . * New upstream version 3.2.1 * watch clasp releases on github * debian/copyright: upda

Accepted runlim 1.10-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Dec 2016 17:38:03 +0100 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.10-2 Distribution: unstable Urgency: medium Maintainer: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Changed-By: Thomas Krennw

Accepted runlim 1.10-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Dec 2016 07:37:29 +0100 Source: runlim Binary: runlim Architecture: source amd64 Version: 1.10-3 Distribution: unstable Urgency: medium Maintainer: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Changed-By: Thomas Krennw

Accepted gringo 5.1.0-4 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.1.0-4) unstable; urgency=medium . * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha, _FPU_GETCW

Accepted gringo 5.1.0-5 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 871100 Changes: gringo (5.1.0-5) unstable; urgency=medium . * Bug fix: "FTBFS: libgringo/src/python.cc:348:46: error: *(G

Accepted clasp 3.3.2-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.2-1) unstable; urgency=medium . * New upstream version 3.3.2 * debian/control: Bump Standards-Version to 4.0.1 Ch

Accepted clasp 3.3.0-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.0-1) unstable; urgency=medium . * New upstream version 3.3.0 * debian/copyright: clasp switched to MIT, and so does t

Accepted clasp 3.3.2-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Closes: 872549 Changes: clasp (3.3.2-2) unstable; urgency=medium . * Bug fix: "clasp FTBFS on armel: undefined reference to `__atomi

Accepted clasp 3.3.2-3 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.2-3) unstable; urgency=medium . * Switch to g++-6 to work around mips64el FTBFS. - debian/rules: force CXX to g++-6

Accepted clasp 3.3.3-1 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.3-1) unstable; urgency=medium . * New upstream version 3.3.3 * debian/watch: download from /releases/download/vN.N.N * d

Accepted gringo 5.2.1-3 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.1-3) unstable; urgency=medium . * add patch from upstream commit 02c6d85 to fix wrong assertion * debian/control: B

Accepted gringo 5.2.2-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-1) unstable; urgency=medium . * New upstream version 5.2.2 * drop upstream applied gringo-remove-wrong-assertion.patch

Accepted gringo 5.2.1-1 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Closes: 880287 Changes: gringo (5.2.1-1) unstable; urgency=medium . * New upstream version 5.2.1 * debian/TODO.Debian: list todo items

Accepted gringo 5.2.1-2 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.1-2) unstable; urgency=medium . * Use pkgkde-symbolshelper to manage C++ symbols * debian/rules: use pkgkde_symbolshel

Accepted clasp 3.3.2-4 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.2-4) unstable; urgency=medium . * debian/control fixes, add Build-Depends on recent g++-7 + bump Standards-Vers

Accepted gringo 5.2.1-4 (source amd64) into unstable

ain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.1-4) unstable; urgency=medium . * debian/symbols: fix FTBFS on armel Checksums-Sha1: 5edf83616191ef567147760016e5d0db1

Accepted depqbf 5.01-2 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: depqbf - solver for quantified boolean formulae Changes: depqbf (5.01-2) unstable; urgency=medium . * debian/gbp.conf: pristine-tar is True * debian/control: cleanup for Standards-Version 4.1.4 -

Accepted depqbf 5.01-3 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: depqbf - solver for quantified boolean formulae Changes: depqbf (5.01-3) unstable; urgency=medium . * debian/tests: add dep8 testsuite Checksums-Sha1: 38ad0aacd24747e164bedec8f2f4dbd24692fe8f 1952 depqb

Accepted gringo 5.2.3-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 03 Jul 2018 06:23:44 +0200 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.4-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Jun 2018 08:31:27 +0200 Source: clasp Binary: clasp Architecture: source Version: 3.3.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted gringo 5.2.3-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Jun 2018 13:27:28 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

  1   2   >