Index of /pub/unix/systems/Linux/GNOME/devtools/2.19

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]2.19.5/2019-05-17 01:10 -  
[DIR]2.19.92/2007-09-05 21:37 -  
[DIR]2.19.91/2007-08-29 20:50 -  
[DIR]2.19.90/2007-08-16 10:25 -  
[DIR]2.19.6/2007-08-01 16:16 -  
[DIR]2.19.4/2007-07-04 23:45 -  
[DIR]2.19.3/2007-06-07 03:33 -  
[DIR]2.19.2/2007-05-16 18:16 -  
[DIR]2.19.1/2007-04-25 22:54 -  

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