diff --git a/npins/sources.json b/npins/sources.json index 4e76fdd..48857e1 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -143,9 +143,9 @@ "url": "https://git.dgnum.eu/lbailly/kat-pkgs" }, "branch": "master", - "revision": "c84586e8f5dc0f755781148d115a94021b56b80e", + "revision": "de5be1b9d20253ddfcfa7ee42cc57bfa50acee49", "url": null, - "hash": "0mjbbjqi80dmnljpccf2535x8i62y1gvcwb1xv27xl2b6mzn3f3j" + "hash": "1iycjfr4y0i55c81cgnj2gip59f634ihwx5l2bz2q29jbfsaxaa3" }, "liminix": { "type": "Git",