Mon, 26 Jul 2021 03:38:08 UTC

Information for file /usr/share/doc/Agda-stdlib-docs

Name/usr/share/doc/Agda-stdlib-docs
Digest (sha256)
Size4096
Modification timeWed, 03 Feb 2016 15:30:05 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMAgda-stdlib-docs-0.9-3.fc24.noarch.rpm