post_install() {
	echo "You may need to run 'rustup update stable'"
	echo "and possibly also 'rustup self upgrade-data'"
}

post_upgrade() {
	echo "You may need to run 'rustup self upgrade-data'"
}
