jsonlint (1.5.0-1) unstable; urgency=medium [ Remi Collet ] * fix for 7.1 (_empty_ no more used) -- David Prévot Fri, 18 Nov 2016 14:55:40 -1000 jsonlint (1.4.1-1) unstable; urgency=medium * Update Standards-Version to 3.9.8 -- David Prévot Thu, 22 Sep 2016 15:24:41 -1000 jsonlint (1.4.0-2) unstable; urgency=medium * Update Standards-Version to 3.9.7 * Rebuild with latest pkg-php-tools for the PHP 7.0 transition -- David Prévot Sat, 05 Mar 2016 07:43:01 -0400 jsonlint (1.4.0-1) unstable; urgency=medium [ Jordi Boggiano ] * Make php7 support official * Add DuplicateKeyException * Prepare release 1.4 [ David Prévot ] * Use dpkg-parsechangelog instead of spurious regex (Closes: #799894) * Use --bootstrap switch instead of patches for tests -- David Prévot Tue, 24 Nov 2015 20:20:02 -0400 jsonlint (1.3.1-2) unstable; urgency=medium * Install CLI as phplint-php (Closes: #778454) -- David Prévot Sun, 15 Feb 2015 10:31:40 -0400 jsonlint (1.3.1-1) unstable; urgency=low [ andrea rota ] * Initial release (closes: #714178) -- David Prévot Fri, 13 Feb 2015 13:17:29 -0400