Tue, 17 Dec 2024 10:56:17 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/pipes-safe-2.3.2/pipes-safe.txt

Name/usr/share/doc/ghc/html/libraries/pipes-safe-2.3.2/pipes-safe.txt
Digest (sha256)bb2b0bcab40ce2e752188974c215cb1d56c56d47edf713da479f73a901e777ac
Size12.07 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