Hi, 

I’ve seen release 1.0.0 has been published recently. Congrats!
Unfortunately, it seems distribution packages (at least those for Ubuntu) are 
still stuck on 1.0.0-rc23 (Oct 2014).
Are there plans to update these?

Thanks, 
Eliseo Martínez.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to