Contents filter
File Package Branch Repository Architecture
/usr/bin/z3 z3 v3.19 community x86_64
/usr/lib/libz3.so.4.12 z3 v3.19 community x86_64
/usr/lib/libz3.so.4.12.3.0 z3 v3.19 community x86_64