diff --git a/npins/sources.json b/npins/sources.json index cac45b3..9763d60 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -57,9 +57,9 @@ "url": "https://git.dgnum.eu/DGNum/colmena" }, "branch": "main", - "revision": "71b1b660f2cda2e34e134d0028cafbd56bb22008", + "revision": "b9a1d2f7ff5ee9fcab8ed766457d9c48b3fe8898", "url": null, - "hash": "0pkzs70j1qch2238mbpl9aspzbkh0kgab25vnpr37nb75lmq81ij" + "hash": "0v6z7a2b6qs84725wm4kak15l0nsnkwf2y7p0wwl8m0xjg0wxpyg" }, "dgsi": { "type": "Git", @@ -248,9 +248,7 @@ "url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs" }, "branch": "dgnum", - "revision": "304abd514dfe07bce4b368b1f384bfd598d61183", - "url": null, - "hash": null + "revision": "304abd514dfe07bce4b368b1f384bfd598d61183" }, "nix-reuse": { "type": "GitRelease", @@ -350,4 +348,4 @@ } }, "version": 3 -} +} \ No newline at end of file