Package: libgnatcoll-sqlite-bin

"libgnatcoll-sqlite-bin" package binaries on Debian:

/usr/bin/gnatcoll_db2ada /usr/bin/gnatinspect

You may install this package on Debian with apt-get install libgnatcoll-sqlite-bin