Thu, 05 Aug 2021 14:18:11 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agdai
Digest (sha256)c53263a15c89306a88c2ab3e498e76341ba2831f1ef6bcb03ce0fdd9965870f7
Size76293
Modification timeWed, 29 Aug 2018 04:36:57 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm