Man pages matching name gnatcoll_sqlite2ada in section 1:

gnatcoll_sqlite2ada.1.en

debian 10 / libgnatcoll-sqlite-bin