[PRQ#39881] Deletion Request for scip
22 Jan
2023
22 Jan
'23
12:20 p.m.
a821 [1] filed a deletion request for scip [2]: Name conflicts with community/scip. They are different programs. [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/scip/
23 Jan
23 Jan
7:41 a.m.
New subject: [PRQ#39881] Deletion Request for scip Accepted
Request #39881 has been Accepted by grawlinson [1]: [Autogenerated] Accepted deletion for scip. [1] https://aur.archlinux.org/account/grawlinson/
700
Age (days ago)
701
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org