Salut Ralf, Pour répondre à https://lists.debian.org/debian-ocaml-maint/2017/09/msg00005.html
Nous avons fait une semi-release bugfix pour incorporer la plupart de vos patchs et corriger ce problème de bytecode. Cf. https://github.com/Frama-C/Frama-C-snapshot/commit/30b819710d7630dfaa9f1b434585c62265520d11 N'hésite pas à me contacter si tu trouves des problèmes supplémentaires. Maintenant qu'on a github on peut pousser des fix de façon plus fluide. Mehdi avait aussi ouvert un certain nombres de bugs sur notre BTS (https://bts.frama-c.com/view_all_bug_page.php), a priori on a tout traité. ++, -- Boris Yakobowski Ingénieur-chercheur CEA/LIST Laboratoire pour la Sureté des Logiciels Tél. : 01 69 08 02 84
