DOKK / manpages

Man pages matching name gnatcoll_db2ada in section 1:

gnatcoll_db2ada.1.en debian 11 / libgnatcoll-db-bin
gnatcoll_db2ada.1.en debian 12 / libgnatcoll-db-bin