Index of /mirror/marvin/0/ubuntu_amd64/pool/main/m/mpfr4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libmpfr-dev_4.0.1-1_amd64.deb2020-04-28 16:15 244K 
[ ]libmpfr-dev_4.0.2-1_amd64.deb2021-03-16 13:57 234K 
[ ]libmpfr-doc_4.0.1-1_all.deb2020-04-28 16:03 629K 
[ ]libmpfr-doc_4.0.2-1_all.deb2021-03-16 13:36 631K 
[ ]libmpfr6_4.0.1-1_amd64.deb2020-04-28 16:03 237K 
[ ]libmpfr6_4.0.2-1_amd64.deb2021-03-16 13:45 235K 
Apache/2.4.65 (Debian) Server at 7s01.7si.ch Port 1081