Man pages matching name gravity in section 1:

Gravity.1.en	debian 10 / geographiclib-tools
Gravity.1.en	debian 11 / geographiclib-tools
Gravity.1.en	debian 12 / geographiclib-tools