GAP 4.11.0 in experimental
Dear Debian science,
I have just uploaded GAP 4.11.0 to experimental.
Currently, it is in the NEW queue.
Two changes you ned to be aware
1) This package include 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.
We might add a better way to do this later.
Cheers,
--
Bill. <ballombe@debian.org>
Imagine a large red swirl here.
Reply to: