Console Output

+ ls /root/workspace/mizar/
mizar
mizar_2023-12-18_19-47-52
mizar_2023-12-18_19-47-52.zip
mizar@tmp
version.json