diff --git a/npins/sources.json b/npins/sources.json index d62dfc4..9901a6f 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -57,9 +57,9 @@ "url": "https://git.dgnum.eu/lbailly/kat-pkgs.git" }, "branch": "master", - "revision": "3118ead993a205c40fcd87d995d509695593bf3a", + "revision": "2df4e901590ebd139364d1df140a6ccb2cd0a5a7", "url": null, - "hash": "05w51khz1nwpkgkrms6grh8wycr1xlqxsjnxmyl4rmrw2r0rf3x1" + "hash": "19hhprlmh23gwjx8m5fss96qigd93g4z6b1apbkj7yimkc2ld2jv" }, "lix": { "type": "GitRelease",