Wed, 28 Jul 2021 18:29:57 UTC

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

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