diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-02-09 09:03:48 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-02-09 09:03:48 +0100 |
| commit | 5ac1e04bbea3e525ab19946124fe71bc0aef1f1d (patch) | |
| tree | 9684421c0731144bdaee432acfcf3f460e623f8e | |
| parent | modules: Update rtems-docs (diff) | |
| download | rtems-central-5ac1e04bbea3e525ab19946124fe71bc0aef1f1d.tar.bz2 | |
requirements.txt: Add coconut
Remove requirements.txt files from "formal" directory
| -rw-r--r-- | formal/promela/src/examples/requirements.txt | 35 | ||||
| -rw-r--r-- | formal/promela/src/requirements.txt | 35 | ||||
| -rw-r--r-- | 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 |