From patchwork Tue Jan 22 16:11:54 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 789 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id A001D16A84; Tue, 22 Jan 2019 22:12:21 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id A0A7716A71 for ; Tue, 22 Jan 2019 22:12:20 +0000 (GMT) Received: from localhost ([127.0.0.1]:51263 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gm4HM-0000Gl-8M for patchwork@mira.cbaines.net; Tue, 22 Jan 2019 17:12:20 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37882) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gm42i-0005cg-0Y for guix-patches@gnu.org; Tue, 22 Jan 2019 16:57:14 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gm42e-0008Tm-2E for guix-patches@gnu.org; Tue, 22 Jan 2019 16:57:11 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:42387) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gm42Z-0008Ir-1P for guix-patches@gnu.org; Tue, 22 Jan 2019 16:57:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gm42Y-0002KI-RX for guix-patches@gnu.org; Tue, 22 Jan 2019 16:57:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34171] [PATCH 1/5] gnu: ocaml-uchar: Update to 0.0.2. Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 22 Jan 2019 21:57:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 34171 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34171@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.15481941728860 (code B ref -1); Tue, 22 Jan 2019 21:57:02 +0000 Received: (at submit) by debbugs.gnu.org; 22 Jan 2019 21:56:12 +0000 Received: from localhost ([127.0.0.1]:41664 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gm41k-0002Ij-E8 for submit@debbugs.gnu.org; Tue, 22 Jan 2019 16:56:12 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54670) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gm41i-0002IO-SU for submit@debbugs.gnu.org; Tue, 22 Jan 2019 16:56:11 -0500 Received: from lists.gnu.org ([209.51.188.17]:35443) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gm41c-0005vr-NL for submit@debbugs.gnu.org; Tue, 22 Jan 2019 16:56:05 -0500 Received: from eggs.gnu.org ([209.51.188.92]:45527) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gm1ns-0007vz-4o for guix-patches@gnu.org; Tue, 22 Jan 2019 14:33:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gm1e2-0001Az-QX for guix-patches@gnu.org; Tue, 22 Jan 2019 14:23:36 -0500 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:45955) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gm1e2-0000su-Be for guix-patches@gnu.org; Tue, 22 Jan 2019 14:23:34 -0500 Received: by mail-wr1-x42a.google.com with SMTP id t6so28680800wrr.12 for ; Tue, 22 Jan 2019 11:23:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=e49ffB1UvErNQ6ndLgrQ/tHG52nesUybGofRhOxKBoM=; b=cv0flSU8GJDJq7ds5Y1DM9ZiID5augQhjYH2I33lv2KKnHWgs+0Gf+VYyZ9qwO+CJk 3aSmOCX6vQo9FTPDnb1L5jS/Yh1B5DAIdlNrKW0KWGuE/pBHTj0tbGEJuxMUR6AyeViG omUyBCvmFzGP9ZYEPgyK0fI2WYplbncYMf8nZdzra6OWW/YpMy3vWUeovnR/vS4TCYU4 i6dpwadegrwNsMcqoSSddX+/C0GLUZ2XcLunfTy8ki417aLZzoZkXO83BiEKPzfDV9l0 fxjCRjCmaXB+rJw9mRQ/OPUqTj4RvOHV4HZVMHYIseOvMLhM4yAFZHqkI9aWgvcuH8gG fCFg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=e49ffB1UvErNQ6ndLgrQ/tHG52nesUybGofRhOxKBoM=; b=QVkLE9UVPeVP64L8/HR3pP8IxWhXsftEBpky1Q4NzZb96wV38Vs3PSYzXRJu90aYXR aJkzde6EtxzL3J1iL9slsqb+CDPgjkO1u1Hr7dNx26SIPoO5MtmKcl6gh6LRHWMHto6t SYAaey0WzEl+OeuVLCQe1i9Y42urW8Z5ORUgaSx/2zSCl6Udsa3R6NqWohu39Y+Kigby B4ttoc9oXh7ub3dxi1DGya/ghIFQS2ZCGLe0Co175EJw1VeYSNh1Z9ZNO+55EKiF5t7C pG5EzQh0zIKbAMDm+73SrfP9ORRnf8iEKnkLwY65QIWNl0/LUkFrKXK8E2+sOz1+h3ug O4Rg== X-Gm-Message-State: AJcUukfQ939nK4Ug4P9UxQ7dhiaaPIilXlG2Len7tDLlgj+YOZAff3d4 j29Hd8ymQPlg6zmnj8CK+JJz3ttX X-Google-Smtp-Source: ALg8bN7nO+jjtPOVNkbmAPvaEs/vnG3ZNQ6IPb0r4H5qVOo6Wkein3P2AgcJZC8cNLoQ8PKhDZjPVA== X-Received: by 2002:adf:fc51:: with SMTP id e17mr33111009wrs.268.1548175342540; Tue, 22 Jan 2019 08:42:22 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id x3sm90571336wrd.19.2019.01.22.08.42.21 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 22 Jan 2019 08:42:21 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Tue, 22 Jan 2019 17:11:54 +0100 Message-ID: <87bm48zlso.fsf@gmail.com> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-uchar): Update to 0.0.2. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index deba67c4d..3993424eb 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2269,14 +2269,14 @@ representation of the data.") (define-public ocaml-uchar (package (name "ocaml-uchar") - (version "0.0.1") + (version "0.0.2") (source (origin (method url-fetch) (uri (string-append "https://github.com/ocaml/uchar/releases/download/v" version "/uchar-" version ".tbz")) (sha256 (base32 - "0ficw1x7ymbd6m8hqw3w1aycwm1hbwd6bad3c5pspwnzh3qlikhi")))) + "1w2saw7zanf9m9ffvz2lvcxvlm118pws2x1wym526xmydhqpyfa7")))) (build-system ocaml-build-system) (arguments `(#:tests? #f From patchwork Wed Jan 23 07:18:35 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 797 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 3BF9516A23; Wed, 23 Jan 2019 07:25:49 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 9532E169D2 for ; Wed, 23 Jan 2019 07:25:48 +0000 (GMT) Received: from localhost ([127.0.0.1]:57155 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCux-0007zL-IY for patchwork@mira.cbaines.net; Wed, 23 Jan 2019 02:25:47 -0500 Received: from eggs.gnu.org ([209.51.188.92]:36794) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCoR-0002pC-7B for guix-patches@gnu.org; Wed, 23 Jan 2019 02:19:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gmCoQ-00048r-A5 for guix-patches@gnu.org; Wed, 23 Jan 2019 02:19:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:42651) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gmCoQ-00048l-5t for guix-patches@gnu.org; Wed, 23 Jan 2019 02:19:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gmCoP-0003lC-W1 for guix-patches@gnu.org; Wed, 23 Jan 2019 02:19:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34171] [PATCH 2/5] gnu: ocaml-fmt: Update to 0.8.5. References: <87bm48zlso.fsf@gmail.com> In-Reply-To: <87bm48zlso.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Jan 2019 07:19:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34171 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34171@debbugs.gnu.org Received: via spool by 34171-submit@debbugs.gnu.org id=B34171.154822792714430 (code B ref 34171); Wed, 23 Jan 2019 07:19:01 +0000 Received: (at 34171) by debbugs.gnu.org; 23 Jan 2019 07:18:47 +0000 Received: from localhost ([127.0.0.1]:41932 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCo9-0003kf-Ou for submit@debbugs.gnu.org; Wed, 23 Jan 2019 02:18:46 -0500 Received: from mail-wr1-f47.google.com ([209.85.221.47]:46119) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCo7-0003kP-3B for 34171@debbugs.gnu.org; Wed, 23 Jan 2019 02:18:44 -0500 Received: by mail-wr1-f47.google.com with SMTP id l9so1070149wrt.13 for <34171@debbugs.gnu.org>; Tue, 22 Jan 2019 23:18:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=gktC69B4+tAoULVU9u1Hyc+O3dOsbgtIjC24eku/iY0=; b=QENBunrU9xPIc8g8pEIf8UbVW6FMKT+ojeOUk1n2CY24+00cixY399i+PZZavgh78B rmjA3R5H6INpiLCd+SPxBGhIJXzuW97U0gs3GPeLzRHufw0euf4ZjQgYH5ts9MQ9ycUY JxzFl7Y1ubNei84vnI0NpsbzC8yUKRcZXamZRgMQDzcwXKSmu4jNe4Mk9ZVBf03O5LI5 u4perX7lh7sysal+KMQaUmF+QswXdnW4CZEcc2vRmXs+qB4BHra4rBCbHSyyOAnuTxu2 Wi3gZ49TGYAzPHTjyA53/GNzVRcear33bhuc2btPTxzsfHwDhmHwT3fk0nmVLS4IQJZH Ipsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=gktC69B4+tAoULVU9u1Hyc+O3dOsbgtIjC24eku/iY0=; b=ZzCxSQZJcEUArIySaDtkigP25ruZX13nF+Sjm4KGKImMTjOW9EZ3IWBf3v63rSp61p ZuSFQFacCQf79zYEAQIX++IlxqvevOHfLDc7hTAVQKdDDNL8TSQGsczuKn2WF3LSaFXq j57lZLFBAJf+fzveNgM043bhmSxYU+Hxq4DdEufiWTsva6hu7pT4yKyr6EKs5swWv6nd LZt1S+uFC3hMqurdK38yiE3FKyrN4R+H7mciIKeukrQzxRVVqdAFWpQywwWbfegbVoVq 2N2jI6kdKWn/xofboJGo7xZ5+QsJogyAVhkLO8J4hs4PnL2FFAZE/+ESZmRok1W2+lHF i5TQ== X-Gm-Message-State: AJcUukc8Ab04vShcRRq6UBuzkXyb10Yhep4UBuNwMMLKmvm6vaf4zrdi 9jDIJuwlF+NK30keMB5OT6Nzlabi X-Google-Smtp-Source: ALg8bN5VJUSaoBKRNoNOG/s2fmtPBMyZgozN/XT7FKgFrWI9vgk6UdLXmmRycuBKCyd4wqmZuE4mPw== X-Received: by 2002:adf:a14d:: with SMTP id r13mr1199708wrr.169.1548227917074; Tue, 22 Jan 2019 23:18:37 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id w18sm94838591wru.54.2019.01.22.23.18.36 for <34171@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 22 Jan 2019 23:18:36 -0800 (PST) From: Gabriel Hondet Date: Wed, 23 Jan 2019 08:18:35 +0100 Message-ID: <87a7jrzvsk.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Date: Tue, 22 Jan 2019 17:17:48 +0100 User-agent: mu4e 1.0; emacs 26.1 * gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.5. --- gnu/packages/ocaml.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3993424eb..f1cc0f3e8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -10,7 +10,7 @@ ;;; Copyright © 2017 Ben Woodcroft ;;; Copyright © 2017, 2018 Tobias Geerinckx-Rice ;;; Copyright © 2018 Peter Kreye -;;; Copyright © 2018 Gabriel Hondet +;;; Copyright © 2018, 2019 Gabriel Hondet ;;; Copyright © 2018 Kei Kebreau ;;; ;;; This file is part of GNU Guix. @@ -1802,18 +1802,19 @@ most of the POSIX and GNU conventions.") (define-public ocaml-fmt (package (name "ocaml-fmt") - (version "0.8.0") + (version "0.8.5") (source (origin (method url-fetch) (uri (string-append "http://erratique.ch/software/fmt/releases/fmt-" version ".tbz")) (sha256 (base32 - "16y7ibndnairb53j8a6qgipyqwjxncn4pl9jiw5bxjfjm59108px")))) + "1zj9azcxcn6skmb69ykgmi9z8c50yskwg03wqgh87lypgjdcz060")))) (build-system ocaml-build-system) (native-inputs `(("ocamlbuild" ,ocamlbuild) ("opam" ,opam) + ("ocaml-uchar" ,ocaml-uchar) ("topkg" ,ocaml-topkg))) (propagated-inputs `(("result" ,ocaml-result) From patchwork Tue Jan 22 16:25:26 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 798 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5ED4516A23; Wed, 23 Jan 2019 07:26:00 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id D9F2E169D2 for ; Wed, 23 Jan 2019 07:25:59 +0000 (GMT) Received: from localhost ([127.0.0.1]:57157 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCv9-00087f-Cp for patchwork@mira.cbaines.net; Wed, 23 Jan 2019 02:25:59 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37318) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCqP-0004KZ-LK for guix-patches@gnu.org; Wed, 23 Jan 2019 02:21:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gmCqN-0005LT-QL for guix-patches@gnu.org; Wed, 23 Jan 2019 02:21:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:42660) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gmCqM-0005L3-Kt for guix-patches@gnu.org; Wed, 23 Jan 2019 02:21:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gmCqM-0003pt-Fq for guix-patches@gnu.org; Wed, 23 Jan 2019 02:21:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34171] [PATCH 3/5] gnu: ocaml-cmdliner: Update to 1.0.2. References: <87bm48zlso.fsf@gmail.com> In-Reply-To: <87bm48zlso.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Jan 2019 07:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34171 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34171@debbugs.gnu.org Received: via spool by 34171-submit@debbugs.gnu.org id=B34171.154822802714660 (code B ref 34171); Wed, 23 Jan 2019 07:21:02 +0000 Received: (at 34171) by debbugs.gnu.org; 23 Jan 2019 07:20:27 +0000 Received: from localhost ([127.0.0.1]:41940 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCpn-0003oJ-Fv for submit@debbugs.gnu.org; Wed, 23 Jan 2019 02:20:27 -0500 Received: from mail-wm1-f46.google.com ([209.85.128.46]:53705) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCpW-0003nL-SD for 34171@debbugs.gnu.org; Wed, 23 Jan 2019 02:20:25 -0500 Received: by mail-wm1-f46.google.com with SMTP id d15so898995wmb.3 for <34171@debbugs.gnu.org>; Tue, 22 Jan 2019 23:20:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=uGJvR7ov6ueW73+LsHkjO+o3z8dzN/Mf69ScjMtBg9A=; b=nwyq3LdiycrPlsCBpfVeZKSZGIvQwjW8ea32nDjgZzCC5G6TpKyjls9XfInfIrp7m0 wOLHvfXsBZuyQ8FRZ/eav0MA96PDNuAXmjrsL2NzLopE+Cg1BUnhMtJPUGnVAtpbx0xB POgIW3OrczR3/7MqqUJzyewf8p0QRnFk4OTx3IymbRB5a6HMKP2ub8RghQSYtHU+xNza RygalJP/Doye9eTl3HG0OQFeokz2awn9IZzn9c1bBbBT4hJ4mCMgyTLzA5Tz9lCaNf2r fbBeODBnv14CwSDmaWkAPVxo3WNZ7R31OZ+sZteI3B4LYyC5et8gT1nPxG1zfXTcKPxL K++g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=uGJvR7ov6ueW73+LsHkjO+o3z8dzN/Mf69ScjMtBg9A=; b=K+OKuf7eYYRcjerZVMXgtWwi/Dwn9teSa9fTMoaByo572MNXPXMWq9Me5wR4pNC4Ck LtipoaRhX3DHforBZOttUKkNivLmCSY9GlPv+n07NILefbw5Ao6zkpmyUaDb0MZ6zbgX lFyv8CINJoeoVYeVSwXMhlXbnxE0d0LHKlSS/xcNZQAFvRzuYhGIpuEtMQgPbfceFIFr vg0H+3wXBoFlTlDnWZv9Fsg3dReaatIKKn47cq2BO1jtoFlSWll7+/0e5s01m58U6EbY KtegVr4pU/9jSwNFWe8NQ4JPW2A+QjrkvOSwIHfDTNTmgXEUvQ/tnJeJm+ABT/eRxIJx p5yA== X-Gm-Message-State: AJcUukcWxIQTqg2vJIxfJqo220rtfQJck9yUTQGmq0lUJF/dsuWPK44t Jeu5PHZ6Yc/uhJsnJsqpB7KEfz/K X-Google-Smtp-Source: ALg8bN7OstRR3NC4Sbm/xsxzS74vvg8nJNGBanxERHXWgIpIRV26Y1YOy4E4Jxt5LuPwpb1i2ZWozQ== X-Received: by 2002:a1c:1b4f:: with SMTP id b76mr1512259wmb.147.1548228004866; Tue, 22 Jan 2019 23:20:04 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id f2sm90401431wru.14.2019.01.22.23.20.04 for <34171@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 22 Jan 2019 23:20:04 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet Date: Tue, 22 Jan 2019 17:25:26 +0100 Message-ID: <878szbzvq4.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.2. --- gnu/packages/ocaml.scm | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f1cc0f3e8..e975935d3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1768,15 +1768,17 @@ spans without being subject to operating system calendar time adjustments.") (define-public ocaml-cmdliner (package (name "ocaml-cmdliner") - (version "0.9.8") + (version "1.0.2") (source (origin (method url-fetch) (uri (string-append "http://erratique.ch/software/cmdliner/releases/" "cmdliner-" version ".tbz")) (sha256 (base32 - "0hdxlkgiwjml9dpaa80282a8350if7mc1m6yz2mrd7gci3fszykx")))) + "18jqphjiifljlh9jg8zpl6310p3iwyaqphdkmf89acyaix0s4kj1")))) (build-system ocaml-build-system) + (inputs + `(("ocaml-result" ,ocaml-result))) (native-inputs `(("ocamlbuild" ,ocamlbuild) ("opam" ,opam))) @@ -1785,6 +1787,12 @@ spans without being subject to operating system calendar time adjustments.") #:build-flags '("native=true" "native-dynlink=true") #:phases (modify-phases %standard-phases + (replace 'install + ;; The makefile says 'adjust on cli invocation' + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (invoke "make" "install" (string-append "PREFIX=" out)) + #t))) (delete 'configure)))) (home-page "http://erratique.ch/software/cmdliner") (synopsis "Declarative definition of command line interfaces for OCaml") From patchwork Wed Jan 23 07:21:00 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 799 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 04B4016A23; Wed, 23 Jan 2019 07:26:10 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id A22D4169D2 for ; Wed, 23 Jan 2019 07:26:09 +0000 (GMT) Received: from localhost ([127.0.0.1]:57159 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCvJ-0008IM-4a for patchwork@mira.cbaines.net; Wed, 23 Jan 2019 02:26:09 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37570) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCrK-000548-Vq for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gmCrK-0005eD-6X for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:42667) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gmCrK-0005e9-38 for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gmCrJ-0003sE-Uw for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34171] [PATCH 4/5] gnu: ocaml-logs: Update to 0.6.2. References: <87bm48zlso.fsf@gmail.com> In-Reply-To: <87bm48zlso.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Jan 2019 07:22:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34171 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34171@debbugs.gnu.org Received: via spool by 34171-submit@debbugs.gnu.org id=B34171.154822807014788 (code B ref 34171); Wed, 23 Jan 2019 07:22:01 +0000 Received: (at 34171) by debbugs.gnu.org; 23 Jan 2019 07:21:10 +0000 Received: from localhost ([127.0.0.1]:41945 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCqT-0003qR-Vg for submit@debbugs.gnu.org; Wed, 23 Jan 2019 02:21:10 -0500 Received: from mail-wm1-f54.google.com ([209.85.128.54]:34847) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCqS-0003q1-Cb for 34171@debbugs.gnu.org; Wed, 23 Jan 2019 02:21:08 -0500 Received: by mail-wm1-f54.google.com with SMTP id t200so915020wmt.0 for <34171@debbugs.gnu.org>; Tue, 22 Jan 2019 23:21:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=E1KGFUYDUGY/niQ2uBaBVQMALHGX7bbyCV4oMxhW0E0=; b=WtyeIWtoZtmgv7LgqLx4d2DDpHAx+X8uotBPkW0jiMi/1VzDu8cKgXmPAyJQ3s2RZz lZnwHOW/AziKO4IJcN5sNM6+GulWGXc1nwYokiZugVDm/71xQOQsShokqdCpSwKrGo5Q KbH6dsPPpAfva3sGFMcE4NWyNQZigksSETaGyFxtL37wnvIZxDy3QW1K63n3PEWU/+7q rZTTuysZ6pWCtDLrBtrbz9mnzlaLGAiM0neOergbzIRE6BnTXv4t14un7y2mlkml7vmB kY59/GlRqCVBJ6xvrYPQ+yF6XU9cbTti3CmasZPPMTBZ5uP7GfXsTDQJm5VsMLosrCFU 8w6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=E1KGFUYDUGY/niQ2uBaBVQMALHGX7bbyCV4oMxhW0E0=; b=gfdTPKpV+VJcTIWYnjsE0JbTwge16J3eZPfJoGVvkDnRMqPCfBDhTQk2Jtx5pM5dcY F+MOcusn1JnML6RP3eYmhaMjiihUZiWpfpoYKVqZR2wAJRrNSKXLIrZbyj5ocNUe1NQW KtSuXVBIgHuRWCUZV7ww07HruWmBP3bXJgKljviusPW/5jnJbJmh+bx4G3sQBuGJjIy1 euI99hsUzoYxdxXazxhPsMDSkB1368sp/HbUJxZ62titdSrHPOUlQqf6mNGVxfaqqBkC Lae70QfVrPrtRPv23fg6jnAqi5DkW2ziMq+5j3bK4nME89GNPqQ24h2+q73PYg0gjAh2 Mf3A== X-Gm-Message-State: AJcUukdA2ktoV6tca/RYVs83di9Bsi/w1NN0+j3BtGPaFn79piqXzvMq 3/pVKb17CcO37PCyDXWA0VvlhUH6 X-Google-Smtp-Source: ALg8bN4EwDeRNzFkScSIG7QqhTyZVyEmE7Cg7m28YnAfMVsSSvHSZ8w7mowLgHDT5KghGLfBc3p4lQ== X-Received: by 2002:a1c:68d7:: with SMTP id d206mr1461489wmc.43.1548228062260; Tue, 22 Jan 2019 23:21:02 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id w80sm80554703wme.38.2019.01.22.23.21.01 for <34171@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 22 Jan 2019 23:21:01 -0800 (PST) From: Gabriel Hondet Date: Wed, 23 Jan 2019 08:21:00 +0100 Message-ID: <877eevzvoj.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Date: Tue, 22 Jan 2019 17:39:07 +0100 User-agent: mu4e 1.0; emacs 26.1 * gnu/packages/ocaml.scm (ocaml-logs): Update to 0.6.2. --- gnu/packages/ocaml.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e975935d3..ca8f804ab 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2119,7 +2119,8 @@ ocaml lwt.") `(("ocamlbuild" ,ocamlbuild) ("opam" ,opam))) (propagated-inputs - `(("fmt" ,ocaml-fmt) + `(("ocaml-uchar" ,ocaml-uchar) + ("fmt" ,ocaml-fmt) ("lwt" ,ocaml-lwt) ("mtime" ,ocaml-mtime) ("result" ,ocaml-result) From patchwork Wed Jan 23 07:21:46 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Gabriel Hondet X-Patchwork-Id: 800 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 96E0C16A23; Wed, 23 Jan 2019 07:26:26 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 06D48169D2 for ; Wed, 23 Jan 2019 07:26:26 +0000 (GMT) Received: from localhost ([127.0.0.1]:57161 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCvZ-0008RB-Gv for patchwork@mira.cbaines.net; Wed, 23 Jan 2019 02:26:25 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37590) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gmCrM-00055T-GZ for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gmCrK-0005eU-NI for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:42668) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gmCrK-0005eK-JA for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gmCrK-0003sL-Dj for guix-patches@gnu.org; Wed, 23 Jan 2019 02:22:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#34171] [PATCH 5/5] gnu: Add ocaml-craml. References: <87bm48zlso.fsf@gmail.com> In-Reply-To: <87bm48zlso.fsf@gmail.com> Resent-From: Gabriel Hondet Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 23 Jan 2019 07:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34171 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 34171@debbugs.gnu.org Received: via spool by 34171-submit@debbugs.gnu.org id=B34171.154822811814874 (code B ref 34171); Wed, 23 Jan 2019 07:22:02 +0000 Received: (at 34171) by debbugs.gnu.org; 23 Jan 2019 07:21:58 +0000 Received: from localhost ([127.0.0.1]:41948 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCrD-0003rl-AL for submit@debbugs.gnu.org; Wed, 23 Jan 2019 02:21:57 -0500 Received: from mail-wm1-f48.google.com ([209.85.128.48]:36553) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gmCrB-0003rT-L2 for 34171@debbugs.gnu.org; Wed, 23 Jan 2019 02:21:54 -0500 Received: by mail-wm1-f48.google.com with SMTP id p6so903366wmc.1 for <34171@debbugs.gnu.org>; Tue, 22 Jan 2019 23:21:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=sz0ZlZz0zTnHBm8pzrTyeVXluONh7dqPP3rtxo3yGjk=; b=ZcacDqgcC3caoqQ6a6zS98fh4DMI16U1M8Rgs5Pn+Ofzn/HIRJSKeCAj+BgzKDwZUo yo0alZw2OoPcBf0IGP9jP47eF+tUzLYcS0a70BZ7O5kk+3YDqXij3TaZG+3VTczi12lj 4wBhX9vyJ6F47pK+Ypnbl/2NDmTlNiX7Uuf8eXRW99/pwuH9DiWITgn1LqvxxjNlk0b2 G9EfxXJN1aTWRkcLqhvC7iAtK/7MnCdFCUC35aiPyVYmjr57akzYiYntZk8Xqs0vzYGc 2hu8v2x/EiORLVkY4oXkw9aAaSYImLw0wIDfqy8OeyPcYSR0GYaX96M9hvZXlfNSl54e totA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=sz0ZlZz0zTnHBm8pzrTyeVXluONh7dqPP3rtxo3yGjk=; b=PW9N+bGfuaUZ3POyTbfmLqNJYknRbzX4Fs+3sSRZTZTmwdT2cEZ3EKvwWmmmCCZvGI 0hphCgC+00Xln5BJdv2a5K4YODR5vVqUrOcaVdp+kKQK0x+qvE3GtZ/XLZs0Al3C4bM0 fdGaCz9J+Z0PF2okYbu/R3spiskAD/T2EOB8pdT7BrPO+fz7RZVisNfd1p5LMpAPcc4p xOEItOx9W+f8tjaet1IlAS+TFD0zgbZ2pxQnVgl7jDvt043X28HlAT/oUSWclXdYC49I BAb8EfAdCRTLLz78mJPZTho7pKPgabTUD/Jq2I4amcBY2/FRw8DOYHI8fA3J9X5kdsv7 xyzA== X-Gm-Message-State: AJcUukePzKIQSCmp9Z528piG3UwtnG9jUOg2zthZVFtSRC/fCG3xnI8+ XjurFRLN78MPZlwtSSLMBuBDZscz X-Google-Smtp-Source: ALg8bN47arf3vlbZy8t4xPzJwDpP4Hn909AgbWht5AlsDTAhD8xfb+mdw1UgEjSUl+yZmOG2fz1FhQ== X-Received: by 2002:a1c:990c:: with SMTP id b12mr1602551wme.106.1548228107654; Tue, 22 Jan 2019 23:21:47 -0800 (PST) Received: from glht-aurore.gmail.com ([217.109.134.89]) by smtp.gmail.com with ESMTPSA id f2sm90411947wru.14.2019.01.22.23.21.47 for <34171@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 22 Jan 2019 23:21:47 -0800 (PST) From: Gabriel Hondet Date: Wed, 23 Jan 2019 08:21:46 +0100 Message-ID: <875zufzvn9.fsf@gmail.com> MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Date: Tue, 22 Jan 2019 17:40:01 +0100 User-agent: mu4e 1.0; emacs 26.1 +@code{https://bitheap.org/cram/, Python tool}, which was itself based on * gnu/packages/ocaml.scm (ocaml-craml): New variable. --- gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ca8f804ab..4c3aa36b0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4760,6 +4760,36 @@ yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) +(define-public ocaml-craml + (package + (name "ocaml-craml") + (version "1.0.0") + (home-page "https://github.com/realworldocaml/craml") + (source + (origin + (method git-fetch) + (uri (git-reference + (url (string-append home-page ".git")) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "197xjp4vmzdymf2ndinw271ihpf45h04mx8gqj8ypspxdr5fj1a5")))) + (build-system dune-build-system) + (inputs + `(("ocaml-fmt" ,ocaml-fmt) + ("ocaml-astring" ,ocaml-astring) + ("ocaml-logs" ,ocaml-logs) + ("ocaml-cmdliner" ,ocaml-cmdliner))) + (synopsis + "CRAM-testing framework for testing command line applications") + (description "CRAM is a is functional testing framework for command line +applications. @code{craml} is freely inspired by the +Mercurial's @code{https://www.selenic.com/blog/?p=663, unified test +format}. @code{craml} is released as a single binary (called @code{craml}).") + (license license:isc))) + (define-public ocaml-merlin (package (name "ocaml-merlin") -- 2.20.1