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 /usr/lib/x86_64-linux-gnu/gap/sysinfo.gap > are actually the same files. Yes. I plan to remove /usr/lib/gap/sysinfo.gap once nobody use it anymore. And idem for /usr/lib/gap/gac. Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.