[PRQ#40715] Deletion Request for kremlin
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/
29 Mar
29 Mar
10:28 a.m.
New subject: [PRQ#40715] Deletion Request for kremlin Accepted
Request #40715 has been Accepted by Antiz [1]: [Autogenerated] Accepted deletion for kremlin. [1] https://aur.archlinux.org/account/Antiz/
636
Age (days ago)
644
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org