Manpages of coinor-libsymphony0 in Debian wheezy