# Since cleaning effectively uninstalls all the packages, we must
# remove the stamp files that the build system uses to avoid unnecessarily
# Since cleaning effectively uninstalls all the packages, we must
# remove the stamp files that the build system uses to avoid unnecessarily