Thu, 05 Aug 2021 13:50:13 UTC

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

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