Merge pull request #137 from aig-upf/devel

Testing a possible fix for pyrddl dependency
aig-upf · Apr 7, 2022 · e061b94 · e061b94
2 parents 9b695a4 + aaaac7c
commit e061b94
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,7 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Deprecated
 ### Fixed
 
-## [0.8.1] 2022-04-07
+## [0.8.2] 2022-04-07
 ### Fixed
  - Fixed pypi publishing workflow.
 

diff --git a/setup.py b/setup.py
@@ -87,7 +87,7 @@ def main():
                 'numpy'
             ],
             'rddl': [
-                "pyrddl @ https://github.com/thiagopbueno/pyrddl/archive/9ccab6a.zip#sha1=a584f90381bf7d48b85976807b9bc6c0cb2761ba"
+                "pyrddl"
             ],
             'parsegen': [
                 'ply==3.11'

diff --git a/src/tarski/version.py b/src/tarski/version.py
@@ -1,3 +1,3 @@
 
-__version_info__ = (0, 8, 1)
+__version_info__ = (0, 8, 2)
 __version__ = '.'.join(map(str, __version_info__))