On Tue, 25 Nov 2014, Data King wrote: > Hello, > Not sure if no one has notified you before, or if there just isn't enough > interest. But FYI, Gentoo linux also offers a package for coccinelle > through its Portage package management system.
Thanks! Is the following link the right one? http://gpo.zugaina.org/dev-util/coccinelle julia
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
