id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
3,"Problem with ""input_value code mismatch""",admin,somebody,"It seems that in some circonstancies (at least under OS X),
the checksum produced by an ocaml binary to check if closure comes from the same binary, changes even for the same binary.

This is hard to reproduce (pb occurs only on Tom's laptop)

This needs to be further investigated ...
",defect,closed,major,PML language stabilisation,PML proof-checker and compiler,,fixed,,