Tue, 03 Aug 2021 10:32:17 UTC

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

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