diff --git a/npins/sources.json b/npins/sources.json
index ffa50bb..4d3c25d 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -237,9 +237,9 @@
         "url": "https://git.hubrecht.ovh/hubrecht/nix-modules"
       },
       "branch": "dgnum",
-      "revision": "5cc5d497565cae685bd2eb91606016791c3a9313",
+      "revision": "494cd6ff8f798ed5084a61987f3b7c3a02ad4e48",
       "url": null,
-      "hash": "09is2zl9570ql1sw250mhpjj8mz2ggy3jx1kvyn6dh2817mv77dc"
+      "hash": "1apyzbass3hafqjc8hbnp0dwi7bm8fg0ly2kynmk96z80kwczlsc"
     },
     "nix-pkgs": {
       "type": "Git",
@@ -350,4 +350,4 @@
     }
   },
   "version": 3
-}
+}
\ No newline at end of file