GNU logs - #56315, boring messages


Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#56315] Add ghc-microspec
Resent-From: WinterHound <winterhound@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 30 Jun 2022 04:53:02 +0000
Resent-Message-ID: <handler.56315.B.16565647576888 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 56315
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: 
To: 56315 <at> debbugs.gnu.org
Cc: WinterHound <winterhound@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.16565647576888
          (code B ref -1); Thu, 30 Jun 2022 04:53:02 +0000
Received: (at submit) by debbugs.gnu.org; 30 Jun 2022 04:52:37 +0000
Received: from localhost ([127.0.0.1]:60585 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o6mAP-0001n2-G8
	for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 00:52:37 -0400
Received: from lists.gnu.org ([209.51.188.17]:43980)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <winterhound@HIDDEN>) id 1o6mAN-0001mt-00
 for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 00:52:35 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:45924)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <winterhound@HIDDEN>)
 id 1o6mAM-0003tG-O0
 for guix-patches@HIDDEN; Thu, 30 Jun 2022 00:52:34 -0400
Received: from forward102j.mail.yandex.net ([2a02:6b8:0:801:2::102]:57028)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <winterhound@HIDDEN>)
 id 1o6mAI-00074A-Fo
 for guix-patches@HIDDEN; Thu, 30 Jun 2022 00:52:34 -0400
Received: from iva4-f37646ae0ac9.qloud-c.yandex.net
 (iva4-f37646ae0ac9.qloud-c.yandex.net
 [IPv6:2a02:6b8:c0c:129b:0:640:f376:46ae])
 by forward102j.mail.yandex.net (Yandex) with ESMTP id 879434BE96B3
 for <guix-patches@HIDDEN>; Thu, 30 Jun 2022 07:51:28 +0300 (MSK)
Received: from iva3-6d6b5ab252da.qloud-c.yandex.net
 (iva3-6d6b5ab252da.qloud-c.yandex.net [2a02:6b8:c0c:c19:0:640:6d6b:5ab2])
 by iva4-f37646ae0ac9.qloud-c.yandex.net (mxback/Yandex) with ESMTP id
 dx3s4WOQvS-pSg8shXd; Thu, 30 Jun 2022 07:51:28 +0300
X-Yandex-Fwd: 2
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.com; s=mail;
 t=1656564688; bh=HmwrMiG6VHRlWJz6K2nCgFP/H9rd3G7YCmDu2Dw5nQc=;
 h=In-Reply-To:References:Date:Subject:Cc:To:From:Message-Id;
 b=pNAbTcMThT57WFG3mqz2IXYVb2DHlTcCJAWnzDf9OlQwaPeuseHT8p5I3L6foPRS8
 egAnva15lS3z3RC0nu3o8n+njPzINX2yeD6rD7NBYwVHGXBuKLKW8tci6LiZKmMZAW
 k3jSpvhKFNll0d69tWi9Rab5Gpa5bhRmFoCia9fE=
Authentication-Results: iva4-f37646ae0ac9.qloud-c.yandex.net;
 dkim=pass header.i=@yandex.com
Received: by iva3-6d6b5ab252da.qloud-c.yandex.net (smtp/Yandex) with ESMTPSA
 id ZiVBzthO9t-pRNiQiMo; Thu, 30 Jun 2022 07:51:27 +0300
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
 (Client certificate not present)
From: WinterHound <winterhound@HIDDEN>
Date: Thu, 30 Jun 2022 10:21:08 +0530
Message-Id: <20220630045109.17836-2-winterhound@HIDDEN>
X-Mailer: git-send-email 2.36.1
In-Reply-To: <20220630045109.17836-1-winterhound@HIDDEN>
References: <20220630045109.17836-1-winterhound@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2a02:6b8:0:801:2::102;
 envelope-from=winterhound@HIDDEN; helo=forward102j.mail.yandex.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, FREEMAIL_FROM=0.001,
 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-Spam-Score: -1.3 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)

---
 gnu/packages/haskell-check.scm | 55 +++++++++++++++++++++++-----------
 1 file changed, 37 insertions(+), 18 deletions(-)

diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index 62433cdb15..06c11e2ccb 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -1214,31 +1214,31 @@ (define-public ghc-tasty-silver
     (name "ghc-tasty-silver")
     (version "3.2.3")
     (source
-      (origin
-        (method url-fetch)
-        (uri (string-append
-               "https://hackage.haskell.org/package/tasty-silver/tasty-silver-"
-               version
-               ".tar.gz"))
-        (sha256
-          (base32 "0nvh2k8iqqkanmp7lpwd3asimyarzisly8wavbdahcxryn0j4xb7"))))
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/tasty-silver/tasty-silver-"
+             version
+             ".tar.gz"))
+       (sha256
+        (base32 "0nvh2k8iqqkanmp7lpwd3asimyarzisly8wavbdahcxryn0j4xb7"))))
     (build-system haskell-build-system)
     (inputs
-      (list ghc-ansi-terminal
-            ghc-async
-            ghc-optparse-applicative
-            ghc-process-extras
-            ghc-regex-tdfa
-            ghc-semigroups
-            ghc-tagged
-            ghc-tasty
-            ghc-temporary))
+     (list ghc-ansi-terminal
+           ghc-async
+           ghc-optparse-applicative
+           ghc-process-extras
+           ghc-regex-tdfa
+           ghc-semigroups
+           ghc-tagged
+           ghc-tasty
+           ghc-temporary))
     (native-inputs
      (list ghc-tasty-hunit ghc-silently))
     (home-page "https://github.com/phile314/tasty-silver")
     (synopsis "Fancy test runner, including support for golden tests")
     (description
-      "This package provides a fancy test runner and support for @dfn{golden
+     "This package provides a fancy test runner and support for @dfn{golden
 testing}.  A golden test is an IO action that writes its result to a file.  To
 pass the test, this output file should be identical to the corresponding
 ``golden'' file, which contains the correct result for the test.  The test
