From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id wIh4EXvnxmS8AAAASxT56A (envelope-from ) for ; Mon, 31 Jul 2023 00:43:07 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 0AKAEXvnxmQ1rAAA9RJhRA (envelope-from ) for ; Mon, 31 Jul 2023 00:43:07 +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 BE0D462F16 for ; Mon, 31 Jul 2023 00:43:06 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="UR+tbfd/"; 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=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1690756986; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: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=gnYZNWFMWieaECnaExIMgu+U6Sb2Yi6qmZDqrY8nQkU=; b=onLpnOtCRAjh9rM0z96vKWMBuhZ0UuUYlEWjNj+CJGHU7f2l/Ee/X6esa8kZ+UZLQT3p05 X0BZvYvbDas0LKn5Kp98/Q4OYaSrcUn8BhpJJORCbQ4aqIkG1IzLE9370mq244V/+3IsLc Mxk2zpLg1nujV7af+c9NBJBwSeob6Y3BK3KORA2LXGO6AFterpSHTapWfNqdkfTMSekGOb BohwiPF34UDgaaKoQEmgv4kPCqtUpePiobFteXXlW5WA1EX6S1+eNoP9r7Kj8zew8g6u6K +ZPUssVnu/wVzEXssrS3KgoPLetVDp71HfP04P4esJH/T/EaTj6RlS/84zTs+A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="UR+tbfd/"; 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=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1690756986; a=rsa-sha256; cv=none; b=JN9pZQ7GRrsGsfpoS4DpedLXYauJ1x84htdmVLujNzw4ru+wxaqRG5+fH0O6VVQx5BRh1A Qc1zPV1Q08sPPDzJdOuVsOBFLSXacLRX4EP/75BeUWGouF0Jff84M0O1PrIbHoFN0Nw37i sdsORDSZLidTT/duFmmliVpAcAaQkBQuL+o+qWQjcOThTqnGCDvs/oBJICS9JT1XDbGZzi UZuPN73E2lA2N6nysD28Cj3+627gJY/0kU3fU4sm09uX6fR1dGMEIL+FJyvEhPnwz0sb0D i7p1gWOlSot+AFCKM5dLE/9SzV8R3Kku6lOSWVLNok+GBcnWJXGiETOtQpHEGA== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qQF7w-00042T-4Y; Sun, 30 Jul 2023 18:43:04 -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 1qQF7v-00041t-G4 for guix-patches@gnu.org; Sun, 30 Jul 2023 18:43:03 -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 1qQF7v-0005jd-87 for guix-patches@gnu.org; Sun, 30 Jul 2023 18:43:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qQF7u-000388-Le; Sun, 30 Jul 2023 18:43:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#64965] [PATCH 3/8] gnu: Add ghc-config-schema. Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, guix-patches@gnu.org Resent-Date: Sun, 30 Jul 2023 22:43:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64965 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 64965@debbugs.gnu.org Cc: Lars-Dominik Braun X-Debbugs-Original-Xcc: Lars-Dominik Braun Received: via spool by 64965-submit@debbugs.gnu.org id=B64965.169075694611945 (code B ref 64965); Sun, 30 Jul 2023 22:43:02 +0000 Received: (at 64965) by debbugs.gnu.org; 30 Jul 2023 22:42:26 +0000 Received: from localhost ([127.0.0.1]:51381 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qQF7J-00036Y-Rd for submit@debbugs.gnu.org; Sun, 30 Jul 2023 18:42:26 -0400 Received: from tobias.gr ([2a02:c205:2020:6054::1]:33904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qQF7E-00035Z-0N for 64965@debbugs.gnu.org; Sun, 30 Jul 2023 18:42:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=gnYZNWFMWieaE CnaExIMgu+U6Sb2Yi6qmZDqrY8nQkU=; h=references:in-reply-to:date: subject:to:from; d=tobias.gr; b=UR+tbfd/HJeO68C4g0qdMW9i9iPKviKajepc+0 kn85CNAUyOx3PJzzuQSA/ezUv5xlMWII0QZNG35TzDVTj9BIvdskrGytLdJ9jYpPxPCppH Smguub0OVehIxxE0iCxmmsqbNSpbna8Lsc0/O0TNO2QPKql/IgxhhXeGE7QX3SqLacxVeD si1A0qVYGuNm13znaKo/soej+koU+gWCYQFEGEg1zLDKKGpTrv31cs9M+uvFj0e2BFmUFq 5CNSEQZK34xJ1i4s/ZZhVLFcDjiDwcUrLWWv8rI/gVG0P7/TGMeZrkuRW0y5L5Acr5esgi EpB+pDfykBgTWqu8l7NlwLIQ== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 618f0500 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for <64965@debbugs.gnu.org>; Sun, 30 Jul 2023 22:42:16 +0000 (UTC) Date: Sun, 30 Jul 2023 01:59:55 +0200 Message-ID: <3044f13947b21ff21316f8030d5b25e73993afd1.1690675200.git.me@tobias.gr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <020d302edff3fb5ea32ab5bc4c38abd19233992f.1690675200.git.me@tobias.gr> References: <020d302edff3fb5ea32ab5bc4c38abd19233992f.1690675200.git.me@tobias.gr> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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: , Reply-to: Tobias Geerinckx-Rice X-ACL-Warn: , Tobias Geerinckx-Rice via Guix-patches From: Tobias Geerinckx-Rice via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Spam-Score: -4.64 X-Migadu-Queue-Id: BE0D462F16 X-Migadu-Spam-Score: -4.64 X-Migadu-Scanner: mx0.migadu.com X-TUID: jjea+dVF6fXS * gnu/packages/haskell-xyz.scm (ghc-config-schema): New public variable. --- gnu/packages/haskell-xyz.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 0f0b59899f..5cc72bacb3 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -2378,6 +2378,35 @@ (define-public ghc-config-ini human-readable error messages when things go wrong.") (license license:bsd-3))) +(define-public ghc-config-schema + (package + (name "ghc-config-schema") + (version "1.2.2.0") + (source + (origin + (method url-fetch) + (uri (hackage-uri "config-schema" version)) + (sha256 + (base32 "10mp76j2gxcb51865lb6cf3nkc2nc7fwarkghb6yz71q6sbrg3yx")))) + (build-system haskell-build-system) + (arguments + `(#:cabal-revision ("3" + "16rwj3vcafq4fqqh5rq1na1g4syk63kki2gjinb6yj3h8s59vpp7"))) + (inputs + (list ghc-config-value + ghc-free + ghc-kan-extensions + ghc-semigroupoids)) + (properties '((upstream-name . "config-schema"))) + (home-page "https://github.com/glguy/config-schema") + (synopsis "Schema definitions for the config-value package") + (description + "This package makes it possible to define schemas for use when loading +configuration files using the config-value format. These schemas can be used to +process a configuration file into a Haskell value or to automatically generate +documentation for the file format.") + (license license:isc))) + (define-public ghc-config-value (package (name "ghc-config-value") -- 2.41.0