Index of /ubuntu/pool/universe/d/double-conversion

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]libdouble-conversion-dev_3.1.5-4ubuntu1_amd64.deb2020-01-10 07:43 51K 
[   ]libdouble-conversion3_3.1.5-4ubuntu1_amd64.deb2020-01-10 07:43 37K 

Apache/2.4.41 (Ubuntu) Server at fermi.inf.unibz.it Port 80