Install libgambit4-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libgambit4-dev
Description:
Header file and link for the Gambit shared library
The package includes gambit.h and the libgambit.so, libgambitgsi.so and libgambitgsc.so links.
Homepage: http://gambitscheme.org
Version: 4.8.8-3
Section: universe/libdevel