change git url
Merge branch '0.5.0-debian' into release/main
remove build.xml as it shall not be necessary
Merge branch '0.5.0-debian' into release/main
modify dependencies
Merge branch '0.5.0-debian' into release/main
package
Merge branch 'debian' into release/main
Merge branch 'release/main' into stable/main