From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id +N5NA+VQTmVAggEAauVa8A:P1 (envelope-from ) for ; Fri, 10 Nov 2023 16:48:53 +0100 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id +N5NA+VQTmVAggEAauVa8A (envelope-from ) for ; Fri, 10 Nov 2023 16:48:53 +0100 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 C66BB5D581 for ; Fri, 10 Nov 2023 16:48:52 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=uvy.fr header.s=202105 header.b=4i+gvpNU; 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=uvy.fr (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1699631333; h=from:from:sender:sender: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=o0k8RtYQOR+qRiTJnnQz+OWF12CCFbptBXUIQTqAdQk=; b=MJhioAm3qG9vS1KNnHXvNnhhH1me+qAtUZsZOs4GlhSk6ynIP/zQqx+ludN6ln7K/xvr6v OQGUdJKdU0Q3JiFS/BRSmSJiYJwpwpjen4cfsX2uRohsl3kYxqT33k4anRgA2FPLzB+R/C AEwd4NqGGMvWd111eqILDQsRCfyPJHDD+HHluVRCIsNNbHUYBlQKYcxaxqIdJOEXi0tTo1 NS5hBJiKa2c0wwynFNEbLkbHuL/SJp42td1RvFcpwlwi1wKDhoslQzI8mNP9c9W6ArF3fM RvI6d9G5+C+Q/1OgCjnbN0NfJXr4h0DLRaxGfDa8MMjL0Ktf7pluhV4ouPfZJg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=uvy.fr header.s=202105 header.b=4i+gvpNU; 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=uvy.fr (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1699631333; a=rsa-sha256; cv=none; b=jw9lVdpvrwjGqZEAXHlOJWiYNoTOcXy6bqKrjdsra+hO7nYnBoLI4lVZGY1QJPR4uvYpZf O45vlWDQbaIjfCQvpvQGun50l3hM4GvhOnfnhu+msV/7Ari9xfJPNtal3h9yWLrmQuEQMc IDWq8hjDFogeVCQ4H+zQzdEUcXuGpdnpiiLCBU3PCmiA8e62i/oZ8/vn0VZdXMF0nf82Aj mZhX6JKwPZxcc3K46GVORdhBqTas815X/I5SuVlK9I2fJaNtC3/SQLReK27WSYxAa36LBx t82e/sMwiqa6TzdYkuYYOJeBtoeRVsxgb+fV6RXyuUOC1JeUMfBX857W6vui1Q== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r1TkD-0003mS-7h; Fri, 10 Nov 2023 10:48:29 -0500 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 1r1TkA-0003ke-J3 for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 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 1r1TkA-0006xF-AS for guix-patches@gnu.org; Fri, 10 Nov 2023 10:48:26 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r1Tkl-0007os-Fm; Fri, 10 Nov 2023 10:49:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64209] [PATCH v3 02/14] gnu: Add ocaml-pp. Resent-From: Benjamin Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Fri, 10 Nov 2023 15:49:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64209 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64209@debbugs.gnu.org Cc: Benjamin , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 64209-submit@debbugs.gnu.org id=B64209.169963130329667 (code B ref 64209); Fri, 10 Nov 2023 15:49:03 +0000 Received: (at 64209) by debbugs.gnu.org; 10 Nov 2023 15:48:23 +0000 Received: from localhost ([127.0.0.1]:50631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk7-0007iQ-7K for submit@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:23 -0500 Received: from mail.uvy.fr ([2001:41d0:304:200::4a2]:41478) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r1Tk5-0007hF-Ls for 64209@debbugs.gnu.org; Fri, 10 Nov 2023 10:48:22 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1699631256; bh=5+9DiGME5jrTbcG5W1NiA7TLk/ZxpboiFN2gfY0jbf4=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=4i+gvpNUTDkbC64zh8Yz1qkjCWak2F7afoXVqEj8tpZP0OR+lfP0qVcnBXXui7qGJ 4RLexZCIYcIBo3lMBekSqU3fJLdtfPZziCcnt6QWLwPpNuCLo9roliY+lQS7fqi9dK YsRM2+DCzBPMt4X7qjPEVsjOCMDcgRrOZEAana5gcaX/rndNAXCVVvkAIQbE4m2/lE lxBUEdFo4xnDLBSmXl/5GWvL6AL59DBlGMlSYed7W7RTpdWeOv/zdhOVEHrWkCuuTZ oK+l+i3QWt05V2fwUql2g794vg0t0WMXmMtb08KGbBYMfT6rPQE1z5xafWueIcKnaS b8Da6Es/iLTWw== From: Benjamin Date: Fri, 10 Nov 2023 16:46:14 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: 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: , 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-Migadu-Spam-Score: 4.39 X-Spam-Score: 4.39 X-Migadu-Queue-Id: C66BB5D581 X-Migadu-Scanner: mx13.migadu.com X-TUID: 5EUaE/AM5MSI * gnu/packages/ocaml.scm (ocaml-pp): New variable. Change-Id: Ic1782f531515802facb7fbcaea35405feffe2dc3 --- gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2fd2f8e9f9..497588c4ea 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1980,6 +1980,33 @@ (define-public ocaml5.0-csexp (propagated-inputs `(("ocaml-result" ,ocaml5.0-result))))) +(define-public ocaml-pp + (package + (name "ocaml-pp") + (version "1.1.2") + (home-page "https://github.com/ocaml-dune/pp") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0w7gxa85ffbd6jgs6ziarq69yi423f0qkpk05r3abh6lg8smw8pg")))) + (build-system dune-build-system) + (native-inputs (list ocaml-ppx-expect)) + (synopsis "Pretty-printing library for ocaml that aims to be easy to use") + (description + "This library provides a lean alternative to the Format module of the OCaml +standard library. It aims to make it easy for users to do the right thing. If +you have tried Format before but find its API complicated and difficult to use, +then Pp might be a good choice for you. Pp uses the same concepts of boxes and +break hints, and the final rendering is done to formatter from the Format +module. However it defines its own algebra which some might find easier to work +with and reason about.") + (license license:expat))) + (define-public ocaml-migrate-parsetree (package (name "ocaml-migrate-parsetree") -- 2.41.0