Sun, 01 Aug 2021 05:43:51 UTC

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

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