Wed, 20 Nov 2024 18:00:10 UTC | login

Information for file /usr/share/doc/ghc/html/Haddock/_static/documentation_options.js

Name/usr/share/doc/ghc/html/Haddock/_static/documentation_options.js
Digest (sha256)b3164f6a29341adb515860eeeeebb94d66b615dfffd429269666a305bb641f8a
Size326.00 B
Modification timeThu, 15 Feb 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-manual-9.4.5-140.fc40.noarch.rpm