Information for file pipes-4.3.16.tar.gz
| Name | pipes-4.3.16.tar.gz |
|---|---|
| Digest (sha256) | f4e16ecf010fd681a56e6216ab1bd429f3c9bc962ec032e32cfd23e374e97498 |
| Size | 42.21 KB |
| Modification time | Thu, 08 Jul 2021 03:21:22 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ghc-pipes-4.3.16-12.fc40.src.rpm |
