We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 16d828c commit 248f2baCopy full SHA for 248f2ba
1 file changed
pyproject.toml
@@ -4,15 +4,15 @@ build-backend = "setuptools.build_meta"
4
5
[project]
6
name = "flamapy-z3"
7
-version = "2.1.0.dev1"
+version = "2.1.0.dev2"
8
description = "z3-plugin for the automated analysis of feature models"
9
readme = "README.md"
10
license = "GPL-3.0-or-later"
11
authors = [{ name = "Flamapy", email = "flamapy@us.es" }]
12
requires-python = ">=3.9"
13
dependencies = [
14
- "flamapy-fw~=2.1.0.dev1",
15
- "flamapy-fm~=2.1.0.dev1",
+ "flamapy-fw~=2.1.0.dev2",
+ "flamapy-fm~=2.1.0.dev2",
16
"z3-solver~=4.14.1.0",
17
]
18
0 commit comments