Accepted cbmc 5.10-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 30 Sep 2018 15:08:10 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.10-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 30 Sep 2018 18:29:38 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.10-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 01 Oct 2018 08:00:38 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted binutils-h8300-hms 2.16.1-8 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 06 Jan 2009 08:41:14 + Source: binutils-h8300-hms Binary: binutils-h8300-hms Architecture: source i386 Version: 2.16.1-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted ppl 0.10~pre36-1 (source i386 all)

Maintainers <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig <[EMAIL PROTECTED]> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Libr

Accepted sat4j 2.0.4-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 01 Nov 2008 16:38:35 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.4-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted sat4j 2.0.4-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Nov 2008 18:42:11 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.4-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted ppl 0.10-1 (source i386 all)

<[EMAIL PROTECTED]> Changed-By: Michael Tautschnig <[EMAIL PROTECTED]> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Library (run

Accepted clamav 0.94.dfsg.1-1 (source all i386)

.1-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig <[EMAIL PROTECTED]> Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-d

Accepted diagnostics 0.2.5-1 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 06 Oct 2008 21:24:36 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.5-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> C

Accepted ppl 0.10~pre34-1 (source i386 all)

<[EMAIL PROTECTED]> Changed-By: Michael Tautschnig <[EMAIL PROTECTED]> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl7- Parma Polyhedra Library (run

Accepted minisat2 070721-6 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 26 Oct 2008 20:35:45 +0100 Source: minisat2 Binary: minisat2 Architecture: source s390 Version: 070721-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted diagnostics 0.2.7-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 21 Apr 2009 10:02:11 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.2.7-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted libclamunrar 0.95.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 12 Apr 2009 18:01:51 +0200 Source: libclamunrar Binary: libclamunrar6 Architecture: source amd64 Version: 0.95.1-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description

Accepted ppl 0.10.1~pre13-1 (source all amd64)

Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Library (runtime library) libpwl-dev - Parma

Accepted diagnostics 0.2.7-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 18 Apr 2009 18:49:46 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.2.7-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.2.6-1 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 22 Feb 2009 17:52:19 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.6-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted clamav 0.95+dfsg-1 (source all amd64)

+dfsg-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted sat4j 2.0.5-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 31 Jan 2009 12:30:40 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.5-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted ppl 0.10-2 (source i386 all)

Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog Library

Accepted sat4j 2.0.5-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Feb 2009 11:35:25 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.5-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted ppl 0.10-3 (source all amd64)

Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog

Accepted ppl 0.10-4 (source all amd64)

Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl0.10-dev - Parma Polyhedra Library (development) libppl7- Parma Polyhedra Library (runtime library) libpwl-dev - Parma Watchdog

Accepted diagnostics 0.2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 16 Dec 2007 21:04:41 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Chan

Accepted diagnostics 0.2.1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 23 Dec 2007 17:23:59 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.2.1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Chan

Accepted lnpd 0.9.0-7 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 16 Oct 2009 07:39:30 +0200 Source: lnpd Binary: lnpd Architecture: source amd64 Version: 0.9.0-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: lnpd

Accepted ppl 0.10.2-3 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted diagnostics 0.2.2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 23 Jan 2008 23:04:30 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.2.2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Chan

Accepted lnpd 0.9.0-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 25 Jan 2008 08:54:54 +0100 Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted gcc-h8300-hms 1:3.4.6-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 25 Jan 2008 08:51:29 +0100 Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: M

Accepted brickos 0.9.0.dfsg-6 (source all i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 25 Jan 2008 08:54:20 +0100 Source: brickos Binary: brickos brickos-doc Architecture: source all i386 Version: 0.9.0.dfsg-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Chan

Accepted lnpd 0.9.0-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 02 Feb 2008 09:13:59 + Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted minisat2 070721-4 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 07 Sep 2008 19:32:20 +0200 Source: minisat2 Binary: minisat2 Architecture: source s390 Version: 070721-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted minisat2 070721-5 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 07 Sep 2008 21:09:47 +0200 Source: minisat2 Binary: minisat2 Architecture: source s390 Version: 070721-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted picosat 846-1 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 01 Oct 2008 00:07:53 +0200 Source: picosat Binary: picosat Architecture: source s390 Version: 846-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted diagnostics 0.2.4-1 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 20 Jul 2008 18:08:15 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.4-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> C

Accepted diagnostics 0.2.4-2 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 23 Jul 2008 09:48:47 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.4-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> C

Accepted minisat2 070721-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Jun 2008 12:51:36 + Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted minisat2 070721-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Jun 2008 21:51:01 + Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted sat4j 2.0.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 22 Jul 2008 09:27:20 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted sat4j 2.0.2-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 22 Aug 2008 14:04:11 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted ppl 0.9-2 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 22 Jun 2008 02:09:30 +0200 Source: ppl Binary: libppl6 libppl-dev libppl-c0 libpwl3 libppl-doc Architecture: source i386 all Version: 0.9-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTEC

Accepted ppl 0.9-3 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 04 Jul 2008 00:16:35 + Source: ppl Binary: libppl6 libppl-dev libppl-c0 libpwl3 libppl-doc Architecture: source i386 all Version: 0.9-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTEC

Accepted ppl 0.9-4 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 04 Jul 2008 07:40:34 + Source: ppl Binary: libppl6 libppl-dev libppl-c0 libpwl3 libppl-doc Architecture: source i386 all Version: 0.9-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTEC

Accepted ppl 0.9-5 (source i386 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 04 Jul 2008 07:40:34 + Source: ppl Binary: libppl6 libppl-dev libppl-c0 libpwl3 libppl-doc Architecture: source i386 all Version: 0.9-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTEC

Accepted diagnostics 0.2.3-1 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 18 Jul 2008 22:41:35 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> C

Accepted diagnostics 0.2.3-2 (source s390)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 20 Jul 2008 09:40:34 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source s390 Version: 0.2.3-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> C

Accepted minisat2 070721-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 7 Jun 2008 17:10:44 +0200 Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Taut

Accepted picosat 632-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 8 Jun 2008 13:08:48 +0200 Source: picosat Binary: picosat Architecture: source i386 Version: 632-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Changed-By: Michael Tautschnig &

Accepted clamav 0.96.3+dfsg-2 (source all amd64)

+dfsg-2 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted ppl 0.10.2-8 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted clamav 0.96.3+dfsg-1 (source all amd64)

+dfsg-1 Distribution: unstable Urgency: high Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted ppl 0.11-3 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted minisat2 1:2.2.0-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 20 Jan 2011 22:37:08 +0100 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 1:2.2.0-3 Distribution: experimental Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted kcov 4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 17 Dec 2010 10:03:23 +0100 Source: kcov Binary: kcov Architecture: source amd64 Version: 4-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted kcov 4-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 17 Dec 2010 23:35:00 +0100 Source: kcov Binary: kcov Architecture: source amd64 Version: 4-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted diagnostics 0.3.2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 28 Feb 2011 10:21:38 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.3.2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.2-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 16 Mar 2011 15:11:13 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.3.2-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.2-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 16 Mar 2011 18:59:38 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.3.2-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.2-4 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 16 Mar 2011 20:27:05 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.3.2-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted kcov 5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Mar 2011 00:01:40 +0200 Source: kcov Binary: kcov Architecture: source amd64 Version: 5-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted picosat 936-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Mar 2011 14:24:29 +0200 Source: picosat Binary: picosat Architecture: source amd64 Version: 936-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted minisat2 1:2.2.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Mar 2011 13:31:53 +0200 Source: minisat2 Binary: minisat minisat2 Architecture: source amd64 Version: 1:2.2.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted clamav 0.96.5+dfsg-1 (source all amd64)

+dfsg-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted kcov 3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 10:05:16 +0100 Source: kcov Binary: kcov Architecture: source amd64 Version: 3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted ppl 0.11.2-1 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted ppl 0.11.2-2 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted cloog-ppl 0.15.9-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 08 Mar 2011 16:01:52 +0100 Source: cloog-ppl Binary: libcloog-ppl-dev libcloog-ppl0 Architecture: source amd64 Version: 0.15.9-3 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers Changed-By: Michael

Accepted clamav 0.97+dfsg-2 (source all amd64)

+dfsg-2 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted ppl 0.11.2-3 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted ppl 0.10.2-9 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted clamav 0.96.4+dfsg-1 (source all amd64)

+dfsg-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted libclamunrar 0.96.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 26 Oct 2010 00:16:24 +0200 Source: libclamunrar Binary: libclamunrar6 Architecture: source amd64 Version: 0.96.4-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description

Accepted ppl 0.11-1 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted ppl 0.11-2 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.11-dev - Parma Polyhedra Library (development) libppl9

Accepted kcov 2-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 31 Oct 2010 11:10:29 +0100 Source: kcov Binary: kcov Architecture: source amd64 Version: 2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted sat4j 2.2.3-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 08 Feb 2011 18:36:34 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted minisat2 070721-7 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Dec 2009 12:19:36 +0100 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 070721-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted minisat2 070721-8 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 29 Dec 2009 14:25:31 +0100 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 070721-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted ppl 0.10.2-4 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted picosat 913-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 05 Feb 2010 12:50:29 +0100 Source: picosat Binary: picosat Architecture: source amd64 Version: 913-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted clamav 0.95.3+dfsg-1 (source all amd64)

+dfsg-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted libclamunrar 0.95.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 01 Nov 2009 13:20:05 +0100 Source: libclamunrar Binary: libclamunrar6 Architecture: source amd64 Version: 0.95.3-1 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description

Accepted picosat 913-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 02 Nov 2009 22:03:31 +0100 Source: picosat Binary: picosat Architecture: source amd64 Version: 913-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted sat4j 2.1.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 02 Nov 2009 22:16:18 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.1.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted sat4j 2.1.1-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 16 Jan 2010 14:13:00 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.1.1-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted diagnostics 0.2.8-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 16 Jan 2010 23:27:48 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.2.8-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted ppl 0.10.2-5 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted ppl 0.10.2-6 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

Accepted binutils-h8300-hms 2.16.1-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 May 2007 23:50:04 +0200 Source: binutils-h8300-hms Binary: binutils-h8300-hms Architecture: source i386 Version: 2.16.1-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <[EMAIL PROTECTED]> Chan

Accepted matanza 0.13-3.4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 18 May 2007 23:12:46 +0200 Source: matanza Binary: matanza Architecture: source i386 Version: 0.13-3.4 Distribution: unstable Urgency: low Maintainer: Polkan Alexis Garcia Rodriguez <[EMAIL PROTECTED]> Changed-By: M

Accepted diagnostics 0.3.1-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Aug 2010 11:17:13 +0200 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source amd64 Version: 0.3.1-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted sat4j 2.2.0-3 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Aug 2010 12:43:47 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.0-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted picosat 936-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 16 Aug 2010 15:04:10 +0200 Source: picosat Binary: picosat Architecture: source amd64 Version: 936-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted minisat2 1:2.2.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 25 Jul 2010 08:42:10 +0200 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 1:2.2.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted clamav 0.96.1+dfsg-2 (source all amd64)

+dfsg-2 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted minisat2 1:2.2.0-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 25 Jul 2010 22:02:54 +0200 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 1:2.2.0-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted clamav 0.96.1+dfsg-3 (source all amd64)

+dfsg-3 Distribution: unstable Urgency: low Maintainer: ClamAV Team Changed-By: Michael Tautschnig Description: clamav - anti-virus utility for Unix - command-line interface clamav-base - anti-virus utility for Unix - base package clamav-daemon - anti-virus utility for Unix - scanner daemon

Accepted sat4j 2.2.0-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 01 Aug 2010 12:03:10 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.0-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted ppl 0.10.2-7 (source all amd64)

GCC Maintainers Changed-By: Michael Tautschnig Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl0.10-dev - Parma Polyhedra Library (development) libppl7

<    1   2   3   >