Mon, 26 Jul 2021 04:50:00 UTC

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

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