Thu, 12 Dec 2024 01:07:48 UTC | login

Information for file /usr/share/doc/z3-doc/examples/dotnet/Program.cs

Name/usr/share/doc/z3-doc/examples/dotnet/Program.cs
Digest (sha256)dade0985ecbe7583d790486a3c6267ebebd7a82ecef5f6563be8a25c341f193a
Size81.62 KB
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