Manpages of src:coinor-symphony in Debian bookworm