Thu, 05 Aug 2021 15:37:34 UTC

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

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