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

notify at aur.archlinux.org notify at aur.archlinux.org
Sat Jun 6 12:08:26 UTC 2020


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/


More information about the aur-requests mailing list