Index of /debian/dists/dev

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]InRelease08-Aug-2017 01:08 2.2K 
[   ]Release08-Aug-2017 01:08 1.6K 
[   ]Release.gpg08-Aug-2017 01:08 490  
[DIR]main/03-Oct-2014 12:05 -  

Apache/2.2.16 (Debian) Server at repository.crdp.ac-versailles.fr Port 80