Mon, 16 Dec 2024 15:45:46 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/servant-0.18.3/Servant-API-Stream.html

Name/usr/share/doc/ghc/html/libraries/servant-0.18.3/Servant-API-Stream.html
Digest (sha256)a9fdf6ec9f12059f7cab2ba8e3478480a89ecb2dabacdf72b8129cd0e8fe0ca3
Size54.07 KB
Modification timeThu, 03 Nov 2022 03:31:17 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-servant-doc-0.18.3-4.fc37.noarch.rpm