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 /requirements.txt | |
| parent | 798fd6715388d077a1ae6a3f8c9d8811f15eca9a (diff) | |
requirements.txt: Add coconut
Remove requirements.txt files from "formal" directory
Diffstat (limited to 'requirements.txt')
| -rw-r--r-- | requirements.txt | 3 |
1 files changed, 3 insertions, 0 deletions
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 |