Fri, 30 Jul 2021 15:12:56 UTC

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

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