[aur-requests] [PRQ#26499] Deletion Request for yices-bin
19 Jun
2021
19 Jun
'21
2:31 p.m.
palasso [1] filed a deletion request for yices-bin [2]: There is yices on the community repository for about a year now thus it's not needed. [1] https://aur.archlinux.org/account/palasso/ [2] https://aur.archlinux.org/pkgbase/yices-bin/
22 Jun
22 Jun
11:39 p.m.
New subject: [aur-requests] [PRQ#26499] Deletion Request for yices-bin Accepted
Request #26499 has been accepted by grawlinson [1]. [1] https://aur.archlinux.org/account/grawlinson/
1281
Age (days ago)
1284
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org