From 9efbfd259cb4e90ed0e501eaf531a75746f3b7d9 Mon Sep 17 00:00:00 2001
From: HT Chores <chores@mail.hubrecht.ovh>
Date: Sat, 4 Jan 2025 16:07:07 +0000
Subject: [PATCH] chore(npins): Update cas-eleves

---
 npins/sources.json | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/npins/sources.json b/npins/sources.json
index cac45b3..455bcac 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -34,9 +34,9 @@
         "url": "https://git.dgnum.eu/DGNum/cas-eleves.git"
       },
       "branch": "main",
-      "revision": "acf98f1c6bfc97b7dae62e8cc723a1c16bf8d1a4",
+      "revision": "bdbb2a6c772144813bd75316080f5fecd2c5cc9e",
       "url": null,
-      "hash": "1lhk46ickm2bv7rjzwb9ys7k7aj4kd75mbca27mkcddwpni5lm5l"
+      "hash": "0c0r889ph9ml4ghdqn6zaplkv9jkxlviyil51qmqpnbdgpgww04i"
     },
     "cgroup-exporter": {
       "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