[aur-requests] [PRQ#9900] Merge Request for cbmc-bin
1 Dec
2017
1 Dec
'17
1:30 a.m.
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/
1 Dec
1 Dec
10:57 a.m.
New subject: [aur-requests] [PRQ#9900] Request Rejected
Request #9900 has been rejected by Alad [1]: They're not identical. One compiles the package from source, the other retrieves binaries from upstream. [1] https://aur.archlinux.org/account/Alad/
2658
Age (days ago)
2658
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org