# [TITLE]: Z3-lib32
# [DESCRIPTION]:
# [STATUS]:
# [CAPABILITIES]:
# [TAGS]:
# [MAINTAINER]: pundle
include(Z3-license)
include(gcc-libgcc32)
include(gcc-libstdc++32)
include(glibc-libc32)
Z3-lib32
