Index of /debian/dists/sid/main/source

 Name                    Last modified      Size  
 Parent Directory                             -   
 Release                 2017-06-18 10:28  105   
 Sources.diff/           2023-09-28 04:18    -   
 Sources.gz              2023-09-28 04:02   13M  
 Sources.xz              2023-09-28 04:02  9.7M  
 by-hash/                2016-05-19 00:12    -

Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80