From c254332561d232d57dddb7290b8f81d30a25e399 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 22 Apr 2022 14:58:45 +0200
Subject: [PATCH] [nix] remove camlp5 from Why3

---
 nix/why3.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nix/why3.nix b/nix/why3.nix
index 067653ad604..72981935f29 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 ];
-- 
GitLab