derektbrown [1] filed a request to merge cbmc-bin [2] into cbmc [3]: identical packages
[1] https://aur.archlinux.org/account/derektbrown/ [2] https://aur.archlinux.org/pkgbase/cbmc-bin/ [3] https://aur.archlinux.org/pkgbase/cbmc/
- [aur-requests] [PRQ#9900] Merge Request for cbm... notify--- via aur-requests
- [aur-requests] [PRQ#9900] Request Rejected notify--- via aur-requests
