Sat, 31 Jul 2021 16:48:47 UTC

Information for file /usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agdai

Name/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agdai
Digest (sha256)9b9ba6676c803a779df3255f86d5e4ea3ade8900ce1b4ec6c24ee2d29137947d
Size68250
Modification timeWed, 29 Aug 2018 04:37:01 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm