Merge branch 'stable/cobalt'

nix/internal-tests.nix

@@ -30,11 +30,13 @@
 , ocamlgraph
 , ocp-indent
 , ppx_deriving
+, ppx_deriving_yaml
 , ppx_deriving_yojson
 , ppx_import
 , yojson
 , which
 , why3
+, yaml
 , zarith
 , zmq
 # Frama-C tests
@@ -87,10 +89,12 @@ stdenvNoCC.mkDerivation rec {
     ocamlgraph
     ocp-indent
     ppx_deriving
+    ppx_deriving_yaml
     ppx_deriving_yojson
     ppx_import
     yojson
     which
+    yaml
     why3
     zarith
     zmq