prefix=/usr exec_prefix=/usr libdir=${exec_prefix}/lib/x86_64-linux-gnu sharedlibdir=${exec_prefix}/lib/x86_64-linux-gnu includedir=${prefix}/include Name: z3 Description: The Z3 Theorem Prover Version: 4.8.10.0 Requires: Libs: -L${libdir} -L${sharedlibdir} -lz3 Cflags: -I${includedir}