Bug#778454: [pkg-php-pear] Bug#778454: jsonlint: /usr/bin/jsonlint conflit with python-demjson

2015-02-15 Thread David Prévot
Control: severity -1 grave Control: clone -1 -2 Control: reassign -2 python-demjson Control: severity -2 wishlist Control: retitle -2 Please add a hint on the jsonlint CLI Hi, Le 15/02/2015 06:28, Jerome Robert a écrit : > Package: jsonlint > Version: 1.3.1-1 > Severity: normal > > /usr/bin/json

Bug#778454: jsonlint: /usr/bin/jsonlint conflit with python-demjson

2015-02-15 Thread Jerome Robert
Package: jsonlint Version: 1.3.1-1 Severity: normal /usr/bin/jsonlint is already installed by python-demjson. May be it should just be renamed to jsonlint-php instead of adding a Conflit: relation. # apt-get install jsonlint Reading package lists... Done Building dependency tree Reading s