Filename Modification time Size clean.sh 2014-03-01 04:01 CET 1015 B prereq.sh 2014-12-10 04:01 CET 868 B setup.sh 2014-12-10 04:01 CET 917 B tests.sh 2017-06-16 05:00 CEST 6286 B