Sun, 24 Nov 2024 15:55:35 CET | login

Information for file /usr/share/doc/ghc/html/libraries/void-0.5.11/ocean.css

Name/usr/share/doc/ghc/html/libraries/void-0.5.11/ocean.css
Digest (sha256)2b6fb836af1298b07d5ae96898e438381cdf98742ca78053b418de603055314c
Size8172
Modification timeFri, 02 Dec 2016 08:39:13 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-void-devel-0.5.11-3.el7.x86_64.rpm