post_install() {
	export OPAMROOT=/usr/lib/kframework/lib/opamroot
	/usr/lib/kframework/bin/k-configure-opam
}

pre_remove() {
	rm -rf /usr/lib/kframework/lib/opamroot
}