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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
