update package version and info
{% set name = "gym-saturation" %}
-{% set version = "0.2.1" %}
+{% set version = "0.2.2" %}
package:
name: {{ name|lower }}
@@ -7,7 +7,7 @@ package:
source:
url: https://pypi.io/packages/source/{{ name[0] }}/{{ name }}/{{ name }}-{{ version }}.tar.gz
- sha256: ac97641f0bf0ca99201e9ba6d0baa9968119a1a3362b76bd4c11c0d8fd44027e
+ sha256: 45ec8d5ce221b81f37e4fba7208a656275e9d1cb33c741aeafa269398ca7798c
build:
noarch: python
@@ -45,7 +45,7 @@ about:
summary: 'an OpenAI Gym environment for saturation provers'
description: |
gym-saturation is an OpenAI Gym environment for reinforcement learning
- agents capable of proving theorems.
+ agents striving to prove theorems.
doc_url: https://gym-saturation.readthedocs.io/
dev_url: https://github.com/inpefess/gym-saturation
