Wed, 28 Jul 2021 18:26:03 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agdai
Digest (sha256)197339b6660779cac7e838e89afbc915fba7fed8c8f368019f95401d286a8fe2
Size65790
Modification timeWed, 29 Aug 2018 04:37:40 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm