Build2 1.3.0

pts/build2-1.3.0 - 10 August 2024 - Update against Build2 v0.17 to fix build problems on modern distros.

downloads.xml

install.sh

results-definition.xml

test-definition.xml