Information for file wai-extra-3.1.13.0.tar.gz
| Name | wai-extra-3.1.13.0.tar.gz |
|---|---|
| Digest (sha256) | df0d2d275bc3c888fae9cf525496140c707cbccfdf013a36dc00e7a94ac38cc0 |
| Size | 80.32 KB |
| Modification time | Sun, 22 Jan 2023 17:52:08 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | ghc-wai-extra-3.1.13.0-3.rvre0.fc38.src.rpm |
