Simon Vieille 262980c36e add debian packaging ... rename builds to include the version		2024-07-24 11:38:33 +02:00
..
build-debs.sh	add debian packaging	2024-07-24 11:38:33 +02:00
rename-builds.sh	add debian packaging	2024-07-24 11:38:33 +02:00