Index of ftp://ftp.mizar.org

=======================================================
  Server: ftp://ftp.mizar.org

     Total files found: 807
     Total  dirs found: 9
     Total links found: 0

     Indexed at: Thu Jul 14 00:08:35 2022
=======================================================

Main Index

arm-linux	4.00Kb	December 12 2019
current	4.00Kb	March 3 2022 at 00:45
i386-darwin	4.00Kb	March 1 2022 at 00:42
i386-freebsd	8.00Kb	December 12 2019
i386-linux	8.00Kb	March 1 2022 at 00:42
i386-solaris	8.00Kb	December 12 2019
i386-win32	20.00Kb	April 27 2022 at 23:46
ppc-darwin	4.00Kb	December 12 2019
ppc-linux	4.00Kb	December 12 2019