Tue, 17 Dec 2024 10:59:48 UTC | login

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
Size188.52 KB
Modification timeThu, 13 Aug 2020 15:37:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-pipes-safe-doc-2.3.2-4.fc33.noarch.rpm