diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index 5a4d1269347687f00cf1c53ff96fbea4929c3540..c3903d4cfd56a6002613f9df5842f939d73e85c6 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -84,13 +84,17 @@
  (library
   (name apron_domain)
   (optional)
-  (public_name frama-c-eva.apron)
+  (public_name frama-c-eva.apron.core)
   (flags -open Frama_c_kernel -open Eva__Private :standard -w -9)
   (libraries
    frama-c.kernel frama-c-eva.core
    apron.octMPQ apron.boxMPQ apron.polkaMPQ apron.apron)))
 
-;(plugin (optional) (name eva-apron) (libraries frama-c-eva.apron) (site (frama-c plugins)))
+(plugin
+  (name eva.apron)
+  (optional)
+  (libraries frama-c-eva.apron.core)
+  (site (frama-c plugins)))
 
 (rule
  (targets Eva.ml Eva.mli)