Fri, 22 Nov 2024 22:19:55 UTC | login

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

Name/usr/share/doc/z3-doc/examples/msf/SolverFoundation.Plugin.Z3/SolverFoundation.Plugin.Z3.csproj
Digest (sha256)d5c32a3b79325c4a57d59205aa31be3374ca8e58ed4f0dd9a833823d0e2409a9
Size6.19 KB
Modification timeSat, 03 Sep 2022 22:47:12 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMz3-doc-4.11.2-1.fc37.riscv64.rpm