| Name | Size | Perms | Modified | Actions |
|---|---|---|---|---|
| 📁mpfr | - | drwxr-xr-x | 2022-06-30 22:57 | Rename Delete |
| 📄COPYING | 34.32 KB | -rw-r--r-- | 2012-07-03 15:01 | View Rename Delete |
| 📄COPYING.LESSER | 7.46 KB | -rw-r--r-- | 2012-07-03 15:01 | View Rename Delete |
| 📄NEWS | 15.8 KB | -rw-r--r-- | 2012-07-03 15:01 | View Rename Delete |
| 📄README | 3.71 KB | -rw-r--r-- | 2012-07-03 15:01 | View Rename Delete |