Mon, 02 Dec 2024 18:06:38 UTC | login

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

Name/usr/share/info/mpfr.info.gz
Digest (sha256)4a2ec7c00922c519b4601d87080e1bc4494dbda41e17161ce68833c8a22e3e2d
Size62.95 KB
Modification timeFri, 10 Jul 2020 11:59:13 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmpfr-doc-4.1.0-2.fc33.noarch.rpm