automatic import of python-mathlibtoolsopeneuler20.03

3 files changed, 293 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..3296e1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/mathlibtools-1.3.2.tar.gz
diff --git a/python-mathlibtools.spec b/python-mathlibtools.spec
new file mode 100644
index 0000000..4d7e604
--- /dev/null
+++ b/python-mathlibtools.spec
@@ -0,0 +1,291 @@
+%global _empty_manifest_terminate_build 0
+Name:		python-mathlibtools
+Version:	1.3.2
+Release:	1
+Summary:	Lean prover mathlib supporting tools.
+License:	Apache Software License
+URL:		https://github.com/leanprover-community/mathlib-tools
+Source0:	https://mirrors.nju.edu.cn/pypi/web/packages/ae/6a/815d7f65dc853973b13be082fefe797074e633407ef1262a62bc0be84203/mathlibtools-1.3.2.tar.gz
+BuildArch:	noarch
+
+Requires:	python3-toml
+Requires:	python3-PyGithub
+Requires:	python3-certifi
+Requires:	python3-gitpython
+Requires:	python3-requests
+Requires:	python3-Click
+Requires:	python3-tqdm
+Requires:	python3-networkx
+Requires:	python3-pydot
+Requires:	python3-PyYAML
+Requires:	python3-atomicwrites
+Requires:	python3-dataclasses
+
+%description
+# mathlib-tools
+
+![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg)
+![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg)
+![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg)
+
+This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
+
+## Installation
+
+In principle, you should install those tools as part of the 
+[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community. 
+Read what what remains of this section only if you want more details
+about this specific part of the procedure (the tools described here won't give
+you anything if Lean itself is not available).
+
+### Released version
+
+#### `pipx`
+
+The tools in this repository use python3, at least python
+3.6, which is the oldest version of python supported
+by the python foundation. They can be installed using
+[pip](https://pypi.org/project/mathlibtools/). The basic install command
+for the latest released version is thus:
+```bash
+python3 -m pip install mathlibtools
+```
+
+The above command may complain about permissions. This can be solved
+by running it as root, but this is not recommended in general. You can
+run `python3 -m pip install --user mathlibtools` to install it in your
+home directory (make sure that `$HOME/.local/bin/` is on your shell path
+afterwards), but an even better way is to use
+[pipx](https://pipxproject.github.io/pipx/):
+
+```bash
+python3 -m pip install --user pipx
+python3 -m pipx ensurepath
+source ~/.profile
+pipx install mathlibtools
+```
+
+#### `macOS`
+
+If you are on macOS, the recommended way to install is via homebrew,
+which will handle the above Python installation for you:
+
+```bash
+brew install mathlibtools
+```
+
+#### `NixOS`
+
+If you are using NixOS, you can also install mathlib tools using the
+bundled `default.nix` file:
+
+```
+nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
+```
+
+### Development version
+
+If you want to use the latest development version, you can clone this
+repository, go to the repository folder, and run `pip install .`.
+
+## Usage
+
+See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
+
+
+%package -n python3-mathlibtools
+Summary:	Lean prover mathlib supporting tools.
+Provides:	python-mathlibtools
+BuildRequires:	python3-devel
+BuildRequires:	python3-setuptools
+BuildRequires:	python3-pip
+%description -n python3-mathlibtools
+# mathlib-tools
+
+![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg)
+![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg)
+![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg)
+
+This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
+
+## Installation
+
+In principle, you should install those tools as part of the 
+[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community. 
+Read what what remains of this section only if you want more details
+about this specific part of the procedure (the tools described here won't give
+you anything if Lean itself is not available).
+
+### Released version
+
+#### `pipx`
+
+The tools in this repository use python3, at least python
+3.6, which is the oldest version of python supported
+by the python foundation. They can be installed using
+[pip](https://pypi.org/project/mathlibtools/). The basic install command
+for the latest released version is thus:
+```bash
+python3 -m pip install mathlibtools
+```
+
+The above command may complain about permissions. This can be solved
+by running it as root, but this is not recommended in general. You can
+run `python3 -m pip install --user mathlibtools` to install it in your
+home directory (make sure that `$HOME/.local/bin/` is on your shell path
+afterwards), but an even better way is to use
+[pipx](https://pipxproject.github.io/pipx/):
+
+```bash
+python3 -m pip install --user pipx
+python3 -m pipx ensurepath
+source ~/.profile
+pipx install mathlibtools
+```
+
+#### `macOS`
+
+If you are on macOS, the recommended way to install is via homebrew,
+which will handle the above Python installation for you:
+
+```bash
+brew install mathlibtools
+```
+
+#### `NixOS`
+
+If you are using NixOS, you can also install mathlib tools using the
+bundled `default.nix` file:
+
+```
+nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
+```
+
+### Development version
+
+If you want to use the latest development version, you can clone this
+repository, go to the repository folder, and run `pip install .`.
+
+## Usage
+
+See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
+
+
+%package help
+Summary:	Development documents and examples for mathlibtools
+Provides:	python3-mathlibtools-doc
+%description help
+# mathlib-tools
+
+![Test on Linux](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Linux/badge.svg)
+![Test on MacOS](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20MacOS/badge.svg)
+![Test on Windows](https://github.com/leanprover-community/mathlib-tools/workflows/Test%20on%20Windows/badge.svg)
+
+This package contains `leanproject`, a supporting tool for [Lean mathlib](https://leanprover-community.github.io/).
+
+## Installation
+
+In principle, you should install those tools as part of the 
+[global Lean installation procedure](https://leanprover-community.github.io/get_started.html#regular-install) recommended by the Lean community. 
+Read what what remains of this section only if you want more details
+about this specific part of the procedure (the tools described here won't give
+you anything if Lean itself is not available).
+
+### Released version
+
+#### `pipx`
+
+The tools in this repository use python3, at least python
+3.6, which is the oldest version of python supported
+by the python foundation. They can be installed using
+[pip](https://pypi.org/project/mathlibtools/). The basic install command
+for the latest released version is thus:
+```bash
+python3 -m pip install mathlibtools
+```
+
+The above command may complain about permissions. This can be solved
+by running it as root, but this is not recommended in general. You can
+run `python3 -m pip install --user mathlibtools` to install it in your
+home directory (make sure that `$HOME/.local/bin/` is on your shell path
+afterwards), but an even better way is to use
+[pipx](https://pipxproject.github.io/pipx/):
+
+```bash
+python3 -m pip install --user pipx
+python3 -m pipx ensurepath
+source ~/.profile
+pipx install mathlibtools
+```
+
+#### `macOS`
+
+If you are on macOS, the recommended way to install is via homebrew,
+which will handle the above Python installation for you:
+
+```bash
+brew install mathlibtools
+```
+
+#### `NixOS`
+
+If you are using NixOS, you can also install mathlib tools using the
+bundled `default.nix` file:
+
+```
+nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
+```
+
+### Development version
+
+If you want to use the latest development version, you can clone this
+repository, go to the repository folder, and run `pip install .`.
+
+## Usage
+
+See the [dedicated page](https://leanprover-community.github.io/leanproject.html) on the community website.
+
+
+%prep
+%autosetup -n mathlibtools-1.3.2
+
+%build
+%py3_build
+
+%install
+%py3_install
+install -d -m755 %{buildroot}/%{_pkgdocdir}
+if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi
+if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi
+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
+fi
+if [ -d usr/lib64 ]; then
+	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
+fi
+if [ -d usr/sbin ]; then
+	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
+fi
+popd
+mv %{buildroot}/filelist.lst .
+mv %{buildroot}/doclist.lst .
+
+%files -n python3-mathlibtools -f filelist.lst
+%dir %{python3_sitelib}/*
+
+%files help -f doclist.lst
+%{_docdir}/*
+
+%changelog
+* Fri May 05 2023 Python_Bot <Python_Bot@openeuler.org> - 1.3.2-1
+- Package Spec generated
diff --git a/sources b/sources
new file mode 100644
index 0000000..281215a
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+25faa087393f612732a11c3443fc98f1  mathlibtools-1.3.2.tar.gz