Thu, 05 Aug 2021 15:46:30 UTC

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

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