Dear Bill, thanks for your message.
I understand that GAP comes now with an official ABI.
Currently the package gap-io depends for building on gap and gap-dev,
while the package itseld depends only on gap.
You asked to make it depends on gap-kernel-7.
My understanding is that gap-kernel-7 is
Package: gap-io
Version: 4.7.0+ds-1
Severity: serious
Dear Debian Science Maintainers,
Please update gap-io for the new GAP ABI.
1) GAP 4.11.0 includes libgap7, libgap-dev as a normal Debian
shared library package.
2) There is now an officially supported ABI for the GAP kernel.
the current