Accepted cbmc 5.10-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 17 Oct 2018 19:55:17 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-5 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 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-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-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 27 Sep 2018 10:18:47 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 05 Jul 2018 22:36:05 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-5 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 04 Jul 2018 16:50:58 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 04 Jul 2018 10:53:33 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jul 2018 18:58:45 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jul 2018 16:17:02 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.9-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc - bounded

Accepted cbmc 5.9-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 02 Jul 2018 17:12:01 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.9-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted diagnostics 0.3.3-12 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 04 Dec 2016 08:54:25 + Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-12 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted cbmc 5.6-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 04 Dec 2016 09:18:48 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.6-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.5-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 16 Oct 2016 13:10:20 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.5-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.4-3 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 14 Jul 2016 09:45:43 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.4-3 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.4-2 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 09 May 2016 09:07:09 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.4-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.4-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 22 Apr 2016 11:03:08 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.4-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.3-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Jan 2016 04:03:52 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted z3 4.4.0-5 (source i386 all) into unstable, unstable

Tautschnig Changed-By: Michael Tautschnig Description: libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from

Accepted z3 4.4.0-4 (source i386 all) into unstable, unstable

Tautschnig Changed-By: Michael Tautschnig Description: libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from

Accepted ppl 1:1.1-7 (source i386 all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 21 Sep 2015 12:27:25 +0100 Source: ppl Binary: libppl13v5 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source i386 all Version: 1:1.1-7 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig

Accepted cbmc 5.2-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 02 Sep 2015 14:37:38 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted z3 4.4.0-3 (source i386) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 27 Aug 2015 15:18:46 +0100 Source: z3 Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java Architecture: source i386 Version: 4.4.0-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed

Accepted ppl 1:1.1-6 (source i386 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Aug 2015 21:24:30 +0100 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source i386 all Version: 1:1.1-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig

Accepted diagnostics 0.3.3-11 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Aug 2015 23:02:51 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-11 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted z3 4.4.0-2 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 07 Jul 2015 08:08:48 +0100 Source: z3 Binary: z3 libz3-dev python-z3 Architecture: source i386 Version: 4.4.0-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted z3 4.4.0-1 (source i386) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 17 Jun 2015 21:40:44 +0100 Source: z3 Binary: z3 libz3-dev python-z3 Architecture: source i386 Version: 4.4.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted brickos 0.9.0.dfsg-12 (source all i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 15 Jun 2015 09:33:32 +0100 Source: brickos Binary: brickos brickos-doc Architecture: source all i386 Version: 0.9.0.dfsg-12 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted brickos 0.9.0.dfsg-11 (source all i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jun 2015 08:51:50 +0100 Source: brickos Binary: brickos brickos-doc Architecture: source all i386 Version: 0.9.0.dfsg-11 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted bmt 0.6-1 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 25 May 2015 08:56:20 +0100 Source: bmt Binary: bmt Architecture: source all Version: 0.6-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: bmt- software

Accepted cbmc 5.1-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 11 May 2015 00:39:01 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted kcov 25+dfsg-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 15 Feb 2015 17:57:59 + Source: kcov Binary: kcov Architecture: source i386 Version: 25+dfsg-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov

Accepted brickos 0.9.0.dfsg-10 (source i386 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 14 Feb 2015 18:21:54 + Source: brickos Binary: brickos brickos-doc Architecture: source i386 all Version: 0.9.0.dfsg-10 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted brickos 0.9.0.dfsg-9 (source i386 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 14 Feb 2015 12:01:50 + Source: brickos Binary: brickos brickos-doc Architecture: source i386 all Version: 0.9.0.dfsg-9 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted cbmc 5.0-3 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 08 Feb 2015 09:16:23 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.0-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.0-2 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 07 Feb 2015 22:23:33 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.0-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 5.0-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 29 Jan 2015 07:30:49 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 5.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted gcc-h8300-hms 1:3.4.6+dfsg2-4 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 19 Dec 2014 08:10:07 + Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6+dfsg2-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted gcc-h8300-hms 1:3.4.6+dfsg2-3 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 18 Dec 2014 17:16:56 + Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6+dfsg2-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted cbmc 4.9-5 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 18 Dec 2014 16:46:38 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted picosat 960-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 08 Nov 2014 18:15:16 + Source: picosat Binary: picosat Architecture: source i386 Version: 960-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted cbmc 4.9-4 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 11 Oct 2014 12:58:47 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.9-3 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 07 Aug 2014 14:45:19 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.9-2 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 06 Aug 2014 12:17:09 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.9-1 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Aug 2014 16:22:33 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.9-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted minisat2 1:2.2.1-5 (source i386) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 30 Jul 2014 10:38:25 +0100 Source: minisat2 Binary: minisat minisat2 Architecture: source i386 Version: 1:2.2.1-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted cbmc 4.7-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 15 Jul 2014 11:54:44 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.7-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted lnpd 0.9.0-11 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Jul 2014 08:56:45 +0100 Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-11 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: lnpd

Accepted lnpd 0.9.0-10 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Jul 2014 08:26:38 +0100 Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-10 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: lnpd

Accepted lnpd 0.9.0-9 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Jul 2014 07:08:47 +0100 Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-9 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: lnpd

Accepted lnpd 0.9.0-8 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 07 Jul 2014 12:30:30 +0100 Source: lnpd Binary: lnpd Architecture: source i386 Version: 0.9.0-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: lnpd

Accepted diagnostics 0.3.3-10 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 07 Jul 2014 12:36:24 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-10 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 29 Jun 2014 17:12:27 +0100 Source: brickos Binary: brickos brickos-doc Architecture: source i386 all Version: 0.9.0.dfsg-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 29 Jun 2014 11:13:43 +0100 Source: brickos Binary: brickos brickos-doc Architecture: source i386 all Version: 0.9.0.dfsg-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted gcc-h8300-hms 1:3.4.6+dfsg2-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 29 Jun 2014 15:39:32 +0100 Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6+dfsg2-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 28 Jun 2014 20:48:21 +0100 Source: binutils-h8300-hms Binary: binutils-h8300-hms Architecture: source i386 Version: 2.16.1-10 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted cbmc 4.7-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 28 Jun 2014 17:55:30 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.7-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted picosat 959-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 28 Jun 2014 17:37:26 +0100 Source: picosat Binary: picosat Architecture: source i386 Version: 959-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted sat4j 2.3.3-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 28 Jun 2014 17:04:41 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted cbmc 4.5-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Aug 2013 00:07:54 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.5-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.5-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 25 Aug 2013 12:33:14 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.5-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted minisat2 1:2.2.1-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 12 Jul 2013 21:42:02 +0100 Source: minisat2 Binary: minisat minisat2 Architecture: source i386 Version: 1:2.2.1-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted cbmc 4.4-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jul 2013 22:56:58 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.4-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted diagnostics 0.3.3-9 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jul 2013 15:01:41 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-9 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted cbmc 4.4-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jul 2013 12:39:13 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.4-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted diagnostics 0.3.3-8 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 10 Jul 2013 09:47:43 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-8 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.3-7 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 09 Jul 2013 16:30:48 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.3-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 09 Jul 2013 03:00:03 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.3-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 08 Jul 2013 21:04:58 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted diagnostics 0.3.3-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 08 Jul 2013 08:22:36 +0100 Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 23 Jun 2013 13:23:00 +0100 Source: binutils-h8300-hms Binary: binutils-h8300-hms Architecture: source i386 Version: 2.16.1-9 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 05 Jun 2013 09:46:35 +0100 Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6+dfsg2-1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted cbmc 4.3-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 15 Feb 2013 18:35:06 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.3-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 15 Feb 2013 10:52:56 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.3-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 12 Feb 2013 15:01:56 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.3-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 11 Feb 2013 21:12:02 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.3-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 08 Feb 2013 15:46:35 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.3-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 08 Feb 2013 11:12:41 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.3-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted picosat 954-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 20 Dec 2012 20:13:50 + Source: picosat Binary: picosat Architecture: source i386 Version: 954-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 14 Dec 2012 11:57:55 + Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted sat4j 2.3.2-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 17:45:35 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted diagnostics 0.3.3-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 17:44:20 + Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted kcov 11-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 15:43:07 + Source: kcov Binary: kcov Architecture: source i386 Version: 11-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: kcov - Code

Accepted diagnostics 0.3.3-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 13:10:32 + Source: diagnostics Binary: libdiagnostics-dev libdiagnostics0 Architecture: source i386 Version: 0.3.3-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael

Accepted picosat 953-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 13:18:49 + Source: picosat Binary: picosat Architecture: source i386 Version: 953-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted picosat 953-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Dec 2012 11:32:09 + Source: picosat Binary: picosat Architecture: source i386 Version: 953-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted boolector 1.5.118.6b56be4.121013-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 16 Oct 2012 13:01:32 +0100 Source: boolector Binary: boolector Architecture: source i386 Version: 1.5.118.6b56be4.121013-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig

Accepted cbmc 4.2-6 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 20 Sep 2012 16:14:23 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-6 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.2-5 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 20 Sep 2012 10:27:43 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.2-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 17:47:42 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.2-3 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 16:57:50 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.2-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 12:02:56 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-2 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted cbmc 4.2-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 19 Sep 2012 10:29:19 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.2-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted sat4j 2.3.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 04 Mar 2012 01:38:25 + Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted picosat 936-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 03 Mar 2012 22:55:43 + Source: picosat Binary: picosat Architecture: source i386 Version: 936-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: picosat

Accepted cbmc 4.1-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 18 Jan 2012 18:37:41 + Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.1-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

Accepted sat4j 2.3.0-3 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 24 Oct 2011 10:39:02 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.0-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: sat4j

Accepted clamav 0.97.3+dfsg-1 (source all i386)

+dfsg-1 Distribution: unstable Urgency: medium 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

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 22 Oct 2011 00:46:38 +0100 Source: gcc-h8300-hms Binary: gcc-h8300-hms Architecture: source i386 Version: 1:3.4.6-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description

Accepted cbmc 4.0-4 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 22 Oct 2011 00:51:01 +0100 Source: cbmc Binary: cbmc Architecture: source i386 Version: 4.0-4 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig Changed-By: Michael Tautschnig Description: cbmc

  1   2   3   >