From c981be7e0c7586d44c6f6e48fd0228227c1a11be Mon Sep 17 00:00:00 2001
From: Ethan Carter Edwards <ethan@ethancedwards.com>
Date: Thu, 16 Oct 2025 15:56:07 -0400
Subject: [PATCH] ocamlPackages.farith: init at 0.1

Homepage: https://git.frama-c.com/pub/farith

Signed-off-by: Ethan Carter Edwards <ethan@ethancedwards.com>
---
 .../ocaml-modules/farith/default.nix          | 38 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 +
 2 files changed, 40 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/farith/default.nix

diff --git a/pkgs/development/ocaml-modules/farith/default.nix b/pkgs/development/ocaml-modules/farith/default.nix
new file mode 100644
index 000000000000..3840f7881fc1
--- /dev/null
+++ b/pkgs/development/ocaml-modules/farith/default.nix
@@ -0,0 +1,38 @@
+{
+  lib,
+  buildDunePackage,
+  fetchFromGitLab,
+  ppx_deriving,
+  ppx_hash,
+  zarith,
+}:
+
+buildDunePackage rec {
+  pname = "farith";
+  version = "0.1";
+
+  minimalOCamlVersion = "4.10";
+
+  src = fetchFromGitLab {
+    domain = "git.frama-c.com";
+    owner = "pub";
+    repo = "farith";
+    tag = version;
+    hash = "sha256-9TGKeL3DXKEf2RLpkjOTC8aDQeLKSM9QUIiSkFCQW+8=";
+  };
+
+  propagatedBuildInputs = [
+    ppx_deriving
+    ppx_hash
+    zarith
+  ];
+
+  doCheck = true;
+
+  meta = {
+    description = "Modelisation of base 2 floating points with arbitrary exponent and mantisse size.";
+    homepage = "https://git.frama-c.com/pub/farith";
+    license = lib.licenses.lgpl2Only;
+    maintainers = with lib.maintainers; [ ethancedwards8 ];
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 46ff0e6ff27f..ccbe15b7ee9b 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -610,6 +610,8 @@ let
 
         farfadet = callPackage ../development/ocaml-modules/farfadet { };
 
+        farith = callPackage ../development/ocaml-modules/farith { };
+
         fdkaac = callPackage ../development/ocaml-modules/fdkaac { };
 
         ff = callPackage ../development/ocaml-modules/ff { };