Wed, 04 Aug 2021 10:28:36 UTC

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

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