../ debian/ 06-Nov-2019 09:18 - release/ 01-Oct-2019 07:31 - src/ 25-Sep-2019 17:43 - CMakeLists.txt 30-Jul-2018 15:34 678 HOW-TO-COMPILE.txt 25-Sep-2019 17:43 2523 LICENSES.txt 18-May-2019 17:29 277 make-linux.sh 09-Jul-2019 17:41 750 make-macos.sh 25-Sep-2019 17:43 1199