[aur-requests] [PRQ#26499] Deletion Request for yices-bin Accepted

notify at aur.archlinux.org notify at aur.archlinux.org
Tue Jun 22 23:39:13 UTC 2021

Previous message (by thread): [aur-requests] [PRQ#26499] Deletion Request for yices-bin
Next message (by thread): [aur-requests] [PRQ#26500] Deletion Request for z3-bin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Request #26499 has been accepted by grawlinson [1].

[1] https://aur.archlinux.org/account/grawlinson/

Previous message (by thread): [aur-requests] [PRQ#26499] Deletion Request for yices-bin
Next message (by thread): [aur-requests] [PRQ#26500] Deletion Request for z3-bin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the aur-requests mailing list