From 70fa0672d417240caf5b2e18984b917f09adfb39 Mon Sep 17 00:00:00 2001
From: Henri Saudubray <henri.saudubray@proton.me>
Date: Fri, 27 Feb 2026 14:28:21 +0100
Subject: [PATCH] feat (shells/why3-dev): cleanup

---
 shells/why3-dev/flake.nix | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
index 06ebb8a..017cb55 100644
--- a/shells/why3-dev/flake.nix
+++ b/shells/why3-dev/flake.nix
@@ -13,7 +13,10 @@
     {
       devShells."${system}".default =
         let
-          pkgs = import nixpkgs { inherit system; };
+          pkgs = import nixpkgs {
+            inherit system;
+            config.allowUnfree = true;
+          };
           menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages);
         in
         pkgs.mkShell {
@@ -21,18 +24,20 @@
             # Build elements
             autoconf
             ocaml
-            ocamlPackages.ocaml-lsp
             ocamlPackages.findlib
             ocamlPackages.menhir
             ocamlPackages.menhirLib
             ocamlPackages.zarith
             ocamlPackages.lablgtk3
             ocamlPackages.lablgtk3-sourceview3
+            ocamlPackages.camlzip
 
-            # Available provers
-            # alt-ergo
+            # Provers
+            alt-ergo
             cvc5
             z3
+            # Development tooling
+            ocamlPackages.ocaml-lsp
             menhir-lsp
           ];
         };