Tue, 27 Jul 2021 18:01:37 UTC

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

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