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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
