Re: Build failure on mips64el

The problem has been solved by a give-back. Thanks to Tobias Frost for his help! On 9/21/20 5:09 PM, Fabian Wolff wrote: > Hi, > > today, I uploaded a new version of the z3 package, but the build > failed on mips64el with an interesting error message [0]: > > [ 56%] Building

Build failure on mips64el

Hi, today, I uploaded a new version of the z3 package, but the build failed on mips64el with an interesting error message [0]: [ 56%] Building CXX object src/tactic/arith/CMakeFiles/arith_tactics.dir/fm_tactic.cpp.o [...] In file included from /<>/src/util/rational.h:21,

Accepted dafny 2.3.0+dfsg-0.1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 14 Jan 2020 21:27:14 +0100 Source: dafny Architecture: source Version: 2.3.0+dfsg-0.1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Fabian Wolff Closes: 852645 934950 Changes: dafny

Accepted z3 4.8.7-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 13 Jan 2020 22:55:52 +0100 Source: z3 Architecture: source Version: 4.8.7-4 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Closes: 948763 Changes: z3 (4.8.7-4) unstable

Accepted z3 4.8.7-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jan 2020 16:35:48 +0100 Source: z3 Architecture: source Version: 4.8.7-3 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Closes: 948109 Changes: z3 (4.8.7-3) unstable

