From 57a69a401d5f9df74d9bf1b6cf3292e6210175fa Mon Sep 17 00:00:00 2001
From: Eloi Torrents <eloitor@disroot.org>
Date: Fri, 27 May 2022 22:32:09 +0200
Subject: [PATCH] New package: mathlibtools-1.1.1

mathlibtools: update to 1.1.2.
---
 srcpkgs/mathlibtools/template       | 18 ++++++++++++++++++
 srcpkgs/python3-Deprecated/template | 19 +++++++++++++++++++
 srcpkgs/python3-PyGithub/template   | 15 +++++++++++++++
 srcpkgs/python3-httpretty/template  | 20 ++++++++++++++++++++
 srcpkgs/python3-pydot/template      | 19 +++++++++++++++++++
 5 files changed, 91 insertions(+)
 create mode 100644 srcpkgs/mathlibtools/template
 create mode 100644 srcpkgs/python3-Deprecated/template
 create mode 100644 srcpkgs/python3-PyGithub/template
 create mode 100644 srcpkgs/python3-httpretty/template
 create mode 100644 srcpkgs/python3-pydot/template

diff --git a/srcpkgs/mathlibtools/template b/srcpkgs/mathlibtools/template
new file mode 100644
index 000000000000..ef863bed969d
--- /dev/null
+++ b/srcpkgs/mathlibtools/template
@@ -0,0 +1,18 @@
+# Template file for 'mathlibtools'
+pkgname=mathlibtools
+version=1.1.2
+revision=1
+wrksrc=mathlib-tools-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-toml python3-PyGithub python3-certifi python3-GitPython
+ python3-requests python3-click python3-tqdm python3-networkx python3-pydot
+ python3-yaml python3-atomicwrites python3-paramiko"
+checkdepends="$depends git"
+short_desc="Supporting tool for Lean mathlib"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="Apache-2.0"
+homepage="https://github.com/leanprover-community/mathlib-tools"
+changelog="https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/CHANGELOG.md"
+distfiles="https://github.com/leanprover-community/mathlib-tools/archive/v${version}.tar.gz"
+checksum=15c1ee70255ef3d1ad707f58e8bc048a222b78b204e3e2eb054e0bc08bed7e03
diff --git a/srcpkgs/python3-Deprecated/template b/srcpkgs/python3-Deprecated/template
new file mode 100644
index 000000000000..e5faafd9d803
--- /dev/null
+++ b/srcpkgs/python3-Deprecated/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-Deprecated'
+pkgname=python3-Deprecated
+version=1.2.13
+revision=1
+wrksrc=deprecated-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-wrapt"
+checkdepends="$depends python3-pytest"
+short_desc="Decorator to deprecate old python classes"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/tantale/deprecated"
+distfiles="https://github.com/tantale/deprecated/archive/v${version}.tar.gz"
+checksum=771e20e93bb4bc497bd9955829d36074dd7608962846c0b34a92ff68ed7ebad9
+
+post_install() {
+	vlicense LICENSE.rst
+}
diff --git a/srcpkgs/python3-PyGithub/template b/srcpkgs/python3-PyGithub/template
new file mode 100644
index 000000000000..29e1d913c678
--- /dev/null
+++ b/srcpkgs/python3-PyGithub/template
@@ -0,0 +1,15 @@
+# Template file for 'python3-PyGithub'
+pkgname=python3-PyGithub
+version=1.55
+revision=1
+wrksrc=PyGithub-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-Deprecated python3-PyJWT python3-requests"
+checkdepends="$depends python3-httpretty python3-nacl python3-pytest"
+short_desc="Python library to access Github API v3"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="LGPL-3.0-or-later"
+homepage="https://github.com/PyGithub/PyGithub"
+distfiles="https://github.com/PyGithub/PyGithub/archive/v${version}.tar.gz"
+checksum=c674e5cceba1f2cf0d7ea79da66cf31f1131e86c41cd66a2330890f74327c0e1
diff --git a/srcpkgs/python3-httpretty/template b/srcpkgs/python3-httpretty/template
new file mode 100644
index 000000000000..7cf1eb86bb7f
--- /dev/null
+++ b/srcpkgs/python3-httpretty/template
@@ -0,0 +1,20 @@
+# Template file for 'python3-httpretty'
+pkgname=python3-httpretty
+version=1.1.4
+revision=1
+wrksrc=HTTPretty-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3"
+checkdepends="python3-devel python3-setuptools"
+short_desc="HTTP client mocking tool for Python"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/gabrielfalcao/HTTPretty"
+distfiles="https://github.com/gabrielfalcao/HTTPretty/archive/${version}.tar.gz"
+checksum=829b98fa7a467ff2f6b20a8dd15aa2e80090c2912d2ba1fd9f47ebfb1b705a74
+make_check=no # requires sphinxcontrib-asciinema
+
+post_install() {
+	vlicense COPYING
+}
diff --git a/srcpkgs/python3-pydot/template b/srcpkgs/python3-pydot/template
new file mode 100644
index 000000000000..5fff2b15fb5c
--- /dev/null
+++ b/srcpkgs/python3-pydot/template
@@ -0,0 +1,19 @@
+# Template file for 'python3-pydot'
+pkgname=python3-pydot
+version=1.4.2
+revision=1
+wrksrc=pydot-${version}
+build_style=python3-module
+hostmakedepends="python3-setuptools"
+depends="python3-parsing"
+checkdepends="${depends} python3-chardet graphviz"
+short_desc="Python interface to Graphviz's Dot"
+maintainer="Eloi Torrents <eloitor@disroot.org>"
+license="MIT"
+homepage="https://github.com/pydot/pydot"
+distfiles="https://github.com/pydot/pydot/archive/v${version}.tar.gz"
+checksum=a992e01679ae782b08c151b329754d6d9aed61aa0aa8147a3807552cfe2adcf9
+
+post_install() {
+	vlicense LICENSE
+}