crave [1] filed a deletion request for kremlin [2]: the project has been renamed "Karamel"
See https://github.com/FStarLang/kremlin which redirects to the karamel repo [1] https://aur.archlinux.org/account/crave/ [2] https://aur.archlinux.org/pkgbase/kremlin/
