Bug#541963: Only 2 packages remaining

[Mehdi Dogguy <mehdi@dogguy.org>]

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/