Update flake.nix

nchappe · nchappe · commit 04d03260b9e4 · 2025-11-14T12:53:55.000+01:00
diff --git a/flake.nix b/flake.nix
@@ -71,7 +71,7 @@
               owner = "vellvm";
               pname = "ctrees";
               version = "ctrees:dev";
-              opam-name = "coq-ctree";
+              opam-name = "rocq-ctree";
               useDune = true;
               src = ./.;
 
