Index of ftp://ftp.mizar.org

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

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

     Indexed at: Tue Jun  6 02:54:35 2023
=======================================================

[DIR] Main Index

[DIR] arm-linux  4.00Kb  December 12 2019
[DIR] current  4.00Kb  March 3 2022
[DIR] i386-darwin  4.00Kb  January 21 2023 at 00:45
[DIR] i386-freebsd  8.00Kb  December 12 2019
[DIR] i386-linux  8.00Kb  January 21 2023 at 00:45
[DIR] i386-solaris  8.00Kb  December 12 2019
[DIR] i386-win32  20.00Kb  April 4 2023 at 23:43
[DIR] ppc-darwin  4.00Kb  December 12 2019
[DIR] ppc-linux  4.00Kb  December 12 2019