Information for file fingertree-0.1.5.0.tar.gz
| Name | fingertree-0.1.5.0.tar.gz |
|---|---|
| Digest (sha256) | f3263c92fa8b18f1e1a64cd12480c8c1bee2c1fa0584ab3345f3dd8522bdbf71 |
| Size | 20.17 KB |
| Modification time | Tue, 07 Jun 2022 05:23:19 UTC |
| User | root |
| Group | root |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | ghc-fingertree-0.1.5.0-11.fc41.src.rpm |
