Sat, 31 Jul 2021 10:38:47 UTC

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

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