Bug#512658: ITP: coccinelle -- semantic patching tool for C
Eugeniy Meshcheryakov wrote:
>
> Coccinella uses both menhir command with --table parameter, that is not
> found in current Debian package (but is present in upstream) and menhirlib
> (not in Debian AFAICS).
>
The menhir package will be updated soon. It will include the newest
version of Menhir.
The MenhirLib wasn't shipped because nobody requested it, but I'll put
it if you need it.
Then, I have to find a sponsor for the upload :) I'll send a RFS to d-o-m.
--
Mehdi Dogguy مهدي الدقي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: