diff --git a/npins/sources.json b/npins/sources.json
index 5bf85e7..1cf5d43 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -33,9 +33,9 @@
         "url": "https://git.dgnum.eu/DGNum/dgnum-retired"
       },
       "branch": "main",
-      "revision": "64467c33627d30c837514e984cfa350f033d6854",
+      "revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1",
       "url": null,
-      "hash": "1icq0ak55ylbm5hkbx6ar0dvr883q7amqva48b64xd8m8qrkng3l"
+      "hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy"
     },
     "disko": {
       "type": "GitRelease",