From 423dd60f079d1aa6caa57694f120df3adc270520 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 5 Oct 2020 21:38:41 +0200
Subject: [PATCH] =?UTF-8?q?coqPackages.paco:=204.0.0=20=E2=86=92=204.0.2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/development/coq-modules/paco/default.nix | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/coq-modules/paco/default.nix b/pkgs/development/coq-modules/paco/default.nix
index e8958fa1ada..ac6eef2f3bd 100644
--- a/pkgs/development/coq-modules/paco/default.nix
+++ b/pkgs/development/coq-modules/paco/default.nix
@@ -9,8 +9,8 @@ let
     };
     post_8_6 = rec {
       rev = "v${version}";
-      version = "4.0.0";
-      sha256 = "1ncrdyijkgf0s2q4rg1s9r2nrcb17gq3jz63iqdlyjq3ylv8gyx0";
+      version = "4.0.2";
+      sha256 = "1q96bsxclqx84xn5vkid501jkwlc1p6fhb8szrlrp82zglj58b0b";
     };
   };
   params = {
@@ -36,8 +36,7 @@ stdenv.mkDerivation rec {
     repo = "paco";
   };
 
-  buildInputs = with coq.ocamlPackages; [ ocaml camlp5 unzip ];
-  propagatedBuildInputs = [ coq ];
+  buildInputs = [ coq ];
 
   preBuild = "cd src";