Merge branch 'main' of github.com:hferee/UIML

hferee · Oct 16, 2024 · 73a2ce7 · 73a2ce7
2 parents 6390ae7 + f3de6cd
commit 73a2ce7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -19,7 +19,7 @@ further compiled to Javascript.
 
 ## Building
 
-Compiling the project requires Coq version 8.17.1 and may not compile on other versions. One may enforce this locally by running
+Compiling the project requires Coq version 8.19.2 and may not compile on other versions. One may enforce this locally by running
 `opam pin coq 8.19.2` in the project folder.
 
 There is a rudimentary install script `install.sh` in this folder.