diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib
index 2c8d117b14070aff4590e97e83a6f1d27c323496..c7151c1ea54da7f5a9dc03ed2347b09a0bd829bf 100644
--- a/ivette/Makefile.distrib
+++ b/ivette/Makefile.distrib
@@ -88,6 +88,7 @@ DISTRIB_FILES += ivette/src/dome/misc/register.js
 DISTRIB_FILES += ivette/src/dome/misc/system.ts
 DISTRIB_FILES += ivette/src/dome/misc/utils.ts
 DISTRIB_FILES += ivette/src/dome/renderer/controls/buttons.tsx
+DISTRIB_FILES += ivette/src/dome/renderer/controls/displays.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json
 DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx
 DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx
@@ -148,6 +149,9 @@ DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/general/index.ts
 DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/values/index.ts
 DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts
 DISTRIB_FILES += ivette/src/frama-c/api/generator.ml
+DISTRIB_FILES += ivette/src/frama-c/client.ts
+DISTRIB_FILES += ivette/src/frama-c/client_socket.ts
+DISTRIB_FILES += ivette/src/frama-c/client_zmq.ts
 DISTRIB_FILES += ivette/src/frama-c/index.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx
@@ -168,6 +172,10 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json
 DISTRIB_FILES += ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json
 DISTRIB_FILES += ivette/src/frama-c/plugins/dive/tippy.css
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/.eslintrc.js
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Coverage.tsx
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Summary.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/cells.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/diffed.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx
@@ -179,6 +187,7 @@ DISTRIB_FILES += ivette/src/frama-c/plugins/eva/probes.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/sized.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/stacks.ts
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css
+DISTRIB_FILES += ivette/src/frama-c/plugins/eva/summary.css
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valueinfos.tsx
 DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx
 DISTRIB_FILES += ivette/src/frama-c/server.ts
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index a4957b30b8705b8b0e47fe00d3a8fcd64fda417b..5afc58c8b6e73814cbb5f329856d732fe0795c5d 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -88,6 +88,7 @@ src/dome/misc/register.js: CEA_LGPL
 src/dome/misc/system.ts: CEA_LGPL
 src/dome/misc/utils.ts: CEA_LGPL
 src/dome/renderer/controls/buttons.tsx: CEA_LGPL
+src/dome/renderer/controls/displays.tsx: CEA_LGPL
 src/dome/renderer/controls/gallery.json: .ignore
 src/dome/renderer/controls/icons.tsx: CEA_LGPL
 src/dome/renderer/controls/labels.tsx: CEA_LGPL
@@ -148,6 +149,9 @@ src/frama-c/api/generated/plugins/eva/general/index.ts: CEA_LGPL
 src/frama-c/api/generated/plugins/eva/values/index.ts: CEA_LGPL
 src/frama-c/api/generated/plugins/studia/studia/index.ts: CEA_LGPL
 src/frama-c/api/generator.ml: .ignore
+src/frama-c/client.ts: CEA_LGPL
+src/frama-c/client_socket.ts: CEA_LGPL
+src/frama-c/client_zmq.ts: CEA_LGPL
 src/frama-c/index.tsx: CEA_LGPL
 src/frama-c/kernel/ASTinfo.tsx: CEA_LGPL
 src/frama-c/kernel/ASTview.tsx: CEA_LGPL
@@ -168,6 +172,10 @@ src/frama-c/plugins/dive/pkg.json: .ignore
 src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL
 src/frama-c/plugins/dive/style.json: .ignore
 src/frama-c/plugins/dive/tippy.css: .ignore
+src/frama-c/plugins/eva/.eslintrc.js: CEA_LGPL
+src/frama-c/plugins/eva/Coverage.tsx: CEA_LGPL
+src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL
+src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL
 src/frama-c/plugins/eva/cells.ts: CEA_LGPL
 src/frama-c/plugins/eva/diffed.tsx: CEA_LGPL
 src/frama-c/plugins/eva/index.tsx: CEA_LGPL
@@ -179,6 +187,7 @@ src/frama-c/plugins/eva/probes.ts: CEA_LGPL
 src/frama-c/plugins/eva/sized.tsx: CEA_LGPL
 src/frama-c/plugins/eva/stacks.ts: CEA_LGPL
 src/frama-c/plugins/eva/style.css: .ignore
+src/frama-c/plugins/eva/summary.css: .ignore
 src/frama-c/plugins/eva/valueinfos.tsx: CEA_LGPL
 src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL
 src/frama-c/server.ts: CEA_LGPL