Information for file /usr/share/doc/ghc/html/libraries/pipes-safe-2.3.2/Pipes-Safe.html
Name | /usr/share/doc/ghc/html/libraries/pipes-safe-2.3.2/Pipes-Safe.html |
---|---|
Digest (sha256) | 9fc2a62130d25c52c1ac34e3ed3104517f457296f7c17704c439023d04d85a32 |
Size | 188.52 KB |
Modification time | Thu, 13 Aug 2020 15:37:09 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | ghc-pipes-safe-doc-2.3.2-4.fc33.noarch.rpm |