Paquet Debian Frama-C
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
Reply to: