diff --git a/npins/sources.json b/npins/sources.json index fcacfe2..66a9c25 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -86,9 +86,9 @@ "url": "https://git.dgnum.eu/DGNum/kadenios.git" }, "branch": "main", - "revision": "c6aa72e843607621da88da9526bd457d9b097a56", + "revision": "4fd9e3a2117f54c4184b02fd3aef31626fcad149", "url": null, - "hash": "1hvzdqriml7926dc1k8c8p54hskzsmq84f2i139943gwip5xqqxd" + "hash": "1p093q9paa4zi37gsq063vd9ypq7421rmcrlzfd5dyaczwksarnz" }, "liminix": { "type": "Git",