[rtems-central commit] requirements.txt: Add coconut

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    5ac1e04bbea3e525ab19946124fe71bc0aef1f1d
Changeset: http://git.rtems.org/rtems-central/commit/?id=5ac1e04bbea3e525ab19946124fe71bc0aef1f1d

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Feb  9 09:03:48 2023 +0100

requirements.txt: Add coconut

Remove requirements.txt files from "formal" directory

---

 formal/promela/src/examples/requirements.txt | 35 ----------------------------
 formal/promela/src/requirements.txt          | 35 ----------------------------
 requirements.txt                             |  3 +++
 3 files changed, 3 insertions(+), 70 deletions(-)

diff --git a/formal/promela/src/examples/requirements.txt b/formal/promela/src/examples/requirements.txt
deleted file mode 100644
index f6f48fd4..00000000
--- a/formal/promela/src/examples/requirements.txt
+++ /dev/null
@@ -1,35 +0,0 @@
-astroid==2.4.2
-attrs==20.3.0
-coconut==1.4.3
-coverage==5.3
-cPyparsing==2.4.5.0.1.1
-decorator==4.4.2
-flake8==3.8.4
-importlib-metadata==3.1.1
-iniconfig==1.1.1
-isort==5.6.4
-lazy-object-proxy==1.4.3
-mccabe==0.6.1
-mypy==0.782
-mypy-extensions==0.4.3
-networkx==2.5
-packaging==20.7
-parsec==3.5
-pluggy==0.13.1
-ply==3.10
-prompt-toolkit==3.0.8
-py==1.9.0
-pycodestyle==2.6.0
-pyflakes==2.2.0
-Pygments==2.7.2
-pylint==2.6.0
-pytest==6.1.2
-PyYAML==5.3.1
-six==1.15.0
-toml==0.10.2
-typed-ast==1.4.1
-typing-extensions==3.7.4.3
-wcwidth==0.2.5
-wrapt==1.12.1
-yapf==0.30.0
-zipp==3.4.0
diff --git a/formal/promela/src/requirements.txt b/formal/promela/src/requirements.txt
deleted file mode 100644
index f6f48fd4..00000000
--- a/formal/promela/src/requirements.txt
+++ /dev/null
@@ -1,35 +0,0 @@
-astroid==2.4.2
-attrs==20.3.0
-coconut==1.4.3
-coverage==5.3
-cPyparsing==2.4.5.0.1.1
-decorator==4.4.2
-flake8==3.8.4
-importlib-metadata==3.1.1
-iniconfig==1.1.1
-isort==5.6.4
-lazy-object-proxy==1.4.3
-mccabe==0.6.1
-mypy==0.782
-mypy-extensions==0.4.3
-networkx==2.5
-packaging==20.7
-parsec==3.5
-pluggy==0.13.1
-ply==3.10
-prompt-toolkit==3.0.8
-py==1.9.0
-pycodestyle==2.6.0
-pyflakes==2.2.0
-Pygments==2.7.2
-pylint==2.6.0
-pytest==6.1.2
-PyYAML==5.3.1
-six==1.15.0
-toml==0.10.2
-typed-ast==1.4.1
-typing-extensions==3.7.4.3
-wcwidth==0.2.5
-wrapt==1.12.1
-yapf==0.30.0
-zipp==3.4.0
diff --git a/requirements.txt b/requirements.txt
index 2516603a..8689d7ea 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -5,7 +5,9 @@ Babel>=2.11.0
 certifi>=2022.12.7
 chardet>=5.0.0
 charset-normalizer>=2.0.12
+coconut>=2.2.0
 coverage>=6.2
+cPyparsing>=2.4.7.1.2.0
 dataclasses>=0.8;python_version<"3.7"
 dill>=0.3.4
 docutils>=0.17.1
@@ -28,6 +30,7 @@ oset>=0.1.3
 packaging>=21.3
 platformdirs>=2.4.0
 pluggy>=1.0.0
+prompt-toolkit>=3.0.36
 py>=1.11.0
 pybtex>=0.24.0
 pybtex-docutils>=1.0.2