Information for file /usr/share/doc/ghc/html/libraries/ieee754-0.8.0/doc-index.html
Name | /usr/share/doc/ghc/html/libraries/ieee754-0.8.0/doc-index.html |
---|---|
Digest (sha256) | 7ac341dbf302f10937b608adb83b8c9e3a145bc5ba8fdd9f9c8f674923979459 |
Size | 4.53 KB |
Modification time | Fri, 28 Oct 2022 07:11:34 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | ghc-ieee754-doc-0.8.0-26.fc37.noarch.rpm |