From bb0349224767dc87f8d6ada2b7427eb392ac595e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 21:55:51 -0300
Subject: rocq proof: structural decrease is well founded

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 77264eb..8a52938 100644
--- a/flake.nix
+++ b/flake.nix
@@ -57,6 +57,7 @@
               ocamlPackages.menhir
               # Rocq, for the verified checkers and their extraction
               pkgs.coq
+              pkgs.coqPackages.stdlib
             ];
           };
         });
-- 
cgit v1.2.3