> If people do not wish to run GMP 4.2.2 on their machines then FLINT > will be useless to them if it uses functionality from GMP 4.2.2 or > above. Hi, Could you clarify one last point? A GPL V2+ program linked with a LGPLv3+ library makes a GPLv3+ binary? -- Sincerely, Patrick Pélissier