From 4c01c6101edad8580061102be2b411835fa8b0e5 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 29 May 2018 08:27:41 +0000
Subject: [default.nix] Use OCaml 4.06

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 874ca7bb5..c80ae1597 100644
--- a/default.nix
+++ b/default.nix
@@ -22,7 +22,7 @@
 # a symlink to where Coq was installed.
 
 { pkgs ? (import <nixpkgs> {})
-, ocamlPackages ? pkgs.ocamlPackages
+, ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_06
 , buildIde ? true
 , buildDoc ? true
 , doCheck ? true
-- 
cgit v1.2.3