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