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 <m...@debian.org> C

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

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 <m...@debian.org> Changed-By: Michael Tautsch

Re: Computing resources for DHG work

Hi Sean, On Sun, May 29, 2016 at 20:32:43 +0900, Sean Whitton wrote: > Dear all, > > The Debian Haskell Group has picked a target set of package versions to > freeze on for stretch. I'm working to upgrade packages in the DHG > source package git repository to the target versions. This requires

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

Re: mkdocs locale error building djangorestframework

On Tue, Jan 26, 2016 at 1:23:19 +, Ben Hutchings wrote: > On Tue, 2016-01-26 at 12:16 +1100, Brian May wrote: > > Ben Hutchings writes: > > > > > That's not the problem at all.  Read the error message again.  Read the > > > source line it points to.  Now look at where

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

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

Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> 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 bin

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

Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> 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 bin

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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@d

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 m

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 m

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 m...@debian.org Changed

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 m...@debian.org Changed-By: Michael Tautschnig

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 m...@debian.org Changed-By: Michael Tautschnig

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael

Re: ArchitectureSpecificsMemo

On Thu, Nov 27, 2014 at 10:50:26 +, Edmund Grimley Evans wrote: http://wiki.debian.org/ArchitectureSpecificsMemo Some suggestions for improving this table: 1. About half of the table is taken up with sizeof information, some of which could be expressed more concisely. (Are all Debian

Re: UDD querying jobs on jenkins.d.n (was Re: inconsistent versions of M-A: same packages

Hi Holger, On Sat, Nov 08, 2014 at 15:12:42 +, Holger Levsen wrote: Hi, On Samstag, 8. November 2014, Holger Levsen wrote: It would be trivial to turn this into a jenkins jobs, shall I? It seems to me, there could be several other UDD querying jobs as well, so my first suggestion

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 m...@debian.org Changed-By: Michael Tautschnig m

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael

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 m...@debian.org 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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed

Re: Gcc and undefined behavior

On Mon, Apr 28, 2014 at 16:45:56 +, Thorsten Glaser wrote: Shachar Shemesh shachar at debian.org writes: the changes there is a runtime check for undefined behavior. Just compile with -fsanitize=undefined, and your program will crash with log if it performs an operation

Re: Proposing amd64-hardened architecture for Debian

On Sat, Apr 19, 2014 at 14:26:59 +0300, Riku Voipio wrote: [...] Riding the Heartbleed publicity wave seems unwise, unless you can propose a hardening flag that would have protected users from Heartbleed. Else, Heartbleed merely serves on a example how wallpapering problems over with hardened

Re: Debian source packages file types and SLOC

Hi Jan, it's a too big a job to do by myself, and maybe the answer already exists: When I would download all Debian source packages, extract them, determine of each the programming language it is written in and the SLOC, what would be the percentages of each programming language used?

Re: Open Source Survey - http://goo.gl/5bwR9t

Thorsten Glaser t.gla...@tarent.de writes: Jonas Smedegaard dr at jones.dk writes: Quoting Michael Kaserer (2014-01-08 11:00:50) We are two students currently working on a research project regarding motivation for contributing to Open Source projects. You can help us by filling

jenkins vs. debile [was: Re: Bits from the Release]

Hi Zack, hi all, On Sun, Aug 25, 2013 at 05:09:22PM +0200, Niels Thykier wrote: How you can help (NEW-TEST-HELP) Add tests to your packages. The full specification for these tests are available from [AUTOPKG]. If you need inspiration, consider

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

Re: Innovation in Debian

On Mon, Jul 22, 2013 at 04:39:54PM +0100, Michael Tautschnig wrote: [...] I feel the subject of this thread is not very well aligned with your reasoning - I don't think innovation==breaking things!? At least for myself the init system I very much disagree. Without

Re: Innovation in Debian

Hi Paul, hi all, Ahoy, fellow developers, Having followed the recent threads, I've been growing concerned - not of sticking with an old init system, or switching to a new one, or even the god-aweful tone of every damn post on that thread (srsly guise). I'm mostly concerned that we, as

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 m...@debian.org Changed-By: Michael

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed

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 m...@debian.org Changed

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 m...@debian.org Changed

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 m...@debian.org Changed

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 m...@debian.org Changed

Re: Reporting 1.2K crashes

BTW, the mails you have been sending with links to the crashes have been going to publicly archived lists, not sure if you meant for that to happen though? I don't think the Mayhem team is at all to blame for that: we seemingly simply don't have the necessary information in place. For mass

Re: Reporting 1.2K crashes

Hi Alexandre, Many thanks for this effort, this sounds really interesting. [...] You can download the list of affected packages, with their maintainers [3], generated with dd-list, as well as a sample bug report for gcov-4.6 [4]. The bug report contains: 1) the bug report that will be

Re: Reporting 1.2K crashes

Hi Alexandre, (Just replying regarding the point I had raised.) [...] Can one also access, even before you go and file bugs, information for other packages? I cannot actually find any reports for the package listed in the dd-list under my name in your Packages, Runs, nor Programs pages.

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 m...@debian.org Changed

Re: jessie release goal: verbose build logs

On 14/06/2013 13:49, Wookey wrote: +++ Matthias Klose [2013-06-14 13:35 +0200]: Much more often than I do like it, I see bug reports for the toolchain just pointing to a build log. Then looking at the build log, you often just see CC ... CCLD ... (sometimes even colorized) [...]

Re: Re: Candidates for removal from testing (2013-06-04)

Hi, On Wed, Jun 05, 2013 at 09:37:54AM +0900, Charles Plessy wrote: Le Tue, Jun 04, 2013 at 02:06:26PM +0200, Niels Thykier a écrit : Our automated tools for finding RC buggy leaf packages in testing have found 79 potential candidates (see attached files). The packages

Re: [clang] Report bugs on packages failing to build with clang

[...] clang.debian.net lists 39 instances of these, though I think the buildd is a bit behind so there are probably a few more. At least one more of the 432 Not categorized is also due to this missing feature in clang (reprepro). As clang seems to gives quite misleading error messages in

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 m...@debian.org Changed

Re: [clang] Report bugs on packages failing to build with clang

Hi Sylvestre, [...] I started to report them (with patches for now) with minor as severity: http://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=clang-ftbfs;users=pkg-llvm-t...@lists.alioth.debian.org You might want to take a look at

Re: [clang] Report bugs on packages failing to build with clang

Hello, With the recent setup of the parallel build infrastructure using clang instead of gcc [1], I would like to start to report bugs on packages failing to build with clang (with patches if possible). The severity would be minor. Of course, I would do that only when the issue is upstream

Re: Blacklists in BTS (stopping the trolls and bug machines)

Hi, I would like to ask what would be general opinion to add functionality to BTS to be able to blacklist[*] certain people from filling the bugs directly. [...] * - It doesn't have to be blacklist per se, it could be a queue which would be viewed by some fresher minds, who still doesn't

Re: Bootstrapping: list of 81 self-cycles in Debian Sid

Hi, [...] CPU: The whole script producing the output above took 7 hours to run on a 2.5GHz Core i5 for all suites and all architectures (38 combinations). This is because generating strong strong dependencies for all packages in the archive takes 8-10 minutes with current archive sizes.

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m...@debian.org

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 m...@debian.org Changed-By: Michael Tautschnig m

  1   2   3   4   >