Name | /usr/lib64/pkgconfig/z3.pc |
---|---|
Digest (sha256) | 1477f5129e1860d13f4b335626ddfe2a709db9faa0a238661e712b682f6d4e5c |
Size | 262.00 B |
Modification time | Wed, 21 May 2025 00:00:00 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | z3-devel-4.15.0-1.fc42.riscv64.rpm |