Sat, 31 Jul 2021 06:19:16 UTC

Information for file /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html

Name/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html
Digest (sha256)0199a46f078dd5b18d669304c1773084c678674bf83c47ed45cc9b8a4df33f3c
Size21472
Modification timeTue, 28 Jan 2020 09:20:34 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-1.1-2.fc32.noarch.rpm