Index of /ondrej/php/ubuntu/dists/disco

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]InRelease2020-02-01 18:00 20K 
[   ]Release2020-02-01 18:00 20K 
[   ]Release.gpg2020-02-01 18:00 299  
[DIR]by-hash/2019-03-07 20:08 -  
[DIR]main/2019-03-07 20:07 -  

Apache/2.4.18 (Ubuntu) Server at ppa.launchpad.net Port 80