Information for file /usr/share/doc/yices-doc/examples/problem_with_input.ys
Name | /usr/share/doc/yices-doc/examples/problem_with_input.ys |
---|---|
Digest (sha256) | 7b29694b24774d2b25e2f47a1012903b72f23168213da55e6f1fa88ae045bd18 |
Size | 686.77 KB |
Modification time | Mon, 26 Nov 2018 08:40:47 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | yices-doc-2.6.1-1.fc29.riscv64.rpm |