Julia Lawall (2015/10/14 16:49 +0200): > No problem with opam, but this problem will recur, so I would really > prefer to have it solved.
Sure! The two things are totally distinct and the reported problem definitely needs to be solved. So far, the issue is that I was absolutely not able to reproduce it, so any help on this would be greatly appreciated. The help could be a detailed procedure explaining how to reproduce the problem, an access to a machine where the problem occurs or anything else you guys could think about. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
