Fix nix build

4ever2 · 4ever2 · commit 033784cf8a2c · 2026-04-03T19:16:47.000+02:00
diff --git a/.nix/coq-overlays/ssprove/default.nix b/.nix/coq-overlays/ssprove/default.nix
@@ -15,6 +15,7 @@
 mkCoqDerivation {
   pname = "ssprove";
   owner = "SSProve";
+  opam-name = "rocq-ssprove";
 
   inherit version;
   defaultVersion =
diff --git a/flake.nix b/flake.nix
@@ -13,6 +13,7 @@
         mkCoqDerivation {
           pname = "ssprove";
           owner = "SSProve";
+          opam-name = "rocq-ssprove";
           version = "0.2.0";
           src = ./.;
           useDune = true;
