For those who use Ubuntu, a PPA is available: https://launchpad.net/~npalix/+archive/ubuntu/coccinelle/+packages
julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
