Le Sun, Oct 10, 2021 at 02:02:28PM +0200, Jerome BENOIT a écrit :
> Hello Bill, thanks for the correction and sorry for my late reaction.
> I have just updated the gap-io package accordingly. All looks fine.
Great!
> Meanwhile I have noticed that
> /usr/lib/gap/sysinfo.gap and
Hello Bill, thanks for the correction and sorry for my late reaction.
I have just updated the gap-io package accordingly. All looks fine.
Meanwhile I have noticed that
/usr/lib/gap/sysinfo.gap and /usr/lib/x86_64-linux-gnu/gap/sysinfo.gap
are actually the same files.
Cheers,
Jerome
On Fri, 24
Le Sun, Apr 18, 2021 at 08:40:41PM +0200, Jerome BENOIT a écrit :
Hello Jerome,
I am working on updating GAP to 4.11.1, sorry for the delay.
> > > I have just packaged the last version 4.7.1 of gap-io.
> > > Its build machinery has changed. It now uses a Gap makefile
> > > Makefile.gappkg .
> >
Forwarded Message
Subject: Re: Bug#987160: gap-core: missing gap in /u/l/gap or gac in /u/l/x/gap
Date: Sun, 18 Apr 2021 20:40:41 +0200
From: Jerome BENOIT
Reply-To: calcu...@rezozer.net
Organisation: ReZoZeR
To: Bill Allombert
On 18/04/2021 20:05, Bill Allombert wrote
On Sun, Apr 18, 2021 at 06:21:14PM +0200, Jerome Benoit wrote:
> Package: gap-core
> Version: 4r10p0-7
Hello Jerome,
4r10p0-7 is not the version in sid ?
> I have just packaged the last version 4.7.1 of gap-io.
> Its build machinery has changed. It now uses a Gap makefile Makefile.gappkg .
>
Package: gap-core
Version: 4r10p0-7
Severity: normal
Dear Maintainer,
I have just packaged the last version 4.7.1 of gap-io.
Its build machinery has changed. It now uses a Gap makefile Makefile.gappkg .
This makefile implicitly assumes (?=) that the gap and gac are into GAPPATH
as passed at
6 matches
Mail list logo