diff --git a/nix/why3.nix b/nix/why3.nix
index 067653ad604ed95cc80688d581b227649344c810..72981935f298214d005401d224633ddbabd60af3 100644
--- a/nix/why3.nix
+++ b/nix/why3.nix
@@ -14,7 +14,6 @@
 , ppx_deriving
 , ppx_sexp_conv
 , camlzip
-, camlp5
 , sexplib
 , re
 , num
@@ -57,7 +56,6 @@ stdenv.mkDerivation rec {
     # Coq Support
     coqPackages.coq
     coqPackages.flocq
-    camlp5
   ];
 
   propagatedBuildInputs = [ camlzip num re sexplib ];