Unofficial Debian package of OpenBUGS