[vacri]

This article claims that $222k was the budget for 2012 for Debian, down at the bottom. It also claims the budget should be $19B, if paid at market rates.

http://www.pc-freak.net/blog/what-is-the-development-costs-o...