[aur-requests] [PRQ#19643] Merge Request for gnatcoll-gmp

xiretza [1] filed a request to merge gnatcoll-gmp [2] into gnatcoll- bindings [3]: Split package [1] https://aur.archlinux.org/account/xiretza/ [2] https://aur.archlinux.org/pkgbase/gnatcoll-gmp/ [3] https://aur.archlinux.org/pkgbase/gnatcoll-bindings/