Name Last modified Size Description Parent Directory - mizar-8.1.11_5.68.1412-i386-linux.tar 2022-02-28 12:26 49M mizar-8.1.11_5.68.1412-i386-darwin.tar 2022-02-28 12:23 46M mizar-8.1.11_5.68.1412-i386-win32.exe 2021-12-08 14:37 37M