From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 shell.nix | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 shell.nix

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..464969d
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,21 @@
+{ pkgs ? import ./nixpkgs-pinned.nix {} }:
+let ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14; in
+pkgs.mkShell {
+  inputsFrom = [ (import ./coverage.nix { inherit pkgs; }) ];
+  buildInputs = with pkgs; [
+    bash
+    cloc
+    git
+    jq
+    tree
+    (python3.withPackages (pkgs: [ pkgs.pygments ]))
+    coqPackages_8_20.coq
+    coqPackages_8_20.coq-lsp
+    coqPackages_8_20.vscoq-language-server
+    ocamlPackages.ocaml-lsp
+    ocamlPackages.ocamlformat
+    ocamlPackages.odoc
+    ocamlPackages.utop
+    ocamlPackages.merlin
+  ];
+}
-- 
cgit v1.2.3