Information for file /usr/share/licenses/ghc-ieee754/LICENSE
| Name | /usr/share/licenses/ghc-ieee754/LICENSE |
|---|---|
| Digest (sha256) | 92c041cf22d819875ae3458cc3db50f11a7016cb677742d36c2600e926a98a77 |
| Size | 1.44 KB |
| Modification time | Mon, 30 Jan 2017 11:15:18 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
license |
| RPM | ghc-ieee754-0.8.0-15.fc31.riscv64.rpm |