Accepted boogie 2.4.1+dfsg-0.1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 16 Dec 2019 14:25:20 +0100 Source: boogie Architecture: source Version: 2.4.1+dfsg-0.1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Fabian Wolff Closes: 927171 Changes: boogie (2.4.1

Accepted z3 4.8.7-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 09 Dec 2019 13:39:38 +0100 Source: z3 Architecture: source Version: 4.8.7-2 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Closes: 946448 Changes: z3 (4.8.7-2) unstable

Accepted z3 4.8.7-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 08 Dec 2019 21:59:24 +0100 Source: z3 Architecture: source Version: 4.8.7-1 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Changes: z3 (4.8.7-1) unstable; urgency=medium

Accepted dwarfutils 20191104-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 06 Nov 2019 21:52:10 +0100 Source: dwarfutils Architecture: source Version: 20191104-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Changes: dwarfutils (20191104-1) unstable

Accepted dwarfutils 20191002-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 05 Nov 2019 18:52:33 +0100 Source: dwarfutils Architecture: source Version: 20191002-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Changes: dwarfutils (20191002-1) unstable

Accepted backintime 1.2.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 30 Oct 2019 22:35:50 +0100 Source: backintime Architecture: source Version: 1.2.1-2 Distribution: unstable Urgency: medium Maintainer: Jonathan Wiltshire Changed-By: Fabian Wolff Closes: 941686 941984 942155 Changes

Accepted z3 4.8.6-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 15 Oct 2019 00:29:22 +0200 Source: z3 Architecture: source Version: 4.8.6-2 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Closes: 942154 Changes: z3 (4.8.6-2) unstable

Accepted z3 4.8.6-1 (source amd64) into unstable, unstable

Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team Changed-By: Fabian Wolff Description: libz3-4- theorem prover from Microsoft Research - runtime libraries libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft

Accepted eqonomize 1.4.2-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 14 Sep 2019 14:53:20 +0200 Source: eqonomize Architecture: source Version: 1.4.2-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Changes: eqonomize (1.4.2-1) unstable; urgency

Accepted libtcod 1.14.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 14 Sep 2019 14:41:48 +0200 Source: libtcod Architecture: source Version: 1.14.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Changes: libtcod (1.14.0+dfsg-1) unstable

Accepted libtcod 1.13.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 01 Sep 2019 16:35:20 +0200 Source: libtcod Architecture: source Version: 1.13.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Closes: 936925 Changes: libtcod (1.13.0+dfsg-1

Accepted z3 4.8.4-1 (source) into unstable

Packaging Team Changed-By: Fabian Wolff Description: libz3-4- theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from

Accepted libtcod 1.13.0-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 27 Aug 2019 17:56:10 +0200 Source: libtcod Binary: libtcod-dev libtcod1 libtcod1-dbgsym Architecture: source amd64 Version: 1.13.0-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff

Accepted dbacl 1.14.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 26 Aug 2019 14:16:21 +0200 Source: dbacl Architecture: source Version: 1.14.1-2 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Closes: 916182 Changes: dbacl (1.14.1-2) unstable

Accepted ffe 0.3.9-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 26 Aug 2019 14:04:13 +0200 Source: ffe Binary: ffe ffe-dbgsym Architecture: source amd64 Version: 0.3.9-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Description: ffe

Accepted aj-snapshot 0.9.9-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Aug 2019 13:29:27 +0200 Source: aj-snapshot Architecture: source Version: 0.9.9-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Changes: aj-snapshot (0.9.9-1) unstable

Accepted doclifter 2.19-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Aug 2019 23:56:47 +0200 Source: doclifter Architecture: source Version: 2.19-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Changes: doclifter (2.19-1) unstable; urgency

Accepted eqonomize 1.4.1-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 26 Aug 2019 00:37:56 +0200 Source: eqonomize Architecture: source Version: 1.4.1-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Changes: eqonomize (1.4.1-1) unstable; urgency

Accepted dwarfutils 20190529-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Aug 2019 17:39:12 +0200 Source: dwarfutils Architecture: source Version: 20190529-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Changes: dwarfutils (20190529-1) unstable

Accepted squirrel3 3.1-8 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 01 Aug 2019 15:01:06 +0200 Source: squirrel3 Architecture: source Version: 3.1-8 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Closes: 933589 Changes: squirrel3 (3.1-8) unstable

Accepted squirrel3 3.1-7 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 20 Mar 2019 20:37:02 +0100 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source Version: 3.1-7 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff

Accepted squirrel3 3.1-6 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Mar 2019 01:37:29 +0100 Source: squirrel3 Architecture: source Version: 3.1-6 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff Closes: 923012 Changes: squirrel3 (3.1-6) unstable

Accepted libpcl1 1.12-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 09 Sep 2018 21:00:38 +0200 Source: libpcl1 Binary: libpcl1-dev libpcl1 Architecture: source amd64 Version: 1.12-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Description

Accepted doclifter 2.18-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Sep 2018 12:17:08 +0200 Source: doclifter Binary: doclifter Architecture: source all Version: 2.18-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Description: doclifter

Accepted blhc 0.09-0.1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 31 Aug 2018 21:46:50 +0200 Source: blhc Binary: blhc Architecture: source all Version: 0.09-0.1 Distribution: unstable Urgency: medium Maintainer: Jari Aalto Changed-By: Fabian Wolff Description: blhc - build log

Accepted eqonomize 1.3.1-1 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 01 Sep 2018 15:46:34 +0200 Source: eqonomize Binary: eqonomize eqonomize-doc Architecture: source amd64 all Version: 1.3.1-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff

Accepted clex 4.6.patch8-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 01 Sep 2018 15:12:33 +0200 Source: clex Binary: clex Architecture: source amd64 Version: 4.6.patch8-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Description: clex

Accepted dwarfutils 20180809-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 29 Aug 2018 22:46:39 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source amd64 Version: 20180809-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff

Accepted pygccxml 1.9.1-1 (source all) into unstable

-By: Fabian Wolff Description: python-pygccxml - specialized XML reader reads the output from gccxml - python2 lib python-pygccxml-doc - specialized XML reader reads the output from gccxml - documentati python3-pygccxml - specialized XML reader reads the output from gccxml - python3 lib Changes

Accepted blhc 0.08-0.1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 22 Aug 2018 18:04:09 +0200 Source: blhc Binary: blhc Architecture: source all Version: 0.08-0.1 Distribution: unstable Urgency: medium Maintainer: Jari Aalto Changed-By: Fabian Wolff Description: blhc - build log

Accepted simpletal 4.3-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 11 Aug 2018 13:52:48 +0200 Source: simpletal Binary: python-simpletal Architecture: source all Version: 4.3-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff Description: python

Accepted grail 3.1.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 10 Aug 2018 23:35:37 +0200 Source: grail Binary: libgrail6 libgrail-dev grail-tools Architecture: source amd64 Version: 3.1.1-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff

Accepted srecord 1.64-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 10 Aug 2018 18:39:02 +0200 Source: srecord Binary: srecord libsrecord-dev libsrecord0 Architecture: source amd64 Version: 1.64-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group Changed-By: Fabian Wolff

Accepted cvc4 1.6-2 (source amd64) into unstable

-By: Fabian Wolff Description: cvc4 - automated theorem prover for SMT problems libcvc4-5 - automated theorem prover for SMT problems (runtime) libcvc4-dev - automated theorem prover for SMT problems (development files) libcvc4parser5 - automated theorem prover for SMT problems (parser runtime

Accepted cvc4 1.6-1 (source amd64) into unstable, unstable

-By: Fabian Wolff Description: cvc4 - automated theorem prover for SMT problems libcvc4-5 - automated theorem prover for SMT problems (runtime) libcvc4-dev - automated theorem prover for SMT problems (development files) libcvc4parser5 - automated theorem prover for SMT problems (parser runtime

Accepted backintime 1.1.24-0.1 (source all) into unstable

Wiltshire Changed-By: Fabian Wolff Description: backintime-common - simple backup/snapshot system (common files) backintime-gnome - GNOME front-end for backintime (transitional package) backintime-kde - KDE front-end for backintime (transitional package) backintime-qt4 - simple backup/snapshot

Accepted libtcod 1.7.0+dfsg-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 05 Jul 2018 12:22:52 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod python3-libtcod Architecture: source Version: 1.7.0+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed

Accepted libantlr3c 3.4+dfsg-2 (source amd64) into unstable

Changed-By: Fabian Wolff Description: libantlr3c-3.4-0 - ANTLR v3 parser generator C runtime libantlr3c-antlrdbg-3.4-0 - ANTLR v3 parser generator C runtime with ANTLR debugger libantlr3c-dev - ANTLR v3 parser generator C runtime [development files] Changes: libantlr3c (3.4+dfsg-2) unstable

Accepted libantlr3c 3.4+dfsg-1 (source amd64) into experimental, experimental

Group Changed-By: Fabian Wolff Description: libantlr3c-3.4-0 - ANTLR v3 parser generator C runtime libantlr3c-antlrdbg-3.4-0 - ANTLR v3 parser generator C runtime with ANTLR debugger libantlr3c-dev - ANTLR v3 parser generator C runtime [development files] Closes: 900601 Changes: libantlr3c (3.4

Accepted libtcod 1.7.0+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 17 Jun 2018 21:33:59 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod python3-libtcod Architecture: source Version: 1.7.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed

Accepted dwarfutils 20180527-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 01 Jun 2018 12:26:43 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source amd64 Version: 20180527-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff Changed-By: Fabian Wolff

Accepted libtcod 1.6.7+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 19 May 2018 21:16:24 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod python3-libtcod Architecture: source Version: 1.6.7+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi

Accepted gpp 2.25-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 15 May 2018 17:43:21 +0200 Source: gpp Binary: gpp Architecture: source amd64 Version: 2.25-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian Wolff &l

Accepted doclifter 2.17-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 14 May 2018 17:10:34 +0200 Source: doclifter Binary: doclifter Architecture: source all Version: 2.17-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian

Accepted libtcod 1.6.6+dfsg-1 (source amd64 all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 01 May 2018 18:29:02 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod python3-libtcod Architecture: source amd64 all Version: 1.6.6+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff

Accepted fox1.6 1.6.57-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 23 Apr 2018 21:32:14 +0200 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: source Version: 1.6.57-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted link-grammar 5.5.0-1 (source amd64 all) into unstable

-en link-grammar-dictionaries-all Architecture: source amd64 all Version: 5.5.0-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: liblink-grammar-dev - Carnegie Mellon University's

Accepted python-picklable-itertools 0.1.1-2 (source all) into unstable

Python Modules Team <python-modules-t...@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: python-picklable-itertools - picklable reimplementation of Python's itertools python3-picklable-itertools - picklable reimplementation of Python's itertools

Accepted eqonomize 1.2.0-1 (source amd64 all) into unstable

hanged-By: Fabian Wolff <fabi.wo...@arcor.de> Description: eqonomize - personal accounting software for the small household economy eqonomize-doc - documentation for the Eqonomize! accounting software Closes: 874860 875530 886536 Changes: eqonomize (1.2.0-1) unstable; urgency=medium .

Accepted apparix 11-062-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 02 Apr 2018 18:39:00 +0200 Source: apparix Binary: apparix Architecture: source Version: 11-062-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian Wolff &l

Accepted ffe 0.3.8-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 01 Apr 2018 21:15:13 +0200 Source: ffe Binary: ffe Architecture: source Version: 0.3.8-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian Wolff <fabi.wo...

Accepted dbacl 1.14.1-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 31 Mar 2018 21:59:24 +0200 Source: dbacl Binary: dbacl Architecture: source Version: 1.14.1-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian Wolff &l

Accepted aj-snapshot 0.9.8-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 31 Mar 2018 15:09:03 +0200 Source: aj-snapshot Binary: aj-snapshot Architecture: source Version: 0.9.8-1 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packa...@qa.debian.org> Changed-By: Fabian

Accepted libtcod 1.6.5+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Mar 2018 21:00:54 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod Architecture: source Version: 1.6.5+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20180129-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 17 Feb 2018 15:15:20 +0100 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source amd64 Version: 20180129-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted fox1.6 1.6.56-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 28 Jan 2018 18:50:26 +0100 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: source Version: 1.6.56-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted libtcod 1.6.4+dfsg-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 24 Dec 2017 17:59:10 +0100 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod Architecture: source Version: 1.6.4+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted libtcod 1.6.4+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 09 Dec 2017 15:48:50 +0100 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod Architecture: source Version: 1.6.4+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted cvc4 1.5-1 (source amd64) into unstable, unstable

nce-maintain...@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: cvc4 - automated theorem prover for SMT problems libcvc4-4 - automated theorem prover for SMT problems (runtime) libcvc4-dev - automated theorem prover for SMT problems (devel

Accepted fox1.6 1.6.55-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 24 Sep 2017 18:46:32 +0200 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: source Version: 1.6.55-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted squirrel3 3.1-5 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 17 Sep 2017 21:31:30 +0200 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source amd64 Version: 3.1-5 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted dwarfutils 20170709-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 13 Jul 2017 21:01:23 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20170709-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20170416-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jul 2017 14:31:46 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20170416-3 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted libtcod 1.6.3+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 21 Jun 2017 16:50:29 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod Architecture: source Version: 1.6.3+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted fox1.6 1.6.54-1 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 20 Jun 2017 13:51:06 +0200 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: source amd64 all Version: 1.6.54-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted fox1.6 1.6.53-1 (all amd64 i386 source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 11 Jan 2017 20:16:45 +0100 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: all amd64 i386 source Version: 1.6.53-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi

Accepted dwarfutils 20161124-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 25 Nov 2016 14:23:27 +0100 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20161124-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted python-picklable-itertools 0.1.1-1 (source all) into unstable, unstable

Wolff <fabi.wo...@arcor.de> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: python-picklable-itertools - picklable reimplementation of Python's itertools python3-picklable-itertools - picklable reimplementation of Python's itertools for Python 3 Closes: 841209 Chan

Accepted libtcod 1.6.1+dfsg-1 (source armhf) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 21 Oct 2016 18:59:46 +0200 Source: libtcod Binary: libtcod0 libtcod-dev python-libtcod Architecture: source armhf Version: 1.6.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted dwarfutils 20161001-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 20 Oct 2016 22:33:00 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20161001-2 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20161001-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 05 Oct 2016 16:14:02 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20161001-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20160923-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Sep 2016 17:05:31 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20160923-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted squirrel3 3.1-4 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 22 Jul 2016 13:43:59 +0200 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source Version: 3.1-4 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted z3 4.4.1-0.2 (source) into unstable

Tautschnig <m...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: libz3-4- theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - devel

Accepted z3 4.4.1-0.1 (source amd64 all) into unstable, unstable

: Michael Tautschnig <m...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: libz3-4- theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Micros

Accepted fox1.6 1.6.52-1 (all amd64 i386 source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jun 2016 22:10:25 +0200 Source: fox1.6 Binary: libfox-1.6-0 libfox-1.6-dev libfox-1.6-doc Architecture: all amd64 i386 source Version: 1.6.52-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi

Accepted squirrel3 3.1-3 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jun 2016 16:08:58 +0200 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source Version: 3.1-3 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20160613-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 26 Jun 2016 14:11:57 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source amd64 Version: 20160613-3 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted dwarfutils 20160613-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 22 Jun 2016 17:32:11 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20160613-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C

Accepted dwarfutils 20160507+git20160523.9086738-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 14 Jun 2016 15:25:47 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source Version: 20160507+git20160523.9086738-2 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi

Accepted dwarfutils 20160507+git20160523.9086738-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 03 Jun 2016 16:32:51 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev libdwarf1 Architecture: source amd64 Version: 20160507+git20160523.9086738-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi

Accepted aiksaurus 1.2.1+dev-0.12-6.3 (source) into unstable

+dev-0.12-6.3 Distribution: unstable Urgency: medium Maintainer: Masayuki Hatta (mhatta) <mha...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: aiksaurus - This package provides an English-language thesaurus (utility) gaiksaurus - graphical interface to t

Accepted dwarfutils 20160507-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 18 May 2016 17:11:18 +0200 Source: dwarfutils Binary: dwarfdump libdwarf-dev Architecture: source Version: 20160507-1 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor.de> Changed-By:

Accepted libtcod 1.6.0~pre1+dfsg-1 (source amd64) into unstable, unstable

hanged-By: Fabian Wolff <fabi.wo...@arcor.de> Description: libtcod-dev - development files for the libtcod roguelike library libtcod0 - graphics and utility library for roguelike developers Closes: 704587 Changes: libtcod (1.6.0~pre1+dfsg-1) unstable; urgency=medium . * Initial release. Clo

Accepted squirrel3 3.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 24 Apr 2016 21:07:47 +0200 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source amd64 Version: 3.1-2 Distribution: unstable Urgency: medium Maintainer: Fabian Wolff <fabi.wo...@arcor

Accepted squirrel3 3.1-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 03 Apr 2016 20:14:18 +0200 Source: squirrel3 Binary: squirrel3 libsquirrel3-0 libsquirrel-dev Architecture: source amd64 Version: 3.1-1 Distribution: unstable Urgency: low Maintainer: Fabian Wolff <fabi.wo...@arcor.de> C