21 Mar
2023
21 Mar
'23
9:22 a.m.
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/