From 209383a11bbf749dcc830fac8e0938bca0b58191 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Tue, 21 Jul 2026 01:35:52 -0300
Subject: Lifecycle Manager

---
 flake.nix | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index b709079..df66d9a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,13 +30,18 @@
               lmdb
             ]) ++ (with ocamlPackages; [
               batteries
+              num
               ctypes
               ctypes-foreign
               sexplib
               digestif
             ]);
 
-            checkInputs = [ ocamlPackages.alcotest ];
+            checkInputs = with ocamlPackages; [
+              alcotest
+              qcheck-core
+              qcheck-alcotest
+            ];
 
             doCheck = true;
 
@@ -58,6 +63,8 @@
               ocaml-lsp
               ocamlformat
               utop
+              qcheck-core
+              qcheck-alcotest
             ]);
           };
         });
-- 
cgit v1.2.3