Console Output

+ ls /root/workspace/mizar/
mizar
mizar_2023-12-21_14-29-49
mizar_2023-12-21_14-29-49.zip
mizar@tmp
version.json