Manpages of src:soplex in Debian experimental