Thu, 05 Aug 2021 14:36:41 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver.agdai
Digest (sha256)7aa2f14fd5c314a07a63eab61266681c20da46dc27f319e7cc98d4c9bdd4d65e
Size136975
Modification timeWed, 29 Aug 2018 04:38:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm