Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/tar.gif){kind=icon}
mizar-8.1.15_5.94.1493-i386-darwin.tar 2025-05-30 13:19 55M
mizar-8.1.15_5.94.1493-i386-linux.tar 2025-05-30 13:15 52M
![[ ]](/icons/binary.gif){kind=icon}
mizar-8.1.15_5.94.1493-i386-win32.exe 2025-05-30 11:37 40M