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, D
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
