Index of ftp://ftp.mizar.org/current
Root Directory
mizar-8.1.11_5.68.1412-i386-darwin.tar
45.56Mb
February 28 2022
mizar-8.1.11_5.68.1412-i386-linux.tar
49.24Mb
February 28 2022
mizar-8.1.11_5.68.1412-i386-win32.exe
37.00Mb
December 8 2021
![[DIR]](/icons/back.gif){kind=icon}
Root Directory![[TAR]](/icons/tar.gif){kind=icon}
mizar-8.1.11_5.68.1412-i386-darwin.tar mizar-8.1.11_5.68.1412-i386-linux.tar![[BIN]](/icons/binary.gif){kind=icon}
mizar-8.1.11_5.68.1412-i386-win32.exe