Sat, 31 Jul 2021 14:39:19 UTC

Information for file /usr/share/doc/Agda-stdlib-docs/html/Data.AVL.Sets.html

Name/usr/share/doc/Agda-stdlib-docs/html/Data.AVL.Sets.html
Digest (sha256)b460e754264e50386e156e546288d5e462b16362267e7a7bfc50f7ca9bea7d84
Size22882
Modification timeWed, 03 Feb 2016 15:29:33 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-0.9-3.fc24.noarch.rpm