Accepted gringo 5.3.0-10 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 02 Mar 2019 08:49:10 +0100 Source: gringo Architecture: source Version: 5.3.0-10 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Changes: gringo (5.3.0-10

Accepted gringo 5.3.0-9 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 01 Mar 2019 06:27:37 +0100 Source: gringo Architecture: source Version: 5.3.0-9 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Changes: gringo (5.3.0-9

Accepted gringo 5.3.0-8 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 28 Feb 2019 05:25:47 +0100 Source: gringo Architecture: source Version: 5.3.0-8 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Changes: gringo (5.3.0-8

Accepted gringo 5.3.0-7 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 27 Feb 2019 05:24:41 +0100 Source: gringo Architecture: source Version: 5.3.0-7 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Closes: 923228 Changes

Accepted gringo 5.3.0-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 14 Dec 2018 08:09:08 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-6 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.3.0-5 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 13 Dec 2018 08:22:24 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-5 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.3.0-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 22 Nov 2018 07:26:25 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.3.0-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 21 Nov 2018 04:54:38 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.3.0-2 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 15 Nov 2018 07:30:26 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-2 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.3.0-1 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 11 Nov 2018 08:56:35 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-1 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.3-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 08 Nov 2018 04:35:55 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.3-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 07 Nov 2018 04:07:00 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.4-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Nov 2018 16:03:57 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.4-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted gringo 5.2.3-3 (source) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Nov 2018 08:34:30 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-3 Distribution: experimental Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted runlim 1.10-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 30 Oct 2018 07:41:00 +0100 Source: runlim Binary: runlim Architecture: source Version: 1.10-5 Distribution: unstable Urgency: medium Maintainer: Thomas Krennwallner Changed-By: Thomas Krennwallner Description: runlim

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 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

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 depqbf 5.01-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 05 May 2018 12:58:06 +0200 Source: depqbf Binary: depqbf Architecture: source Version: 5.01-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 5.01-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 05 May 2018 09:46:34 +0200 Source: depqbf Binary: depqbf Architecture: source Version: 5.01-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted runlim 1.10-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 06 Feb 2018 07:30:06 +0100 Source: runlim Binary: runlim Architecture: source Version: 1.10-4 Distribution: unstable Urgency: medium Maintainer: Thomas Krennwallner Changed-By: Thomas Krennwallner Description: runlim

Accepted clasp 3.3.3-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 20:22:21 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted gringo 5.2.2-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 07:39:21 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 21:35:05 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 09:22:41 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 15:17:29 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.3-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 13:42:01 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted clasp 3.3.3-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 12 Nov 2017 09:11:47 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted gringo 5.2.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 10 Nov 2017 08:08:58 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.1-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 04 Nov 2017 14:55:24 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.1-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 04 Nov 2017 11:14:23 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.2-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 04 Nov 2017 10:45:45 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.3.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 03 Nov 2017 06:42:20 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 01 Nov 2017 15:30:25 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.2-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 29 Aug 2017 07:21:44 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.3.2-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.2-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 21 Aug 2017 08:31:52 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.3.2-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 18 Aug 2017 07:02:43 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.3.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.1.0-5 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 17 Aug 2017 07:18:37 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 07 May 2017 15:02:29 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.2.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 01 Feb 2017 11:52:16 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.1.0-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 20 Dec 2016 05:10:36 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.2.1-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 17 Dec 2016 07:55:33 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.1.0-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 16 Dec 2016 08:13:33 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.1.0-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 15 Dec 2016 06:49:16 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.1.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 11 Dec 2016 13:12:35 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.4-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 07 Dec 2016 08:27:20 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

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 Changed-By: Thomas Krennwallner Description: runlim

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 Changed-By: Thomas Krennwallner Description: runlim

Accepted clasp 3.2.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Dec 2016 11:06:00 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.2.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 01 Dec 2016 08:22:07 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 5.01-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 27 Nov 2016 17:21:59 +0100 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 5.01-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

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 Changed-By: Thomas Krennwallner Description: runlim

Accepted clasp 3.1.5-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 04 Sep 2016 09:54:27 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.5-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.4-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 02 May 2016 07:18:34 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.4-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 May 2016 08:47:29 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.4-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 May 2016 08:51:17 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.4-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 5.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 22 Dec 2015 09:17:35 +0100 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 5.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.4-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 19 Dec 2015 14:07:05 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.4-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 20 Dec 2015 12:06:30 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.3-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 05 Oct 2015 07:43:55 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.3-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 26 Sep 2015 09:31:03 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.3-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 26 Sep 2015 08:57:05 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.3-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 13 Jul 2015 09:01:56 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.5.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 11 Jul 2015 09:36:10 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 12 May 2015 07:18:25 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 26 Nov 2014 08:44:17 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 3.04-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 04 Oct 2014 10:25:42 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.04-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.4.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 18 Aug 2014 17:10:34 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.4.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.1.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 18 Aug 2014 13:00:07 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.6-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 07 Aug 2014 11:53:54 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.3.0-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 12 Jun 2014 09:16:31 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.3.0-2 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 19 May 2014 17:48:23 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.5-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 24 Apr 2014 11:26:44 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.4-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 3.02-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 24 Apr 2014 07:27:13 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.02-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 3.01-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 20 Apr 2014 08:20:11 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.01-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 30 Mar 2014 07:34:40 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.3-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.2-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Mar 2014 07:27:42 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.2-2 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 17 Mar 2014 17:11:58 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.2-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Feb 2014 17:04:16 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.3.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 26 Feb 2014 13:06:29 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.3.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 3.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 20 Feb 2014 16:31:40 +0100 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.0.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 16 Feb 2014 11:19:35 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.1.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Feb 2014 12:37:05 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.5-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.2.1-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 12 Jan 2014 19:22:44 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.2.1-4 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.2.1-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 18 Dec 2013 09:42:59 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.2.1-3 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

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 Changed-By: Thomas Krennwallner Description: runlim

Accepted gringo 4.2.1-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 17 Dec 2013 07:07:54 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.2.1-2 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 4.2.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 16 Dec 2013 16:28:42 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.2.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.1.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 13 Dec 2013 11:44:18 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.4-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 2.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 19 Sep 2013 12:36:40 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 2.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 3.0.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 21 May 2013 19:04:24 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 3.0.5-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.1.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 21 May 2013 09:22:08 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.3-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.1.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 28 Nov 2012 10:35:53 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 3.0.4-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 22 Nov 2012 10:40:56 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 3.0.4-4 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.1.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 27 Aug 2012 20:20:04 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted depqbf 1.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 12 Aug 2012 22:02:14 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 1.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 3.0.4-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 23 May 2012 15:25:09 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 3.0.4-3 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 3.0.4-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 10 Apr 2012 16:48:52 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 3.0.4-2 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.0.6-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 04 Apr 2012 06:35:31 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 2.0.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 29 Jan 2012 20:27:04 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.5-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

  1   2   >