Thu, 23 May 2024 15:52:19 UTC | login

Information for file /usr/share/doc/yices-doc/examples/arith_mix.ys

Name/usr/share/doc/yices-doc/examples/arith_mix.ys
Digest (sha256)7c2f65105c05f7decc915b23d3bcefbad92503bad67a1ab4eaf03dfaf8a61088
Size403.00 B
Modification timeFri, 26 Oct 2018 21:33:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyices-doc-2.6.1-1.fc30.riscv64.rpm