Assertion: package's file | /r/HasProperty | provided
Facets:
Source sentences:
text: If only a single file is provided, then it’s installed such that it is the result from man <pkgname> , regardless of its actual filename.