debian/tmp/usr/include/coin debian/tmp/usr/lib/*/lib*.a debian/tmp/usr/lib/*/lib*.so debian/tmp/usr/lib/*/pkgconfig debian/tmp/usr/share/coin