From 29304ba926b8f40bbcdefaa8c7e05ea4122de3a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Wed, 30 Apr 2025 15:07:16 +0200
Subject: [PATCH] nix/packages: correct necrolib ocamlc minimum version

---
 nix/packages/necrolib.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/nix/packages/necrolib.nix b/nix/packages/necrolib.nix
index a9b20e2d..3c85c9a5 100644
--- a/nix/packages/necrolib.nix
+++ b/nix/packages/necrolib.nix
@@ -1,7 +1,7 @@
 {
   fetchFromGitLab,
   ocaml-ng,
-  ocamlPackages ? ocaml-ng.ocamlPackages_4_14,
+  ocamlPackages ? ocaml-ng.ocamlPackages_5_1,
 }: let
   version = "v0.16.2";
 in
@@ -9,7 +9,7 @@ in
     pname = "necrolib";
     inherit version;
 
-    minimalOCamlVersion = "4.14.1";
+    minimalOCamlVersion = "5.1.1";
 
     src = fetchFromGitLab {
       domain = "gitlab.inria.fr";