# [TITLE]: Z3-lib
# [DESCRIPTION]:
# [STATUS]:
# [CAPABILITIES]:
# [TAGS]:
# [MAINTAINER]: pundle
include(Z3-license)
include(libc6)
include(libgcc1)
include(libstdc++)
Z3-lib
