From 12df91a9fbef46824467f869f93c90697065f566 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Thu, 8 Jun 2023 17:03:29 +0000 Subject: automatic import of python-gym-saturation --- python-gym-saturation.spec | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'python-gym-saturation.spec') 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 - 0.10.0-1 +* Thu Jun 08 2023 Python_Bot - 0.10.1-1 - Package Spec generated -- cgit v1.2.3