Sireum Logika amd64: mac, linux, windows maven package repository Testing macOS/Linux bin/build.cmd test test-js Windows bin\build.cmd test test-js
