Sun, 24 Nov 2024 15:58:50 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/pipes-4.3.16/doc-index.html

Name/usr/share/doc/ghc/html/libraries/pipes-4.3.16/doc-index.html
Digest (sha256)e03cc14daedcda75c54115fa0719180edb14e15dfe0acae058d5d0d41a1c5276
Size2.53 KB
Modification timeSat, 29 Oct 2022 17:23:33 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-pipes-doc-4.3.16-4.fc37.noarch.rpm