[aur-requests] [PRQ#16724] Merge Request for tiny-media-manager
yochananmarqos [1] filed a request to merge tiny-media-manager [2] into tiny-media-manager-bin [3]: These packages are identical with a binary source. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/tiny-media-manager/ [3] https://aur.archlinux.org/pkgbase/tiny-media-manager-bin/
Many Java packages in core/community use the pre-compiled .jar files w/o appending `-bin`. The packaging guidelines list the use of (pre-compiled) .jar as a viable option. Thus, the merge should be performed in the opposite direction, i.e., the `-bin` package into this one. Simon On Wed, 20 Nov 2019, 18:36 , <notify@aur.archlinux.org> wrote:
yochananmarqos [1] filed a request to merge tiny-media-manager [2] into tiny-media-manager-bin [3]:
These packages are identical with a binary source.
[1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/tiny-media-manager/ [3] https://aur.archlinux.org/pkgbase/tiny-media-manager-bin/
participants (2)
-
notify@aur.archlinux.org
-
Simon Legner