From: "Michał Górny" <mgorny@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-python/minikanren/
Date: Sat, 11 Dec 2021 23:24:53 +0000 (UTC) [thread overview]
Message-ID: <1639265084.ab013e15619d9fbf7494770961f971265c54d9b2.mgorny@gentoo> (raw)
commit: ab013e15619d9fbf7494770961f971265c54d9b2
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 11 20:01:00 2021 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Sat Dec 11 23:24:44 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab013e15
dev-python/minikanren: new dep of dev-python/aesara, add 1.0.2
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
dev-python/minikanren/Manifest | 1 +
dev-python/minikanren/metadata.xml | 13 +++++++++++
dev-python/minikanren/minikanren-1.0.2.ebuild | 32 +++++++++++++++++++++++++++
3 files changed, 46 insertions(+)
diff --git a/dev-python/minikanren/Manifest b/dev-python/minikanren/Manifest
new file mode 100644
index 000000000000..187db17d26f5
--- /dev/null
+++ b/dev-python/minikanren/Manifest
@@ -0,0 +1 @@
+DIST minikanren-1.0.2.gh.tar.gz 70501 BLAKE2B 59efa4d62a2f896d310ebe522a6c77aaddc54be4d2a8fcf3aa29f3f5f4dcb3ac57823514661d5900e38f0ebd0e0247e7d99bbab53afaaf243e39084f357a0361 SHA512 278b6f3d0666c1ac1baad29ee9c767039922a7b7ffdbdd543c8ccfc65a7d54c3353327abbd7c5c41fa3194ddc00044cff1e975e51f8f5ea5a64c8c2bcfac17e2
diff --git a/dev-python/minikanren/metadata.xml b/dev-python/minikanren/metadata.xml
new file mode 100644
index 000000000000..c1cc25a77788
--- /dev/null
+++ b/dev-python/minikanren/metadata.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>python@gentoo.org</email>
+ <name>Python</name>
+ </maintainer>
+ <stabilize-allarches/>
+ <upstream>
+ <remote-id type="pypi">miniKanren</remote-id>
+ <remote-id type="github">pythological/kanren</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-python/minikanren/minikanren-1.0.2.ebuild b/dev-python/minikanren/minikanren-1.0.2.ebuild
new file mode 100644
index 000000000000..164c0c9b8412
--- /dev/null
+++ b/dev-python/minikanren/minikanren-1.0.2.ebuild
@@ -0,0 +1,32 @@
+# Copyright 2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8..10} )
+inherit distutils-r1
+
+DESCRIPTION="Relational programming in Python"
+HOMEPAGE="
+ https://pypi.org/project/miniKanren/
+ https://github.com/pythological/kanren/
+"
+SRC_URI="
+ https://github.com/pythological/kanren/archive/v${PV}.tar.gz
+ -> ${P}.gh.tar.gz
+"
+S="${WORKDIR}/kanren-${PV}"
+
+LICENSE="BSD"
+SLOT="0"
+KEYWORDS="~amd64"
+
+RDEPEND="
+ dev-python/cons[${PYTHON_USEDEP}]
+ dev-python/etuples[${PYTHON_USEDEP}]
+ dev-python/logical-unification[${PYTHON_USEDEP}]
+ dev-python/multipledispatch[${PYTHON_USEDEP}]
+ dev-python/toolz[${PYTHON_USEDEP}]
+"
+
+distutils_enable_tests pytest
next reply other threads:[~2021-12-11 23:25 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-11 23:24 Michał Górny [this message]
-- strict thread matches above, loose matches on Subject: below --
2021-12-13 9:04 [gentoo-commits] repo/gentoo:master commit in: dev-python/minikanren/ Arthur Zamarin
2021-12-13 15:39 Arthur Zamarin
2021-12-13 15:39 Arthur Zamarin
2021-12-16 5:55 Yixun Lan
2021-12-28 5:56 Sam James
2021-12-30 19:11 Arthur Zamarin
2022-01-20 6:26 Arthur Zamarin
2022-02-27 18:35 Michał Górny
2022-10-12 13:49 Andrew Ammerlaan
2023-04-16 12:11 WANG Xuerui
2023-07-08 14:46 Michał Górny
2023-08-12 0:10 Sam James
2023-08-12 3:05 Michał Górny
2023-11-24 14:49 Michał Górny
2024-06-18 17:59 Michał Górny
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1639265084.ab013e15619d9fbf7494770961f971265c54d9b2.mgorny@gentoo \
--to=mgorny@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox