From 60d56f2bb32201be435b7cd4462dd778ed559aa4 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 12 Mar 2021 10:18:31 +0100
Subject: Use nix-tool-box

---
 config.nix | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 config.nix

(limited to 'config.nix')

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