From 83e716e65a3d497387e6bf8f33de29fff3bd269d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 19 Mar 2020 15:09:59 +0000
Subject: Update names of directories

---
 shell.nix | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index 84ead99..42cbd1d 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1 +1,7 @@
-import ./.
+with import <nixpkgs> {};
+mkShell {
+  buildInputs = [
+    coq_8_10 ocamlPackages.menhir dune ocaml
+    ocamlPackages.findlib
+  ];
+}
-- 
cgit