diff --git a/npins/sources.json b/npins/sources.json index 9f81f04..5a70e35 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -86,9 +86,9 @@ "url": "https://git.dgnum.eu/DGNum/liminix.git" }, "branch": "main", - "revision": "0fb671023c0571d936a568721c67819a23cf63c0", + "revision": "6970d811e87a3a99a093705cb089a5a63961cfe7", "url": null, - "hash": "0d7hyl89049flqvxzpvj938ma30fi3y58y4z6gjj2038v2vsd2f1" + "hash": "08fwry3zkhlkcl1lrqhhhqj3a47mgc41bvfv518zg8xhwzg7ifnz" }, "linkal": { "type": "Git",