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