Tue, 26 Nov 2024 04:26:17 UTC | login

Information for file /usr/share/man/man1/yices-smt2.1.gz

Name/usr/share/man/man1/yices-smt2.1.gz
Digest (sha256)39f4f345a15efceae6b518f3d241e0560bfef76698bfc7e17f9760ac3141b6fa
Size807.00 B
Modification timeFri, 26 Oct 2018 21:33:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMyices-tools-2.6.1-1.fc29.riscv64.rpm