debian/tmp/usr/share/doc/coin/OS/README
debian/tmp/usr/share/doc/coin/OS/AUTHORS