Wed, 04 Dec 2024 10:54:40 UTC | login

Information for file /usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs

Name/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs
Digest (sha256)ebadd99d50e49a55173455ee86a34d1c8d0f13e470f8f5eb9d958f1b0ae1a5f4
Size229.00 B
Modification timeMon, 18 Dec 2017 14:18:30 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-doc-4.6.0-2.fc29.noarch.rpm