From a01950e1c6a620dd0eb1e528c8d083c9ac2e5072 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 9 Feb 2026 14:23:16 +0100
Subject: [PATCH] alt-ergo-free: add 2.4.3

---
 pkgs/by-name/al/alt-ergo-free/package.nix | 40 +++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 pkgs/by-name/al/alt-ergo-free/package.nix

diff --git a/pkgs/by-name/al/alt-ergo-free/package.nix b/pkgs/by-name/al/alt-ergo-free/package.nix
new file mode 100644
index 000000000000..0d55721223af
--- /dev/null
+++ b/pkgs/by-name/al/alt-ergo-free/package.nix
@@ -0,0 +1,40 @@
+{
+  fetchurl,
+  lib,
+  ocamlPackages,
+  stdenv,
+}:
+
+ocamlPackages.buildDunePackage (finalAttrs: {
+  pname = "alt-ergo-free";
+  version = "2.4.3";
+
+  src = fetchurl {
+    url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${finalAttrs.version}-free/alt-ergo-${finalAttrs.version}-free.tar.gz";
+    hash = "sha256-ksVP9HH9pY+T6Es/wgC9pGd805AGw1e1vgfVlNGCXG8=";
+  };
+
+  nativeBuildInputs = [ ocamlPackages.menhir ];
+
+  sourceRoot = ".";
+
+  buildInputs = with ocamlPackages; [
+    cmdliner
+    camlzip
+    stdlib-shims
+    dune-configurator
+    dune-build-info
+    num
+    psmt2-frontend
+    ocplib-simplex_0_4
+    zarith
+    seq
+  ];
+
+  meta = {
+    description = "High-performance theorem prover and SMT solver";
+    homepage = "https://alt-ergo.ocamlpro.com/";
+    license = lib.licenses.cecill-c;
+    maintainers = with lib.maintainers; [ redianthus ];
+  };
+})