diff --git a/npins/sources.json b/npins/sources.json
index 1091d4d..2e72ef2 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -143,9 +143,9 @@
         "url": "https://git.dgnum.eu/lbailly/kat-pkgs"
       },
       "branch": "master",
-      "revision": "de5be1b9d20253ddfcfa7ee42cc57bfa50acee49",
+      "revision": "3118ead993a205c40fcd87d995d509695593bf3a",
       "url": null,
-      "hash": "1iycjfr4y0i55c81cgnj2gip59f634ihwx5l2bz2q29jbfsaxaa3"
+      "hash": "05w51khz1nwpkgkrms6grh8wycr1xlqxsjnxmyl4rmrw2r0rf3x1"
     },
     "liminix": {
       "type": "Git",