Sat, 30 Nov 2024 16:58:08 UTC | login

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

Name/usr/share/info/mpfr.info.gz
Digest (sha256)5b09c22ca8907535d18de663e199c6c610e5b74ada5e191a56308fe285543078
Size51.95 KB
Modification timeThu, 07 Sep 2017 11:47:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmpfr-devel-3.1.6-3.fc30.riscv64.rpm