Wed, 28 Jul 2021 11:58:26 UTC

Information for file /usr/share/doc/Agda-stdlib-docs/html/Agda.css

Name/usr/share/doc/Agda-stdlib-docs/html/Agda.css
Digest (sha256)daf94f7fe6edc5b550740ee7a459089496cb72b4e4b76d37ebe025be95fbfaff
Size1219
Modification timeWed, 03 Feb 2016 15:29:32 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-0.9-3.fc24.noarch.rpm