Tue, 27 Jul 2021 19:41:54 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agda
Digest (sha256)d2a67cb0273d547b1257f33d410d15f979d31794eab379d035821e80785d5965
Size1712
Modification timeMon, 12 Mar 2018 15:43:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm