[Termtools] [Fwd: [Cime-club] coccinelle for coq 8.2 beta 4]

[Johannes Waldmann]

Fine. - So what are the implications?

* coq-8.2beta4 is the version that will be used in competition
  (it is already installed on the server)
  (so, no change for Rainbow + CoLoR)

* the proper coccinelle version
  (please provide full exact URL to the source package)
  has to be downloaded,  built, installed by Simon?

J.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20081030/d1d3579a/attachment.pgp