Gianfranco Costamagna 9b316ef167 Fix wrong generation of libomp5 dependency instead of libomp5-X one ... (this is an issue when you explicitly want a libomp-X instead of the latest libomp-X+1, since they aren't coinstallable)		2019-08-01 18:58:33 +02:00
debian	Fix wrong generation of libomp5 dependency instead of libomp5-X one	2019-08-01 18:58:33 +02:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00