K

Author: MM45

INSTALL.md

@@ -527,9 +527,6 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
   - [Python3 YAML](https://pyyaml.org/wiki/PyYAMLDocumentation)
   - [Python3 Curses](https://docs.python.org/3/library/curses.html#module-curses)  
     *Note: This might already be included with your Python installation. If so, you do not need to install it separately.*
-  Additional resources:
-  - https://pypi.org/project/PyYAML
-  - https://github.com/yaml/pyyaml
 
 ### Installing EasyCrypt From Source