Index of /gnome/sources/libIDL

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 0.8/                    2010-03-30 12:38    -   
 cache.json              2011-03-29 11:27  4.9K  
 0.7/                    2019-05-17 01:41    -

Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80