From 51dc2094fc04a40d3e3d61a92da31dfd30cc5c53 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 25 Sep 2026 10:46:53 +0200
Subject: [PATCH] rocqPackages.iris: use github mirror

---
 pkgs/development/rocq-modules/iris/default.nix  | 7 +++++--
 pkgs/development/rocq-modules/stdpp/default.nix | 7 +++++--
 2 files changed, 10 insertions(+), 4 deletions(-)

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; };