diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix
index 957e3aa4990b1..20dc2f24bbfc5 100644
--- a/pkgs/development/ocaml-modules/elpi/default.nix
+++ b/pkgs/development/ocaml-modules/elpi/default.nix
@@ -35,10 +35,11 @@ let fetched = coqPackages.metaFetch ({
       else "elpi-v${v}.tbz";
     location = { domain = "github.com"; owner = "LPCIC"; repo = "elpi"; };
   }) version;
-in
-buildDunePackage {
+in let inherit (fetched) version;
+in buildDunePackage {
   pname = "elpi";
-  inherit (fetched) version src;
+  inherit version;
+  inherit (fetched) src;
 
   patches = lib.optional (version == "1.16.5")
     ./atd_2_10.patch;