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. <[email protected]>

Imagine a large red swirl here. 

Reply via email to