diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4604ae0ffc7bffba26ec3a103e671ac72c2047e8..b7ee6c797ec4ed7311b188adac5b92e68fbd120c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -107,7 +107,15 @@ eva-domains:
   <<: *eva_template
   parallel:
     matrix:
-      - CONFIG: ["bitwise","equality","gauges","multidim","octagon","symblocs"]
+      - CONFIG: [
+          "apron",
+          "bitwise",
+          "equality",
+          "gauges",
+          "multidim",
+          "octagon",
+          "symblocs"
+        ]
 
 kernel-tests:
   stage: tests
diff --git a/nix/mlmpfr.nix b/nix/mlmpfr.nix
index a10f2eb751d05a722bf0f0ce098d5e83a2f0c0ea..b4f93b4a87442dea019ee4b88f0510f566472a15 100644
--- a/nix/mlmpfr.nix
+++ b/nix/mlmpfr.nix
@@ -8,7 +8,7 @@
 
 buildDunePackage rec {
   pname = "mlmpfr";
-  version = "4.1.0-bugfix1";
+  version = "4.1.0-bugfix2";
 
   minimumOCamlVersion = "4.04";
 
@@ -16,7 +16,7 @@ buildDunePackage rec {
     owner = "thvnx";
     repo = pname;
     rev = pname+"."+version;
-    sha256 = "13n6spgz5p6jhpjackvfsn33iinpadgr3v4gm63d5195mi9fgn8d";
+    sha256 = "19g26jv6cjinpl5pcjif1ldyaagxlandp3qjajsy8srqg4a5rg0d";
   };
 
   buildInputs = [ gmp mpfr ];
diff --git a/nix/pkgs.nix b/nix/pkgs.nix
index 5d9239ba7653d0a08edcc4f08240c5c0897bf625..91e9de7a7fdfca948c45a5efd402df94dc6d556c 100644
--- a/nix/pkgs.nix
+++ b/nix/pkgs.nix
@@ -33,6 +33,7 @@ let
     default-config-tests = oself.callPackage ./default-config-tests.nix {};
     e-acsl-tests = oself.callPackage ./e-acsl-tests.nix {};
     eva-default-tests = oself.callPackage ./eva-tests.nix { config = ""; };
+    eva-apron-tests = oself.callPackage ./eva-tests.nix { config = "apron" ; };
     eva-bitwise-tests = oself.callPackage ./eva-tests.nix { config = "bitwise" ; };
     eva-equality-tests = oself.callPackage ./eva-tests.nix { config = "equality" ; };
     eva-gauges-tests = oself.callPackage ./eva-tests.nix { config = "gauges" ; };
diff --git a/nix/why3.nix b/nix/why3.nix
index 72981935f298214d005401d224633ddbabd60af3..b230ca26fab68fee5933be738704deab77f77b55 100644
--- a/nix/why3.nix
+++ b/nix/why3.nix
@@ -9,6 +9,7 @@
 , zarith
 , menhir
 , menhirLib
+, mlmpfr
 , js_of_ocaml
 , js_of_ocaml-ppx
 , ppx_deriving
@@ -40,6 +41,7 @@ stdenv.mkDerivation rec {
     zarith
     menhir
     menhirLib
+    mlmpfr
     # Emacs compilation of why3.el
     emacs
     # Documentation