diff --git a/repos.json.lock b/repos.json.lock
index 66138e426..18dd732f9 100644
--- a/repos.json.lock
+++ b/repos.json.lock
@@ -11,8 +11,8 @@
             "url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
         },
         "aasg": {
-            "rev": "ea6c36a7d11b4e73353b59b784280e370a697dad",
-            "sha256": "11diimx0309h23733xq2032bsn0jhd3g8jjbp2ha4vyqfzbijnq3",
+            "rev": "21359b710a01e95c581b984813dbfb91d9385981",
+            "sha256": "15r8m8w6ffyiw0hfa97ic7pmx2hsdmrsjr5kj3yi7wiamwmg025p",
             "url": "https://git.sr.ht/~aasg/nixexprs"
         },
         "angr": {