* [Cocci] 1.0.8
@ 2019-09-26 3:04 Julia Lawall
2019-09-26 7:09 ` [Cocci] Progress around Coccinelle 1.0.8 Markus Elfring
0 siblings, 1 reply; 2+ messages in thread
From: Julia Lawall @ 2019-09-26 3:04 UTC (permalink / raw)
To: cocci
Version 1.0.8 is now available as a tag on github. I will update the web
page within the next week. Version 1.0.8 has been tested up through OCaml
4.08, ie without ocamlp4.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Cocci] Progress around Coccinelle 1.0.8
2019-09-26 3:04 [Cocci] 1.0.8 Julia Lawall
@ 2019-09-26 7:09 ` Markus Elfring
0 siblings, 0 replies; 2+ messages in thread
From: Markus Elfring @ 2019-09-26 7:09 UTC (permalink / raw)
To: cocci
> I will update the web page within the next week.
Can such software release consequences be synchronised?
> Version 1.0.8 has been tested up through OCaml 4.08, ie without ocamlp4.
Would you like to add any information to a topic like “Migrate off camlp4”?
https://github.com/coccinelle/coccinelle/issues/170
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-09-26 7:09 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-09-26 3:04 [Cocci] 1.0.8 Julia Lawall
2019-09-26 7:09 ` [Cocci] Progress around Coccinelle 1.0.8 Markus Elfring
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).