Re: GAP 4.11.0 in experimental

[Bill Allombert <ballombe@debian.org>]

On Sun, Apr 05, 2020 at 04:41:53PM +0200, Bill Allombert wrote:
> 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.

gap 4.11.0-2 is now in unstable.
If you maintain arch-any GAP packages, please update them for the new
ABI system.

If you are interested in having more GAP packages available in Debian,
please contact me.

Thanks!
-- 
Bill. <ballombe@debian.org>

Imagine a large red swirl here.