Index of /pub/unix/systems/Linux/GNOME/sources/gal/0.17

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]gal-0.17.tar.gz.sha256sum2002-01-04 06:48 82  
[   ]gal-0.17.tar.gz.md52002-01-04 06:48 50  
[   ]gal-0.17.tar.bz2.sha256sum2002-01-04 06:48 83  
[   ]gal-0.17.tar.bz2.md52002-01-04 06:48 51  
[   ]gal-0.16-0.17.diff.gz.sha256sum2002-01-04 06:48 88  
[   ]gal-0.16-0.17.diff.gz.md52002-01-04 06:48 56  
[   ]gal-0.16-0.17.diff.gz2001-11-01 08:33 5.8K 
[   ]gal-0.17.tar.bz22001-11-01 08:33 851K 
[   ]gal-0.17.tar.gz2001-11-01 08:33 1.0M 

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