Sat, 31 Jul 2021 07:13:54 UTC

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

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