Fri, 06 Aug 2021 04:23:54 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Monoid-solver.agdai
Digest (sha256)ea52cd81b5933753bf09c7c37e98a55da7a60a037022e0f91b59d99df0484a41
Size156660
Modification timeWed, 29 Aug 2018 04:38:59 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm