xiretza [1] filed a request to merge gnatcoll-python [2] into gnatcoll-readline [3]: Will be converted to a split package gnatcoll-bindings (including -python, -readline, -iconv, -gmp). To submit this, a name has to be freed first though. [1] https://aur.archlinux.org/account/xiretza/ [2] https://aur.archlinux.org/pkgbase/gnatcoll-python/ [3] https://aur.archlinux.org/pkgbase/gnatcoll-readline/