Hi Andreas,
I am in contact with the developers. In order to give us the permission to distribute the binary, they propose to append the following sentence to the COPYING file in the Linux source package:
"[See each individual source file (.odc) for an exact license statement.] All of these sources are GPL-compatible, therefore the OpenBUGS shared library libOpenBUGS.so may be redistributed under the terms of the GPL version 3."
It's the good way to do this or we need a special permission to distribute the binary in a Debian package? For example, if they post a message with the permission on Debian Med mailing list it's adequate?