Mon, 26 Jul 2021 06:08:07 UTC

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

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