Add lean_version to leanpkg.toml

gebner · Mar 13, 2020 · 436a4f5 · 436a4f5
1 parent 64a297c
commit 436a4f5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -2,5 +2,6 @@
 name = "hott3"
 version = "0.1"
 path = "src"
+lean_version = "leanprover-community/lean:3.7.0"
 
 [dependencies]