Sat, 23 Nov 2024 15:11:39 UTC | login

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

Name/usr/share/doc/ghc/html/Haddock/_static/jquery.js
Digest (sha256)ff1523fb7389539c84c65aba19260648793bb4f5e29329d2ee8804bc37a3fe6e
Size87.40 KB
Modification timeThu, 06 Apr 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-manual-9.2.6-130.1.riscv64.fc38.noarch.rpm