# Debhelper 9 is satisfied even in oldstable
package-needs-versioned-debhelper-build-depends 9

# already dealt with
source-is-missing doc/sh_javascript.min.js
