flint-arb (2.11.1-2) unstable; urgency=medium * Team upload. * Bump flint Build-Depends version to pull in bugfixes there. -- Ximin Luo Thu, 09 Nov 2017 11:39:45 +0100 flint-arb (2.11.1-1) unstable; urgency=medium * New upstream release. * Mark libflint-arb1 as Multi-Arch: same. * Remove the fix flint includes patch (applied upstream). * Follow soname bump from 1 to 2. * Make the compilation of tests verbose (avoids build logs warnings). * Enable all hardening options. * Remove unused lintian override. * Install the lib into a multi-arch /usr/lib/ subdirectory using dh-exec. * Push standards-version to 4.1.1. * Bump d/watch to version 4. -- Julien Puydt Mon, 06 Nov 2017 10:26:08 +0100 flint-arb (2.8.1-3) unstable; urgency=medium * Add a patch from Logan Rosen to fix FTBFS with PIE. (Closes: #837454) * Push dh compat to 10. * Follow Multi-Arch hinter advices. -- Julien Puydt Fri, 28 Oct 2016 13:42:44 +0200 flint-arb (2.8.1-2) unstable; urgency=medium [ Tobias Hansen ] * Team upload. * New patch flint_incldues.patch to fix flint includes. [ Julien Puydt ] * Push standards-version up to 3.9.8 -- Tobias Hansen Mon, 01 Aug 2016 17:57:17 +0100 flint-arb (2.8.1-1) unstable; urgency=medium * Initial release. (Closes: #797822) * Push standards-version up to 3.9.7 * Fix Vcs-* fields -- Julien Puydt Sun, 17 Apr 2016 21:48:37 +0200