Tue, 10 Dec 2024 23:23:01 CET | login

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

Name/usr/share/info/mpfr.info.gz
Digest (sha256)1b853f6ca13e643d6b3013d526e267b98fc015c7705605463cf41926a694bbfc
Size51155
Modification timeTue, 10 Jun 2014 03:11:34 CEST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMmpfr-devel-3.1.1-4.el7.x86_64.rpm