Sat, 30 Nov 2024 20:49:12 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 timeWed, 16 May 2018 07:34:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmpfr-devel-3.1.6-1.fc29.riscv64.rpm