diff --git a/pkgs/development/rocq-modules/iris/default.nix b/pkgs/development/rocq-modules/iris/default.nix
index b72d89b48340..8aed6e9e6629 100644
--- a/pkgs/development/rocq-modules/iris/default.nix
+++ b/pkgs/development/rocq-modules/iris/default.nix
@@ -9,8 +9,11 @@
 let
   derivation = mkRocqDerivation {
     pname = "iris";
-    domain = "gitlab.mpi-sws.org";
-    owner = "iris";
+    # MPI's gitlab is unfortunately under siege of various LLM scrappers
+    # and had to establish some strong rate limiting, a mirror is put on github
+    # domain = "gitlab.mpi-sws.org";
+    # owner = "iris";
+    owner = "rocq-iris";
     inherit version;
     defaultVersion =
       let
diff --git a/pkgs/development/rocq-modules/stdpp/default.nix b/pkgs/development/rocq-modules/stdpp/default.nix
index 2c32d70f171d..d87a9b130d62 100644
--- a/pkgs/development/rocq-modules/stdpp/default.nix
+++ b/pkgs/development/rocq-modules/stdpp/default.nix
@@ -9,8 +9,11 @@
 mkRocqDerivation {
   pname = "stdpp";
   inherit version;
-  domain = "gitlab.mpi-sws.org";
-  owner = "iris";
+  # MPI's gitlab is unfortunately under siege of various LLM scrappers
+  # and had to establish some strong rate limiting, a mirror is put on github
+  # domain = "gitlab.mpi-sws.org";
+  # owner = "iris";
+  owner = "rocq-iris";
   defaultVersion =
     let
       case = case: out: { inherit case out; };