Information for file resource-pool-0.2.3.2.tar.gz
Name | resource-pool-0.2.3.2.tar.gz |
---|---|
Digest (sha256) | 8627eea2bea8824af2723646e74e2af0c73f583dd0c496c9fd242cd9d242bc12 |
Size | 6.37 KB |
Modification time | Mon, 28 Aug 2017 23:19:13 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | ghc-resource-pool-0.2.3.2-13.fc31.src.rpm |