@@ -1246,3 +1246,22 @@ (define-public ghc-tasty-silver
 result of golden tests.")
     (license license:expat)))
 
+(define-public ghc-microspec
+  (package
+    (name "ghc-microspec")
+    (version "0.2.1.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "microspec" version))
+       (sha256
+        (base32 "0615gdbsk7i3w71adjp69zabw4mli965wffm2h846hp6pjj31xcb"))))
+    (build-system haskell-build-system)
+    (inputs (list ghc-quickcheck))
+    (home-page "http://hackage.haskell.org/package/microspec")
+    (synopsis "Tiny QuickCheck test library with minimal dependencies")
+    (description
+     "This package provides a tiny (1 module, <500 lines) property-based
+(and unit) testing library with minimal dependencies.")
+    (license license:bsd-3)))
+
-- 
2.36.1





Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: WinterHound <winterhound@HIDDEN>
Subject: bug#56315: Acknowledgement (Add ghc-microspec)
Message-ID: <handler.56315.B.16565647576888.ack <at> debbugs.gnu.org>
References: <20220630045109.17836-2-winterhound@HIDDEN>
X-Gnu-PR-Message: ack 56315
X-Gnu-PR-Package: guix-patches
Reply-To: 56315 <at> debbugs.gnu.org
Date: Thu, 30 Jun 2022 04:53:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 56315 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
56315: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D56315
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message received at control <at> debbugs.gnu.org:


Received: (at control) by debbugs.gnu.org; 30 Jun 2022 07:45:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Jun 30 03:45:41 2022
Received: from localhost ([127.0.0.1]:60880 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1o6ort-0006w3-E5
	for submit <at> debbugs.gnu.org; Thu, 30 Jun 2022 03:45:41 -0400
Received: from mout-p-101.mailbox.org ([80.241.56.151]:34316)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <lars@HIDDEN>) id 1o6orr-0006vn-5m
 for control <at> debbugs.gnu.org; Thu, 30 Jun 2022 03:45:40 -0400
Received: from smtp202.mailbox.org (smtp202.mailbox.org
 [IPv6:2001:67c:2050:b231:465::202])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest
 SHA256) (No client certificate requested)
 by mout-p-101.mailbox.org (Postfix) with ESMTPS id 4LYVk30myDz9sRJ
 for <control <at> debbugs.gnu.org>; Thu, 30 Jun 2022 09:45:31 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=6xq.net; s=MBO0001;
 t=1656575131;
 h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
 to:to:cc:mime-version:mime-version:content-type:content-type:
 in-reply-to:in-reply-to:references:references;
 bh=JvaHe07J8Ocy4fOsabKy1mnCEtXOfWp8YFP7CfY+X84=;
 b=QwBFJ/kRI651HyQzz3FjnOSo5dtac2nkH4GvdwlXw9df3aHJy+J4FRDX6bduYrDfPD5dXP
 FJqNJcGAHxbmdBrikj8+GcKNen9fvtio/RlxLcfYIozqom95zkpea1jriZrTKtidN+KEgU
 C7e6cS/b8Bpbo/kZ4l91F7JUVEaHvSCOyiU7lNZ5YxpbogK+Kgps1lBOme8O5Is3OcBGUb
 xTNvhSpN+Xa11zg+V1mE0TmWKzVMoI14rvn7Sh2Ia+R+7H+BlrjNSqNI/bDd/2DE6TCznh
 7r/YJr1S08Fg36QBDZgRVfLjHJXyBfwWMhrkIMJdYI2TT2imww+/lsfPFUySXA==
Date: Thu, 30 Jun 2022 09:45:29 +0200
From: Lars-Dominik Braun <lars@HIDDEN>
To: control <at> debbugs.gnu.org
Subject: Re: [bug#56310] Add tidal
Message-ID: <Yr1UmUXvaHB17eie@HIDDEN>
References: <20220630040922.5425-1-winterhound@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20220630040922.5425-1-winterhound@HIDDEN>
X-Rspamd-Queue-Id: 4LYVk30myDz9sRJ
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: control
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

merge 56310 56313 56315 56314





Last modified: Thu, 30 Jun 2022 08:00:03 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.