Tue, 03 Aug 2021 22:09:16 UTC

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

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