Crafty 1.3.1

pts/crafty-1.3.1 - 25 August 2016 - Update CFLAGS handling, update download links

downloads.xml

install.sh

install_windows.sh

results-definition.xml

test-definition.xml