diff --git a/repos.json.lock b/repos.json.lock
index fbe6f658e..5788755c7 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -6,8 +6,8 @@
             "url": "https://github.com/0x4A6F/nur-packages"
         },
         "INFO4-19": {
-            "rev": "337ff3017e15880ffeaa0861fd0a1adf30720eab",
-            "sha256": "1f8ilv1klfc6x3bllkq48f5r085h6cn6i0g1ngp5h6z17v5gywrk",
+            "rev": "8117c65c34a1a21294b58e9d3f72d0fa9abaa71f",
+            "sha256": "1rw85mvna6dniypyv3dwms1y494v1si3z9mgvks07ccmp09hlla5",
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "bb010g": {