Fri, 06 Aug 2021 05:00:41 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agdai
Digest (sha256)40662bee06e659360d82d9f967a29d60a1ba7adf5ecba85777ad4d02ef657e79
Size183288
Modification timeWed, 29 Aug 2018 04:37:04 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm