Thanks to Nicolas Palix, a PPA for Ubuntu 18.10 for Coccinelle version 1.0.7 is now available. More information is available at:
http://coccinelle.lip6.fr/download.php julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
