[PRQ#39881] Deletion Request for scip
22 Jan
2023
22 Jan
'23
9:20 a.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
4: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/
606
Age (days ago)
607
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org