Debian packaging for Beef