Skip to content
Back to pull request #277

z3-sys: Use pkg-config when using system libs. #461

Sign in to view logs

z3-sys: Use pkg-config when using system libs.

z3-sys: Use pkg-config when using system libs. #461

The logs for this run have expired and are no longer available.