From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id +KDSNGbjTmIfOAAAgWs5BA (envelope-from ) for ; Thu, 07 Apr 2022 15:13:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 8O6OLWbjTmKHhgEAG6o9tA (envelope-from ) for ; Thu, 07 Apr 2022 15:13:10 +0200 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 7C87B364AC for ; Thu, 7 Apr 2022 15:13:10 +0200 (CEST) Received: from localhost ([::1]:32852 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ncRwj-00018b-HN for larch@yhetil.org; Thu, 07 Apr 2022 09:13:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46246) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ncRvl-0000b1-N0 for guix-patches@gnu.org; Thu, 07 Apr 2022 09:12:10 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:38066) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ncRvf-0005Nj-ND for guix-patches@gnu.org; Thu, 07 Apr 2022 09:12:09 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ncRvf-0000Fh-JE for guix-patches@gnu.org; Thu, 07 Apr 2022 09:12:03 -0400 Subject: bug#35975: [PATCH 43/47] gnu: Add python-mypy. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Thu, 07 Apr 2022 13:12:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 35975 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "h.nasajpour" Cc: 35975-done@debbugs.gnu.org Mail-Followup-To: 35975@debbugs.gnu.org, zimon.toutoune@gmail.com, h.nasajpour@pantherx.org Received: via spool by 35975-done@debbugs.gnu.org id=D35975.1649337090893 (code D ref 35975); Thu, 07 Apr 2022 13:12:03 +0000 Received: (at 35975-done) by debbugs.gnu.org; 7 Apr 2022 13:11:30 +0000 Received: from localhost ([127.0.0.1]:60187 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncRv8-0000EF-CI for submit@debbugs.gnu.org; Thu, 07 Apr 2022 09:11:30 -0400 Received: from mail-wr1-f48.google.com ([209.85.221.48]:33560) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncRv5-0000Dl-Lw for 35975-done@debbugs.gnu.org; Thu, 07 Apr 2022 09:11:29 -0400 Received: by mail-wr1-f48.google.com with SMTP id c7so7873289wrd.0 for <35975-done@debbugs.gnu.org>; Thu, 07 Apr 2022 06:11:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=YH5lNAzvp5yecTqAHEmvFWE/165swwDmba/jMY1PlIA=; b=bFB32+pPwKAvX6F2tIRPeMG4l2U+ci9RGH7EWBv0MGoh/jiRXau1pZoyBdAi/ywSCI XnnqUgGfBcQXmbvFvZuQIuCG4sWn49EgnHiajx9Ps35vRSD5vKDOrUxvNIgDJaC8fA0c ePJisPI/GubJzJKMYfBh8oaw44mh3+ezKIUKdV8z0KaA4a9zD6e5suASBT8ogAf3YxE+ xKu8EozE+vyVPr4QgUCfvQb4ivzq55gH9NLRGEjgHKMgfY+JWEGpyUwuZ6x9Dv2ijw0p v5CKGD1E6gcVZDNdmv70WRvWmqWNZE+He4fZH9VIv7k21WhoKqNId3uKL/NAFDySyFzL Gscg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=YH5lNAzvp5yecTqAHEmvFWE/165swwDmba/jMY1PlIA=; b=pwsu4VqGvDFE7B26c4aRmGBNeWAo3z37g79h244/7gb5il0zVvGT0bzhKp9xA4v/iY 8i+lJ6kD+hWyd6tDJpToWQm9WGPik9tsXsgFJenEvhfu3dJcepFm2HIRagRxsKIcZns7 K4ngqrT5E06imkybDQOnEEhXF3sFyoloVPP9ibHrNaMkFpZb0NXmC9xD980R2AwQWTiy 6Gf7kD61e8HZW7+3lmP4x9/2puUimJEQu0/2wVEVZShFB8Z5LnONevIGUZ1zIOR/t3p1 A6qN6N2cBC3Qpk+gmw82ce7rSa4mtYBljeetPdGCJgSftP+MZN6cs00T7HAYiyElk6FP CmMA== X-Gm-Message-State: AOAM532aABQABqQyuobXmzyDqC39o6jQfqjLo1d44H7hj+pgGFu0+31Y tAjOKbWutN/4Xo6xdewuNT6OAdBViDE= X-Google-Smtp-Source: ABdhPJxCdFt3I97cXq0Oj7slLewhe4gOqWkM+j/J33Lyh2smlm0PYOAbmcMjjWlSDHGNwZdEAn24Gg== X-Received: by 2002:a5d:64eb:0:b0:205:d418:4798 with SMTP id g11-20020a5d64eb000000b00205d4184798mr10927606wri.11.1649337081995; Thu, 07 Apr 2022 06:11:21 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id s17-20020adfdb11000000b001f02d5fea43sm17466065wri.98.2022.04.07.06.11.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 07 Apr 2022 06:11:21 -0700 (PDT) From: zimoun References: <20190529003550.3213-1-h.nasajpour@pantherx.org> Date: Thu, 07 Apr 2022 15:04:48 +0200 In-Reply-To: <20190529003550.3213-1-h.nasajpour@pantherx.org> (h. nasajpour's message of "Wed, 29 May 2019 05:05:50 +0430") Message-ID: <86wng111u7.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1649337190; 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: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=YH5lNAzvp5yecTqAHEmvFWE/165swwDmba/jMY1PlIA=; b=EeP8pTZoS/+CsM0fbPfD0LeouFcgCJC2+BOyyud3Pih5FuOVLnYmlDz+EIzZZNDDMKmdK0 w7HiG7ONEHnvATCM9+x5tASwoMZ2K8ydJ6B/kbIZO1h/E+lIPymvMUKYoz3pW+w5HQATqp 3wj9skQeqb5FZhKwy0U+/Gfknr0/zaAO5N0qgr4tIxl0AHKhloxm9+MPInSD8cH4fC1Ihd cxOAu+mc1/p/OKJ52QXG9VSDNVghiD+hf6IujsOVVxX+WF5f1Ywfff5W8bg9pDokkUTI8+ MJJ1qh0q8nzmFz1CbY/Mnp/1ji5zpj2vBLDW3/yVjfGaBLdnibshKBX0riHLUA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649337190; a=rsa-sha256; cv=none; b=Z0IUHhCGOBbkleOiGZursIBOvA9A3Njjx5smM+aGfBUBB9UYutv3zDHiqmQp+cRK/Ir191 +aqAyvBL8qNMAntX0NSVaBaz08OTWLe4O2C2ucUozei30QYahD9MZ7CtbEVgwT4fMyaWHQ 97FAM7NvCJqyjUEh/wAsdC4EEsb6maFAAeGAGPoZA4my8kiFo1WoU+m1Cx3MOPw5iY2fXM L3AbScX5ui+l+JCbxVHRso2bRGzsz/75M5AcCM2N7LX/Bx79nvQAZ6hLs+cNdErS/dtOFw gZ1o+YYY+0hWUPudQXtZaUL29pmgHyBxlrRrdJi5zhteh/m7jyhpNAGrFInM+Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=bFB32+pP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: 5.94 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=bFB32+pP; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); 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: 7C87B364AC X-Spam-Score: 5.94 X-Migadu-Scanner: scn1.migadu.com X-TUID: lTvXaqTJpNWI Hi, Thanks for your submission. Guix currently provides MyPy added by 4fae4f9aab806451535db032b43cba558668cf64 therefore I am closing. On Wed, 29 May 2019 at 05:05, "h.nasajpour" wrote: > +(define-public python-mypy > + (package > + (name "python-mypy") > + (version "0.701") --8<---------------cut here---------------start------------->8--- $ guix show python-mypy | recsel -p name,version name: python-mypy version: 0.931 --8<---------------cut here---------------end--------------->8--- Cheers, simon