Mon, 16 Dec 2024 15:21:32 UTC | login

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

Name/usr/share/doc/ghc/html/libraries/servant-0.18.3/Servant-API-Modifiers.html
Digest (sha256)c1c138388e322c69c8832c4fd32e72b7bb858e1e3d983240eac2d6eb225724aa
Size31.55 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