add lua&sed to shell and switch to coq 8.11 + fixing doc

1 files changed, 1 insertions, 1 deletions

diff --git a/config.nix b/config.nix
index 7660dde..bb1ecee 100644
--- a/config.nix
+++ b/config.nix
@@ -1,3 +1,3 @@
 {
-  coq = "8.10";
+  coq = "8.11";
 }