Perms
Size
Modified
Name
Actions
drwx
DIR
Sep 24 21:21
mpfr
[rename] [delete]
0644
34.32K
Jul 03 15:01
COPYING
[edit] [rename] [delete]
0644
7.46K
Jul 03 15:01
COPYING.LESSER
[edit] [rename] [delete]
0644
15.80K
Jul 03 15:01
NEWS
[edit] [rename] [delete]
0644
3.71K
Jul 03 15:01
README
[edit] [rename] [delete]