diff --git a/repos.json b/repos.json
index 357c02f8b..61061e62f 100644
--- a/repos.json
+++ b/repos.json
@@ -3,6 +3,10 @@
         "0x4a6f": {
             "url": "https://github.com/0x4A6F/nur-packages"
         },
+        "INFO4-19": {
+            "type": "gitlab",
+            "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code/tree/daniel/nur-packages"
+        },
         "bb010g": {
             "url": "https://github.com/bb010g/nur-packages"
         },
@@ -119,4 +123,4 @@
             "url": "https://github.com/yurrriq/nur-packages"
         }
     }
-}
+}
\ No newline at end of file