Sun, 25 Jul 2021 11:58:12 UTC

Information for file /usr/share/doc/ghc/html/libraries/pretty-1.1.3.3/ocean.css

Name/usr/share/doc/ghc/html/libraries/pretty-1.1.3.3/ocean.css
Digest (sha256)dacf01489218cb086edc01a4918fc2c2ac2f9809cebee2ec3a82011e771e8ba2
Size9494
Modification timeThu, 16 May 2019 23:30:36 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-pretty-devel-1.1.3.3-68.3.el8.ppc64le.rpm