Wed, 04 Aug 2021 09:30:56 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agdai
Digest (sha256)693c4034fe334012006a13ce622d67393e25cec0ff5902ac91a0afc140d6d97e
Size73492
Modification timeWed, 29 Aug 2018 04:37:02 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm