Bug#958495: gap-io: please update for new GAP ABI

[Bill Allombert]

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 kernel ABI version is 7
In the file /usr/lib/gap/sysinfo.gap
GAParch=x86_64-pc-linux-gnu-default64-kv7
GAP_KERNEL_MAJOR_VERSION=7
kv7 mean kernel version 7.

If your package is built against the GAP 4.11.0 kernel, please make it
depends on gap-kernel-7.

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here.