Mon, 17 Jun 2024 11:04:00 UTC | login

Information for file /usr/share/info/mpfr.info.gz

Name/usr/share/info/mpfr.info.gz
Digest (sha256)6d14b71880b25f9fe70ca6d1642d33360e351c95f9bb2304ed37d6a61e42d33f
Size51.73 KB
Modification timeThu, 15 Feb 2018 04:34:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmpfr-devel-3.1.4-1.fc27.riscv64.rpm