charlie5 [1] filed a deletion request for gnatcoll [2]: This has been split into several sub-packages and is now obsolete ... ie replaced by gnatcoll-core, gnatcoll-gmp, etc.
[1] https://aur.archlinux.org/account/charlie5/ [2] https://aur.archlinux.org/pkgbase/gnatcoll/
