From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id kKNfJgFkkmHrUwAAgWs5BA (envelope-from ) for ; Mon, 15 Nov 2021 14:43:29 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id wGztIQFkkmEXcwAAbx9fmQ (envelope-from ) for ; Mon, 15 Nov 2021 13:43:29 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 2B85F9D94 for ; Mon, 15 Nov 2021 14:43:29 +0100 (CET) Received: from localhost ([::1]:57200 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mmcGe-0006iN-By for larch@yhetil.org; Mon, 15 Nov 2021 08:43:28 -0500 Received: from eggs.gnu.org ([209.51.188.92]:35346) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcGE-0006gq-Ho for guix-patches@gnu.org; Mon, 15 Nov 2021 08:43:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:41484) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mmcGE-0005Ch-9b for guix-patches@gnu.org; Mon, 15 Nov 2021 08:43:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mmcGE-0008Sg-7t for guix-patches@gnu.org; Mon, 15 Nov 2021 08:43:02 -0500 Subject: bug#50836: [PATCH 0/5] Python logic programming packages Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Mon, 15 Nov 2021 13:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Ryan Prior Cc: 50836-done@debbugs.gnu.org Mail-Followup-To: 50836@debbugs.gnu.org, ludo@gnu.org, rprior@protonmail.com Received: via spool by 50836-done@debbugs.gnu.org id=D50836.163698377432504 (code D ref 50836); Mon, 15 Nov 2021 13:43:02 +0000 Received: (at 50836-done) by debbugs.gnu.org; 15 Nov 2021 13:42:54 +0000 Received: from localhost ([127.0.0.1]:53029 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcG5-0008SA-Mf for submit@debbugs.gnu.org; Mon, 15 Nov 2021 08:42:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34550) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcG4-0008Rx-2c for 50836-done@debbugs.gnu.org; Mon, 15 Nov 2021 08:42:52 -0500 Received: from [2001:470:142:3::e] (port=35012 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcFy-0005AR-R0; Mon, 15 Nov 2021 08:42:46 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=Fq0mSGv7lNqZOazezBStDO/nHwqhl1qXY9M1WD/ibTg=; b=rMrvSrOdahimSHwAvPW3 9i8lnolT7UPjC1nUGcHDh/lscwdXl/hYFfFyT3jYA2rciFmWwEUMn99GcVSryg6Gwx/5theOkqh7P LkuL2+SL9YMRwV41JdU7mfOuAU7KxpS0s5BUb/ISXj8D8h4qnDtTbOJstkazUx3Csw0HxXJJNCLk2 q484ndDgnNXsoSz9cgx4YRvzhTa+Sp7LW6KIEfmp0jld2k+DxD606y/3B+8xFhbyr5VoVbZz89dTY U2/7NzLndEwAZVhJOfoxNCtTtYN8ezaqhm/Z5wKdp7V0I8oXSnBfhMZ84B8sALMBmJednpmNTgLVE lXnnHObYygJJQQ==; Received: from [193.50.110.110] (port=57560 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcFy-0007Mc-JI; Mon, 15 Nov 2021 08:42:46 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20210927021752.30671-1-rprior@protonmail.com> Date: Mon, 15 Nov 2021 14:42:39 +0100 In-Reply-To: <20210927021752.30671-1-rprior@protonmail.com> (Ryan Prior's message of "Mon, 27 Sep 2021 02:17:56 +0000") Message-ID: <87a6i55ycw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1636983809; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-to: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=Fq0mSGv7lNqZOazezBStDO/nHwqhl1qXY9M1WD/ibTg=; b=GkTjdP9H9KcKX35UkqAO7MrFWydyEvuR296nSyZMEsrrn4u/sV2DouyuOivuGhJWSyLOU/ s7j/TmVR5oIuDdjzgKtcZlJxgKPIT3rSzGbJY6IsMEFtQj72LjA/2LybBEgGWw6t3OdBdj c6nptSGfnxDermSV5S4S4c5fWdQtPpC4eHZzOwdNJZQCyvqQwDt09o/31LVIQvMzXmAyvo L5z0bgzn0YF7NYleMK9tf3fJzWtSf15vv85UVXVUz3yhH/XcAKwk9kHxa4ZiAu7p+yP4fx erOt5GOZn1AOybwX4Lgri2GYfa+iRSAOcm4vr7li5x5Ksx/MSw+ZiYXiIOKBwg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1636983809; a=rsa-sha256; cv=none; b=DSme8uR1NO9/IkX5SBwp5phI3jEwGiZhbYDjJYYZEj+NMl/vqZZYAn21Oas/Lr6B7NHSD+ Jnsu0xtSx1O8/QokwsM45AqL3c44ow94vrGds8UscuKaTtDqS37isJYgawCHa+kHLJPXpW ovLyB05SeZBLbgyhbr/Jkbr7nsy7DUJi8Q1gs46/G2LiOlf2QHrH8NU/6IfNZFEvYocukX NiVnhNSxXZJSeMirFKPb+f3Ybs7BxjotIJN4VP0H2ep4LGIfKb4LFYU4DSRFag3f0qbP5Y 4uwy/Rg9+thnV43N8iIy7lRDpLHPCMoIXDcJLh/O6DqxDVSb408++Sqo9GAYQA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=rMrvSrOd; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.04 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=rMrvSrOd; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 2B85F9D94 X-Spam-Score: -2.04 X-Migadu-Scanner: scn0.migadu.com X-TUID: D/f9aiuJasM+ Hi, Ryan Prior skribis: > gnu: Add python-multipledispatch. > gnu: Add python-logical-unification. > gnu: Add python-cons. > gnu: Add python-etuples. > gnu: Add python-minikanren. I adjusted input labels as Maxime suggested, addressed minor issues reported by =E2=80=98guix lint=E2=80=99, and committed the whole thing. I didn=E2=80=99t know miniKanren (and =E2=80=98cons=E2=80=99 :-)) had been = ported to Python, sweet! Thanks, Ludo=E2=80=99.