runtimeverification
diff --git a/‎nix/resources/attrs-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions b/‎nix/resources/attrs-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions
diff --git a/‎nix/resources/click-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions b/‎nix/resources/click-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions
diff --git a/‎nix/resources/graphviz-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions b/‎nix/resources/graphviz-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions
diff --git a/‎nix/resources/hypothesis-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions b/‎nix/resources/hypothesis-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions
diff --git a/‎nix/resources/types-python-dateutil-pyproject.toml.patch‎
Lines changed: 0 additions & 12 deletions b/‎nix/resources/types-python-dateutil-pyproject.toml.patch‎
Lines changed: 0 additions & 12 deletions
diff --git a/‎nix/resources/typing-extensions-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions b/‎nix/resources/typing-extensions-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions
diff --git a/‎nix/resources/urllib3-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions b/‎nix/resources/urllib3-pyproject.toml.patch‎
Lines changed: 0 additions & 13 deletions
diff --git a/‎nix/resources/zipp-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions b/‎nix/resources/zipp-pyproject.toml.patch‎
Lines changed: 0 additions & 11 deletions