# The library uses templates heavily and every new upstream release gets
# a new soname, too.  There's no harm in putting all the libraries in the
# same package.
libgecode12: package-name-doesnt-match-sonames libgecodecpltset12 libgecodeint12 libgecodekernel12 libgecodeminimodel12 libgecodesearch12 libgecodeserialization12 libgecodeset12 libgecodesupport12
