Assertion: package's file | /r/HasProperty | changed
Facets:
Source sentences:
text: The database is used to keep track of all files that are changed and created when a user (using RPM) installs a package, thus enabling the user (via RPM) to reverse the changes and remove the package later.