A big thank you for all your help, guys. I learned a lot from your messages. I managed to install a genuine gap from sources, and will try to re-install it "the Debian way".
> If you like more Debian GAP package, please help me! It is a huge > work. Please tell me how I could help. By testing installation of packages not provided ? By Debian-packaging them ? \bye -- Nicolas FRANCOIS | /\ http://nicolas.francois.free.fr | |__| X--/\\ We are the Micro$oft. _\_V Resistance is futile. You will be assimilated. darthvader penguin _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum