Merge pull request #31 from inpefess/missing-dataclasses

add a conditional dataclasses dependency
inpefess · Jun 14, 2021 · 44ece7f · 44ece7f
2 parents c736c67 + 3d515dd
commit 44ece7f
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 27 deletions.
diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "isabelle-client"
-version = "0.2.3"
+version = "0.2.4"
 description = "A client to Isabelle proof assistant server"
 authors = ["Boris Shminke <boris@shminke.ml>"]
 license = "Apache-2.0"
@@ -24,6 +24,7 @@ include = ["isabelle_client/py.typed"]
 
 [tool.poetry.dependencies]
 python = ">= 3.6, < 4.0"
+dataclasses = {version = "*", markers = "python_version < \"3.7\""}
 
 [tool.poetry.dev-dependencies]
 pycodestyle = "*"