Bug#958802: gap-float: please update for new GAP ABI

[Bill Allombert]

Package: gap-float
Version: 0.9.1+ds-5
Severity: serious

Dear Debian Science Maintainers,

Please update gap-float 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.