home/graphical.nix

@@ -15,7 +15,6 @@
         gnome-solanum
         gnome-tweaks
         high-tide
-        libreoffice
         mattermost-desktop
         nerd-fonts.adwaita-mono
         newsflash

shells/why3-dev/flake.lock

@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1776169885,
-        "narHash": "sha256-l/iNYDZ4bGOAFQY2q8y5OAfBBtrDAaPuRQqWaFHVRXM=",
+        "lastModified": 1767116409,
+        "narHash": "sha256-5vKw92l1GyTnjoLzEagJy5V5mDFck72LiQWZSOnSicw=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "4bd9165a9165d7b5e33ae57f3eecbcb28fb231c9",
+        "rev": "cad22e7d996aea55ecab064e84834289143e44a0",
         "type": "github"
       },
       "original": {

shells/why3-dev/flake.nix

@@ -31,7 +31,7 @@
             ocamlPackages.lablgtk3
             ocamlPackages.lablgtk3-sourceview3
             ocamlPackages.camlzip
-            ocamlPackages.num
+
             # Provers
             alt-ergo
             cvc5