Mon, 26 Jul 2021 05:49:41 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/IdempotentCommutativeMonoidSolver
Digest (sha256)
Size0
Modification timeWed, 29 Aug 2018 04:38:37 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm