# indeed, jquery-ui-1.12.1.js is a source files; it has a very long line
# near its begin, which is a comment.
falkon source: source-is-missing [src/lib/data/html/jquery-ui-1.12.1.js]

falkon source: version-substvar-for-external-package falkon -> libfalkon
