From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id eLYjOsln7WXTEQEA62LTzQ:P1 (envelope-from ) for ; Sun, 10 Mar 2024 08:56:58 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id eLYjOsln7WXTEQEA62LTzQ (envelope-from ) for ; Sun, 10 Mar 2024 08:56:58 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=muradm.net header.s=mail header.b="KvX2F+N/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=muradm.net (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710057417; 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-cc: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=3VY14LzTSgu5dQJ379j2G2F+KwxZVgc4D/UcfNDbjJk=; b=Rgb8gSTqXDjo1ZbOAYay3dCW6aZtODITKShDjm8y60E90SZ9PX6k4FXynGrdJyZuhhkPHk SZvYJfFaS37cnHtIAqoZDNPMM3cv+fP+fkeF8dAs60ROwNIsbJx6X7+BDS1j/ALyRubsZy aaN1d/UY82U05u7lUyMd5EW69THFrfOHkB4wjaqhMNN6pntvURESRp1BoJNzrwAwTxYh2T yCl3zrehWs3th3XOxk8AyYj1VtjtEp2jX3BmWf+1lfig6aC3AZ52hb37JJgIf8puL4Nyzy zNxJ1OqPbfNLtOFcJgbE39Hglo0zsx6/xhCNUq9m2amLz1/QhLMTwqzbuP8P+Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=muradm.net header.s=mail header.b="KvX2F+N/"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=muradm.net (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710057417; a=rsa-sha256; cv=none; b=BOjvxLuIz8xhkz2XALi1biOMsSg2JEURcVghotBXqiXTjjtFkfdaOGQ9cGM8HRL/Dag6oF yxGiLnHDLMXCfFKwChIccegmGGoZ8tTx/sWySY+K4y4qfAjlOiIcsCJexv8WLojoIGpuJR yMGl6rcAFXFwrVmp5c950/1+l3HwnZOLwBOr8wAYLmQZ6rKv0/I8wzNorUYH3md//xrf7r M+q32cJI5c4H1DbvXbvMuUHAuEAQc4JiSMLG4VbjVKPVuU49RON0lXWNtcTV3bxlz8nDrY r+7pMOOMOq03pPQp3xKVJmENceL8fQDTnzEsxVJJ5oQ6eJ7p/mF5FibDjpJEBw== 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 AE46911ED7 for ; Sun, 10 Mar 2024 08:56:57 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rjE2p-0004jG-RF; Sun, 10 Mar 2024 03:56:31 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjE2o-0004iJ-Oh for guix-patches@gnu.org; Sun, 10 Mar 2024 03:56:30 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rjE2n-0002ic-Ba for guix-patches@gnu.org; Sun, 10 Mar 2024 03:56:30 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rjE3K-0002GN-F5 for guix-patches@gnu.org; Sun, 10 Mar 2024 03:57:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#69699] [PATCH 3/7] gnu: Add rust-quine-mc-cluskey-0.2. Resent-From: muradm Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 10 Mar 2024 07:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69699 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: control@debbugs.gnu.org Cc: 69699@debbugs.gnu.org, efraim@flashner.co.il X-Debbugs-Original-Cc: 69699@debbugs.gnu.org, Efraim Flashner , guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17100573768577 (code B ref -1); Sun, 10 Mar 2024 07:57:02 +0000 Received: (at submit) by debbugs.gnu.org; 10 Mar 2024 07:56:16 +0000 Received: from localhost ([127.0.0.1]:35451 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjE2Z-0002EH-TW for submit@debbugs.gnu.org; Sun, 10 Mar 2024 03:56:16 -0400 Received: from lists.gnu.org ([209.51.188.17]:51868) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjE2X-0002E8-U1 for submit@debbugs.gnu.org; Sun, 10 Mar 2024 03:56:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjE20-0004OU-H1 for guix-patches@gnu.org; Sun, 10 Mar 2024 03:55:40 -0400 Received: from nomad-cl1.muradm.net ([139.162.159.157]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjE1z-0002Nn-0A for guix-patches@gnu.org; Sun, 10 Mar 2024 03:55:40 -0400 Received: from localhost ([127.0.0.1]:41168) by nomad-cl1.muradm.net with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96.1) (envelope-from ) id 1rjE1Y-0008NI-2Y; Sun, 10 Mar 2024 07:55:12 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=muradm.net; s=mail; h=Content-Type:MIME-Version:Message-ID:In-reply-to:Date:Subject:Cc:To :From:References:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=3VY14LzTSgu5dQJ379j2G2F+KwxZVgc4D/UcfNDbjJk=; b=KvX2F+N/Un+fSeAL+kMKDY5zUF gF+SMuNv2oCc92OlvA/SK4GZt5392v+GF5e8HHJvSYbUhJQKDnb18fXjGTITiD7u4KdP5oJfBNzqZ PVSu76wBMJFNzVQMUinb1vjZ9m3gBnb6ynFi363PC/q+rCAgYaI2QLSu863paRLWHqxxYv7TVv9Rh iT0ISaFWUS4M4VLHc/Vt2VvJ1TevmargLHnJJqqNhVGnyrOYx1l/I8l2CDMsovgr8ZjYr1fHCn9vu MJb+vSg+gJmG/YHQ8c2vrgtrKGgb5v/dZ22otjQ5k0+acgI5KrC/BoWi/elf88YYcvyZmlYHfYGda /1J1vroV8MGTHAbc7CmAoJp0SX6Q//B6nEerfovLDeSdJErLSZtx2ZaIjUNgIauC5uK0X1RszgNrK /Ky+y6mcfP/Ja8nWqSyr+tP97hmNtzMOH+BbB1rsXdFaLZ27DeJd4BPKwjd0Y35DF0JAKiybtZLZZ cm6VSZDPXqBVUrHSXlzpD5VS; Received: from muradm by localhost with local (Exim 4.96.1) (envelope-from ) id 1rjE1x-0000Z9-0N; Sun, 10 Mar 2024 10:55:37 +0300 References: User-agent: mu4e 1.10.8; emacs 30.0.50 From: muradm Date: Sun, 10 Mar 2024 10:55:21 +0300 In-reply-to: Message-ID: <87y1aq1pxj.fsf@muradm.net> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=139.162.159.157; envelope-from=mail@muradm.net; helo=nomad-cl1.muradm.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: 0.42 X-Spam-Score: 0.42 X-Migadu-Queue-Id: AE46911ED7 X-TUID: 4DDDTZtBWgvz --=-=-= Content-Type: text/plain; format=flowed close 69699 muradm writes: > * gnu/packages/crates-io.scm (rust-quine-mc-cluskey-0.2): New > variable. > > Change-Id: Ibe4259b75d2f7e14c6886c365e7e077c1e0a02b6 > --- > gnu/packages/crates-io.scm | 22 ++++++++++++++++++++++ > 1 file changed, 22 insertions(+) > > diff --git a/gnu/packages/crates-io.scm > b/gnu/packages/crates-io.scm > index 09625aa52f..5d8fcfa9f1 100644 > --- a/gnu/packages/crates-io.scm > +++ b/gnu/packages/crates-io.scm > @@ -52324,6 +52324,28 @@ (define-public rust-quickersort-3 > numbers.") > (license (list license:expat license:asl2.0)))) > > +(define-public rust-quine-mc-cluskey-0.2 > + (package > + (name "rust-quine-mc-cluskey") > + (version "0.2.4") > + (source > + (origin > + (method url-fetch) > + (uri (crate-uri "quine-mc_cluskey" version)) > + (file-name (string-append name "-" version ".tar.gz")) > + (sha256 > + (base32 > "0iazdlwffhrlksb8yhhs1prgwpa68rwjwqm4v26hr9hrswarcn07")))) > + (build-system cargo-build-system) > + (arguments > + `(#:skip-build? #t > + #:cargo-inputs (("rust-quickcheck" > ,rust-quickcheck-0.3)))) > + (home-page "https://github.com/oli-obk/quine-mc_cluskey") > + (synopsis > + "Rust implementation of the Quine-McCluskey algorithm and > Petrick's method") > + (description > + "Rust implementation of the Quine-@code{McCluskey} > algorithm and Petrick's method") > + (license license:expat))) > + > (define-public rust-quinn-0.10 > (package > (name "rust-quinn") --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEESPY5lma9A9l5HGLP6M7O0mLOBeIFAmXtZ3gACgkQ6M7O0mLO BeLfhg/+MMgpB01bvZjCbyhfptoL/62ZBgFM1xquv3jWU5P0aUQTQEKkbiuH1egV QwoMYfdGqA55ZA6m+a3ixTHlmlvTL14KgrswZwL7nCPS4VnFM3QtKFH4zpGZK7vV DxR+8wX4rX4Tce3F5wUPFNhJcMILnlJMXmNoLiEm5cLAD8OrIiICBg/J9Adn3srB 4FdcVZEUVnhJhNyke0J9N8LmF9Gi+lnKHe3uQh3B6dRjwjslTjZlcTJL1Bo3i05g tp738f8aYfwJggBH71l6apvBeuBez7QDeH5BNsgxDrPHczhkbMY4HYzBaqJVWxpO s/v1dAiWlFeisRw7RPSymxg/8hByXwIiyKSDyOCgX/syzQqiO7PwmxcJILzZWUXK W7uYroFKcQSDo7KMaW031JRivpZmE346itbesYCxmqIB6H/++RTGdxHpR0qjY+Qj 53TlM1Ow0JWQHY6zKnJj1C83yukFLx8SERo1NNa5Qq8hHU1pVbpihvtsWWFJ9nuE TuJVWCC6jrnteZGrn1XWHVF8USCo8KUvajQt3lEpTWfgAa8QR+L0/RElxqAFJDUK EPCsQYNgPAKLg61exSYr3LalwYiu02TAQMIpQTrinmrLGw4u457Pii+/Z17CppMb IOjs6ZZo6DL4VALOHaiDFeWgnZQYGgPxRJSWMAMUP2OXoJm46W4= =xImQ -----END PGP SIGNATURE----- --=-=-=--