Manpages of sdpa in Debian stretch