Sat, 23 Nov 2024 15:18:55 UTC | login

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

Name/usr/share/doc/ghc/html/Haddock/_static/doctools.js
Digest (sha256)3d62b81f63b0418a39a8f5a323203d88ddafc8c5226f86d311970025d86d7b6c
Size4.37 KB
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