Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

To: 830569@bugs.debian.org
Cc: Jakub Wilk <jwilk@debian.org>, Gianfranco Costamagna <locutusofborg@debian.org>
Subject: Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
From: Fabian Wolff <fabi.wolff@arcor.de>
Date: Wed, 13 Jul 2016 19:14:33 +0200
Message-id: <[🔎] 20160713171433.GA7728@localhost.localdomain>
Reply-to: Fabian Wolff <fabi.wolff@arcor.de>, 830569@bugs.debian.org
In-reply-to: <[🔎] 1793407279.3095478.1468350826268.JavaMail.yahoo@mail.yahoo.com>
References: <[🔎] 20160709141404.GA12168@localhost.localdomain> <[🔎] 20160709183321.GA8601@jwilk.net> <[🔎] 20160709215238.GA9467@jwilk.net> <20160712124729.GA3558@localhost.localdomain> <[🔎] 1793407279.3095478.1468350826268.JavaMail.yahoo@mail.yahoo.com>

Control: reopen -1

I have

 - added Breaks + Replaces in debian/control
 - fixed the copyright information for hamiltonian.py
 - enabled most tests
 - enabled hardening flags

This should address the remaining issues the two of you found in the
previous package.

  https://mentors.debian.net/package/z3
  https://mentors.debian.net/debian/pool/main/z/z3/z3_4.4.1-0.1.dsc

Regards,
 Fabian

Reply to:

References:
- Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
  - From: Fabian Wolff <fabi.wolff@arcor.de>
- Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
  - From: Jakub Wilk <jwilk@debian.org>
- Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
  - From: Jakub Wilk <jwilk@debian.org>
- Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
  - From: Gianfranco Costamagna <locutusofborg@debian.org>

Prev by Date: Processed: Re: Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
Next by Date: Bug#829151: RFS: setcolortemperature/1.1-1 ITP
Previous by thread: Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
Next by thread: Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
Index(es):
- Date
- Thread