Josselin Mouette wrote: > Hi, > > now that lablgtk2 supports gtksourceview 2.x, could you please port > matita and frama-c to the new version? These are the last two packages > to use it. >
I'll take care of frama-c during this week. Actually, I was waiting for the re-activation of the NEW queue because the new version of frama-c will require to ship a new binary package. Concerning matita, I saw a patch for gtksourceview-2 several days ago. So, I think it will also be fixed soon. > I’m going to request the removal of gtksourceview 1.x soon nevertheless, > so this would make matita and frama-c uninstallable. > Please wait until lablgtk2 (= 2.14) hits unstable, TIA. Cheers, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
