Information for file /usr/lib64/pkgconfig/z3.pc

Name/usr/lib64/pkgconfig/z3.pc
Digest (sha256)1477f5129e1860d13f4b335626ddfe2a709db9faa0a238661e712b682f6d4e5c
Size262.00 B
Modification timeWed, 21 May 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMz3-devel-4.15.0-1.fc42.riscv64.rpm