Man pages matching name make-sqldeveloper-package in section 1:

make-sqldeveloper-package.1.en	debian 10 / sqldeveloper-package
make-sqldeveloper-package.1.en	debian 11 / sqldeveloper-package
make-sqldeveloper-package.1.en	debian 12 / sqldeveloper-package