In the 3.0.0 release (2010-11-01) and the 3.1.0 release (2011-11-26) the non-free files all live in sdcc/device/non-free, so they can be easily left out from the Debian packages or moved into a separate non-free package.
Philipp -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
