Index of /pub/unix/infosystems/arena/0.96s

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1995-07-24 00:00 1.2K 
[   ]arena-88k-dgux-4.5.31995-07-12 00:00 547K 
[   ]arena-NetBSD-Amiga.tgz1995-05-12 00:00 201K 
[   ]arena-bsdi-2.0.gz1995-04-11 00:00 333K 
[   ]arena-decalpha-2.1.gz1995-03-29 00:00 274K 
[   ]arena-decstation-4.3.bin.gz1995-03-22 00:00 301K 
[   ]arena-dynix-ptx-2.0.gz1995-07-13 00:00 769K 
[   ]arena-i386-freebsd.gz1995-03-29 00:00 860K 
[   ]arena-i386-netbsd-1.0.gz1995-04-09 00:00 213K 
[   ]arena-linux-1.2.0.bin.gz1995-03-22 00:00 185K 
[   ]arena-rs6000-3.2.bin.gz1995-03-22 00:00 465K 
[   ]arena-sco-odt3.Z1995-07-28 00:00 428K 
[   ]arena-sco-os5.Z1995-07-28 00:00 278K 
[   ]arena-sgi-5.2.bin.gz1995-03-22 00:00 214K 
[   ]arena-snake-9.01.bin.gz1995-03-22 00:00 213K 
[   ]arena-solx86-2.4-ow.gz1995-03-22 00:00 212K 
[   ]arena-solx86-2.4-xfree.gz1995-03-22 00:00 212K 
[   ]arena-sun3.bin.gz1995-03-21 00:00 193K 
[   ]arena-sun4-4.1.3-lresolv.bin.gz1995-03-22 00:00 395K 
[   ]arena-sun4-4.1.3.bin.gz1995-03-22 00:00 387K 
[   ]arena-sun4-5.3.bin.gz1995-03-30 00:00 205K 
[   ]arena-unixware-2.0.bin.gz1995-07-25 00:00 188K 
[   ]arena-vax-ultrix.bin.gz1995-03-21 00:00 297K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443