Wed, 04 Aug 2021 23:50:40 UTC

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

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