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. <ballo...@debian.org> Imagine a large red swirl here.
