diff --git a/npins/sources.json b/npins/sources.json index d37fced..f034faf 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -85,10 +85,10 @@ "type": "Git", "url": "https://git.dgnum.eu/DGNum/liminix.git" }, - "branch": "strong-tftp", - "revision": "a906301aebab47f11b2d2e762af8b65b8fc1040a", + "branch": "main", + "revision": "4ff772639f9bb5d079a50b2b69f3ddc9053f2e9a", "url": null, - "hash": "0c744qyjhcf6s474r4g6z5jww2dzgl857q320d9lm153ambz7rjh" + "hash": "1jh2115ajh26362fazkmyhvv6zvp5z3yjynl91kgsvvld936169c" }, "linkal": { "type": "Git",