diff --git a/pkgs/development/ocaml-modules/farith/default.nix b/pkgs/development/ocaml-modules/farith/default.nix
index 3840f7881fc1..376b6f286918 100644
--- a/pkgs/development/ocaml-modules/farith/default.nix
+++ b/pkgs/development/ocaml-modules/farith/default.nix
@@ -7,7 +7,7 @@
   zarith,
 }:
 
-buildDunePackage rec {
+buildDunePackage (finalAttrs: {
   pname = "farith";
   version = "0.1";
 
@@ -17,7 +17,7 @@ buildDunePackage rec {
     domain = "git.frama-c.com";
     owner = "pub";
     repo = "farith";
-    tag = version;
+    tag = finalAttrs.version;
     hash = "sha256-9TGKeL3DXKEf2RLpkjOTC8aDQeLKSM9QUIiSkFCQW+8=";
   };
 
@@ -35,4 +35,4 @@ buildDunePackage rec {
     license = lib.licenses.lgpl2Only;
     maintainers = with lib.maintainers; [ ethancedwards8 ];
   };
-}
+})