@gugavaro
gugavaro adding fstar-version.json file
Latest commit ff810f3 Jul 30, 2018