From ebf38e474ad96e430f0cbeef533e2faab5748eeb Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 26 Oct 2018 10:08:54 +0200
Subject: [default.nix] Clean-up: use camlp5 instead of synonymous
 camlp5_strict.

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 9557d6da47..9a7afbe89e 100644
--- a/default.nix
+++ b/default.nix
@@ -47,7 +47,7 @@ stdenv.mkDerivation rec {
     python2 time # coq-makefile timing tools
     dune
   ]
-  ++ (with ocamlPackages; [ ocaml findlib camlp5_strict num ])
+  ++ (with ocamlPackages; [ ocaml findlib camlp5 num ])
   ++ optional buildIde ocamlPackages.lablgtk
   ++ optionals buildDoc [
     # Sphinx doc dependencies
-- 
cgit v1.2.3