Tue, 25 Jun 2024 13:45:38 UTC | login

Information for file /usr/share/doc/ghc/html/users_guide/_static/plus.png

Name/usr/share/doc/ghc/html/users_guide/_static/plus.png
Digest (sha256)54115199b96a130cba02147c47c0deb43dcc9b9f08b5162bba8642b34980ac63
Size90.00 B
Modification timeThu, 13 Aug 2020 15:46:39 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-manual-8.8.4-107.0.riscv64.fc33.noarch.rpm