Index of /pub/unix/systems/Linux/xdefactor

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]patch-0.9.3-p1.patch2001-12-08 22:03 854  
[   ]patch-0.9.4-pre52002-01-08 20:26 1.5K 
[   ]xdefactor-0.8.7.tar.gz2001-11-05 04:50 32K 
[   ]xdefactor-0.9.1.tar.gz2001-11-18 14:07 36K 
[   ]xdefactor-0.9.2.tar.gz2001-12-03 10:20 176K 
[   ]xdefactor-0.9.3.tar.gz2001-12-04 22:38 129K 
[   ]xdefactor-0.9.4-1.tar.gz2002-01-30 14:10 205K 
[   ]xdefactor-0.9.4-2.tar.gz2002-02-06 18:57 209K 
[   ]xdefactor-0.9.4-3.tar.gz2002-02-11 23:16 210K 
[   ]xdefactor-0.9.4-pre1.tar.gz2001-12-16 13:49 160K 
[   ]xdefactor-0.9.4-pre2.tar.gz2001-12-22 09:55 147K 
[   ]xdefactor-0.9.4-pre3.tar.gz2001-12-24 23:03 161K 
[   ]xdefactor-0.9.4-pre4.tar.gz2002-01-07 14:10 202K 
[   ]xdefactor-0.9.4.tar.gz2002-01-13 20:05 196K 

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