We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 94b15d3 commit 4414f37Copy full SHA for 4414f37
1 file changed
INSTALL.md
@@ -527,7 +527,8 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
527
- [Python3 YAML](https://pyyaml.org/wiki/PyYAMLDocumentation)
528
- [Python3 Curses](https://docs.python.org/3/library/curses.html#module-curses)
529
- *Note: This might already be included with your Python installation. If so,
530
- you do not need to install it separately.*
+ you do not need to install it separately.*
531
+
532
Additional resources:
533
- https://pypi.org/project/PyYAML
534
- https://github.com/yaml/pyyaml
0 commit comments