Tue, 26 Nov 2024 09:15:31 UTC | login

Information for file /usr/include/z3/z3_version.h

Name/usr/include/z3/z3_version.h
Digest (sha256)901af06a20499f8384200e984643a10ecfb50afbc1d6297c61e3e275ac4e3072
Size212.00 B
Modification timeSat, 20 Jul 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMz3-devel-4.13.0-6.fc41.riscv64.rpm