Tue, 27 Jul 2021 10:12:38 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Operations.agdai
Digest (sha256)0958fca335a6735520c69594a00f2f87a2221aa449eb634067f1d55012ea4ab4
Size128471
Modification timeWed, 29 Aug 2018 04:37:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm