mkCoqDerivation/mkRocqDerivation: update ref to Rocq-community

2026-07-02 15:53:02 +02:00
parent a8fb4fb038
commit 7e160edd5d
2 changed files with 2 additions and 2 deletions
@@ -41,7 +41,7 @@ in
  pname,
  version ? null,
  fetcher ? null,
-  owner ? "coq-community",
+  owner ? "rocq-community",
  domain ? "github.com",
  repo ? pname,
  defaultVersion ? null,
@@ -41,7 +41,7 @@ in
  pname,
  version ? null,
  fetcher ? null,
-  owner ? "coq-community",
+  owner ? "rocq-community",
  domain ? "github.com",
  repo ? pname,
  defaultVersion ? null,