diff --git a/home/graphical.nix b/home/graphical.nix
index 66f382d..5a6982d 100644
--- a/home/graphical.nix
+++ b/home/graphical.nix
@@ -15,6 +15,7 @@
         gnome-solanum
         gnome-tweaks
         high-tide
+        libreoffice
         mattermost-desktop
         nerd-fonts.adwaita-mono
         newsflash
diff --git a/shells/why3-dev/flake.lock b/shells/why3-dev/flake.lock
index 8fdad34..2130399 100644
--- a/shells/why3-dev/flake.lock
+++ b/shells/why3-dev/flake.lock
@@ -2,11 +2,11 @@
   "nodes": {
     "nixpkgs": {
       "locked": {
-        "lastModified": 1767116409,
-        "narHash": "sha256-5vKw92l1GyTnjoLzEagJy5V5mDFck72LiQWZSOnSicw=",
+        "lastModified": 1776169885,
+        "narHash": "sha256-l/iNYDZ4bGOAFQY2q8y5OAfBBtrDAaPuRQqWaFHVRXM=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "cad22e7d996aea55ecab064e84834289143e44a0",
+        "rev": "4bd9165a9165d7b5e33ae57f3eecbcb28fb231c9",
         "type": "github"
       },
       "original": {
diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
index 017cb55..3cc6611 100644
--- a/shells/why3-dev/flake.nix
+++ b/shells/why3-dev/flake.nix
@@ -31,7 +31,7 @@
             ocamlPackages.lablgtk3
             ocamlPackages.lablgtk3-sourceview3
             ocamlPackages.camlzip
-
+            ocamlPackages.num
             # Provers
             alt-ergo
             cvc5