Manpages of src:soplex in Debian unstable