Benoît S. 7419937196 Force pining to php* ... Why? Because we have some meta-packages like php which redirect to php7.0 or php7.1. With this, all php packages will be 7.1 (default from sury).		2017-09-20 15:06:15 +02:00
..
sury.preferences	Force pining to php*	2017-09-20 15:06:15 +02:00