Manpages of src:kraken in Debian stretch-backports