Re: GAP 4.11.0 in experimental

2020-04-16 Thread Bill Allombert
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 pa

GAP 4.11.0 in experimental

2020-04-05 Thread Bill Allombert
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 curr