From 42fbcdd1e937e56c4b145ff1acb7d437fa934efb Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 2 Jun 2020 19:05:12 +0200
Subject: update default nix and setup cachix

---
 config.nix | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 config.nix

(limited to 'config.nix')

diff --git a/config.nix b/config.nix
new file mode 100644
index 0000000..7660dde
--- /dev/null
+++ b/config.nix
@@ -0,0 +1,3 @@
+{
+  coq = "8.10";
+}
-- 
cgit v1.2.3