Index of /pool/main/m/mpfr4/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libmpfr4_3.1.5-1_amd64.deb	556204	27-Sep-2016 17:57
libmpfr4_3.1.5-1_armhf.deb	536336	27-Sep-2016 19:18