From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id yKl2K2hZHF8gSAAA0tVLHw (envelope-from ) for ; Sat, 25 Jul 2020 16:10:16 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id SJddJ2hZHF9WOwAA1q6Kng (envelope-from ) for ; Sat, 25 Jul 2020 16:10:16 +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 06F31940714 for ; Sat, 25 Jul 2020 16:10:16 +0000 (UTC) Received: from localhost ([::1]:35926 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMkZ-0006bL-28 for larch@yhetil.org; Sat, 25 Jul 2020 12:10:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55890) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jzMkM-0006Yt-2I for guix-patches@gnu.org; Sat, 25 Jul 2020 12:10:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39391) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jzMkL-0002TQ-PW for guix-patches@gnu.org; Sat, 25 Jul 2020 12:10:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jzMkL-0004r7-KI for guix-patches@gnu.org; Sat, 25 Jul 2020 12:10:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#42465] [PATCH 07/10] gnu: Add python-hypothesmith. Resent-From: Marius Bakke Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 25 Jul 2020 16:10:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42465 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Tanguy Le Carrour , 42465@debbugs.gnu.org Cc: Tanguy Le Carrour Received: via spool by 42465-submit@debbugs.gnu.org id=B42465.159569337118625 (code B ref 42465); Sat, 25 Jul 2020 16:10:01 +0000 Received: (at 42465) by debbugs.gnu.org; 25 Jul 2020 16:09:31 +0000 Received: from localhost ([127.0.0.1]:50937 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMjr-0004qK-BI for submit@debbugs.gnu.org; Sat, 25 Jul 2020 12:09:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:34024) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jzMjo-0004q7-UC for 42465@debbugs.gnu.org; Sat, 25 Jul 2020 12:09:29 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:46163) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jzMjj-0002Io-J7; Sat, 25 Jul 2020 12:09:23 -0400 Received: from 84-52-226.102.3p.ntebredband.no ([84.52.226.102]:42676 helo=localhost) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1jzMjj-0000QD-6A; Sat, 25 Jul 2020 12:09:23 -0400 From: Marius Bakke In-Reply-To: <20200721115633.6088-7-tanguy@bioneland.org> References: <20200721115633.6088-1-tanguy@bioneland.org> <20200721115633.6088-7-tanguy@bioneland.org> Date: Sat, 25 Jul 2020 18:09:05 +0200 Message-ID: <87a6zntw4e.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) 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-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -0.61 X-TUID: ohVFmcOQYT26 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Tanguy Le Carrour writes: > * gnu/packages/check.scm (python-hypothesmith): New variable. [...] =20=20 > +(define-public python-hypothesmith > + (package > + (name "python-hypothesmith") > + (version "0.1.2") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "hypothesmith" version)) > + (sha256 > + (base32 > + "09331sspknv459xcyn1k0lx5flqlc6gmnwp9370pfvg4kg1zmss6")))) > + (build-system python-build-system) > + (propagated-inputs > + `(("python-hypothesis" ,python-hypothesis) > + ("python-lark-parser" ,python-lark-parser) > + ("python-libcst" ,python-libcst))) > + (home-page "https://github.com/Zac-HD/hypothesmith") > + (synopsis "Strategies for generating Python programs.") No '.' at the end of synopsis. > + (description > + "Hypothesis strategies for generating Python programs, something li= ke CSmith. This > +is definitely pre-alpha, but if you want to play with it feel free!") This should be a full sentence, i.e. "This package contains hypothesis strategies for [...]". Can you define "CSmith"? Also I think the other sentence can be omitted. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl8cWSEACgkQoqBt8qM6 VPrFeQgAiM1mRo8x1S9BqUST5xmYGlNNFvWoCTcPM8pNN1hUgIiIJ9uL64DmvKF1 7T0eviAJ1fLOgyB0VxR4zprupCrl9cUtiRa/MGNMsW+ng1sEqTIBdgAsoMEzJ1oJ 73AquV4k0QgCo8EDWUP9io2yI8QWmVGQJfCnCBIM+9LcFhzuX0PkTr6DIBx2XtxN 6ZoqvHcs+TjmBH5B8ZeVEADNCTE9eZ8pNeGh/rUbwx/Rs6LH7UFKrP3CBa9F80KG UdyzBVjOo14fsaNLnjGMJbThtXzLM+benATnewkhA29g/piH3cMw/NiLKax3Y+cc JKbkeUh2Q5fq/RKyI0rYM48QRosqAg== =INux -----END PGP SIGNATURE----- --=-=-=--