diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-06-08 17:03:29 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-06-08 17:03:29 +0000 |
| commit | 12df91a9fbef46824467f869f93c90697065f566 (patch) | |
| tree | ed30f02b3ed757479cfa8f736bb36d9fce4a37f7 | |
| parent | d2965338ef76ce586a3915e30a483be8b58db2c5 (diff) | |
automatic import of python-gym-saturationopeneuler20.03
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-gym-saturation.spec | 18 | ||||
| -rw-r--r-- | sources | 2 |
3 files changed, 11 insertions, 10 deletions
@@ -1 +1,2 @@ /gym_saturation-0.10.0.tar.gz +/gym_saturation-0.10.1.tar.gz diff --git a/python-gym-saturation.spec b/python-gym-saturation.spec index 9819914..13a8a91 100644 --- a/python-gym-saturation.spec +++ b/python-gym-saturation.spec @@ -1,11 +1,11 @@ %global _empty_manifest_terminate_build 0 Name: python-gym-saturation -Version: 0.10.0 +Version: 0.10.1 Release: 1 Summary: Gymnasium environments for saturation provers License: Apache-2.0 URL: https://github.com/inpefess/gym-saturation -Source0: https://mirrors.nju.edu.cn/pypi/web/packages/12/7e/ff39887e7157841a3b0e73e2a128b0de572b82fe7fe364c1dfefec493f5b/gym_saturation-0.10.0.tar.gz +Source0: https://mirrors.aliyun.com/pypi/web/packages/36/e5/8c195f8b3201af95c3b83ffec32b62a008fe533879582ab89ec7c740a52a/gym_saturation-0.10.1.tar.gz BuildArch: noarch Requires: python3-importlib_resources @@ -82,7 +82,7 @@ logic-related stuff themselves. It also can be useful for automated deduction researchers who want to create an RL-empowered ATP. %prep -%autosetup -n gym-saturation-0.10.0 +%autosetup -n gym_saturation-0.10.1 %build %py3_build @@ -96,20 +96,20 @@ if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi pushd %{buildroot} if [ -d usr/lib ]; then - find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst + find usr/lib -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/lib64 ]; then - find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst + find usr/lib64 -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/bin ]; then - find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst + find usr/bin -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/sbin ]; then - find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst + find usr/sbin -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi touch doclist.lst if [ -d usr/share/man ]; then - find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst + find usr/share/man -type f -printf "\"/%h/%f.gz\"\n" >> doclist.lst fi popd mv %{buildroot}/filelist.lst . @@ -122,5 +122,5 @@ mv %{buildroot}/doclist.lst . %{_docdir}/* %changelog -* Wed May 17 2023 Python_Bot <Python_Bot@openeuler.org> - 0.10.0-1 +* Thu Jun 08 2023 Python_Bot <Python_Bot@openeuler.org> - 0.10.1-1 - Package Spec generated @@ -1 +1 @@ -8cb7eb4e7483dba17a97c8f24b01e434 gym_saturation-0.10.0.tar.gz +97d11ac5062c7c6ffb906091119f2e38 gym_saturation-0.10.1.tar.gz |