void-packages/srcpkgs/libz3