From f06284b0dc28eb7c1a27c57e97bf087ab224a8e7 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Thu, 22 Dec 2016 11:04:39 -0800
Subject: [PATCH] coq_8_6: Use ocamlPackages_4_03 rather than 4_01

---
 pkgs/top-level/all-packages.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 6e5b498f70a..e367d529dbc 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -16733,8 +16733,8 @@ in
     camlp5 = ocamlPackages.camlp5_transitional;
   };
   coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix {
-    inherit (ocamlPackages) ocaml findlib lablgtk;
-    camlp5 = ocamlPackages.camlp5_transitional;
+    inherit (ocamlPackages_4_03) ocaml findlib lablgtk;
+    camlp5 = ocamlPackages_4_03.camlp5_transitional;
   };
   coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix {
     inherit (ocamlPackages) ocaml findlib lablgtk;