On Tue, Jan 07, 2014 at 11:30:24AM +0100, Jerome Benoit wrote: > Package: gap-dev > Version: 4r6p5-3.1
This is not a Debian version... > Severity: important > > Dear Maintainer, > > as GAP is built with GMP support, gmp.h is needed > for GAP development. Could you be more specific ? It is needed for which operation ? At least gac does not need it. Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
