From b13a3ab3fda84037fdea2101daff35cc88cae664 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 9 Jun 2020 15:11:32 +0200
Subject: add lua&sed to shell and switch to coq 8.11 + fixing doc

---
 default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index 82542c8..75e8a66 100644
--- a/default.nix
+++ b/default.nix
@@ -111,5 +111,7 @@ let
 in
 if pkgs.lib.trivial.inNixShell then pkg.overrideAttrs (old: {
   inherit shellHook mathcompnix;
-  buildInputs = (old.buildInputs or []) ++ pkgs.lib.optional withEmacs emacs;
+  buildInputs = (old.buildInputs or []) ++
+                pkgs.lib.optional withEmacs emacs ++
+                [ pkgs.lua pkgs.sedutil ];
 }) else pkg
-- 
cgit v1.2.3