Tue, 03 Aug 2021 19:23:52 UTC

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

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