Thu, 28 Nov 2024 09:09:00 UTC | login

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

Name/usr/share/doc/ghc/html/libraries/pipes-4.3.16/Pipes.html
Digest (sha256)77d82008af246822b7067bcdc78fab5f47cd5d8b49783cd6d8a2e03fc52fc3de
Size280.83 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