Tue, 03 Aug 2021 08:57:29 UTC

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

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