Index of /debian/dists/petra

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]InRelease2020-05-05 14:54 3.1K 
[ ]Release2020-05-05 14:54 2.2K 
[ ]Release.gpg2020-05-05 14:54 833  
[DIR]main/2014-05-28 19:01 -  
Apache/2.4.25 (Debian) Server at files.eid.belgium.be Port 80