Sat, 31 Jul 2021 10:22:55 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agdai
Digest (sha256)466dcf99a990e7ae46e9c72063d0f9b24a6c168d65c6c9f838713585780705fc
Size59670
Modification timeWed, 29 Aug 2018 04:36:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm