Information for file extra-1.7.12.tar.gz
| Name | extra-1.7.12.tar.gz |
|---|---|
| Digest (sha256) | e571a9ec1d8865f0fbb0e0ba1eb575f783b0365c80db19b54a93600bae43b03c |
| Size | 44.53 KB |
| Modification time | Sun, 22 Jan 2023 15:32:32 UTC |
| User | riscv |
| Group | riscv |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | ghc-extra-1.7.12-3.rvre0.fc38.src.rpm |
