diff --git a/npins/sources.json b/npins/sources.json
index 805e2b3..e72c946 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -131,9 +131,9 @@
         "url": "https://git.dgnum.eu/DGNum/liminix"
       },
       "branch": "main",
-      "revision": "24443628a1cc759190663cbd4a0e18f4f542fa3b",
+      "revision": "d02397cd653557938b1cd47e17b818a32628a9e1",
       "url": null,
-      "hash": "1q2i9pzsl5j3r7jwa9sjnld9qpmv6vz6k6l8rd26hki3wm3mi7fy"
+      "hash": "1784gd6pscxhfdg08zyva9899wf8ascr902jxwxk4adp675q3swp"
     },
     "linkal": {
       "type": "Git",