Information for file ghc-ieee754.spec
| Name | ghc-ieee754.spec |
|---|---|
| Digest (sha256) | e7f3401046bf968431d463382a546a5a11dcc5f5c0046d775552d0606bea60a5 |
| Size | 5.59 KB |
| Modification time | Wed, 24 Jan 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw------- |
| Flags | |
| RPM | ghc-ieee754-0.8.0-31.fc40.src.rpm |
