From patchwork Mon Nov 22 15:35:20 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34746 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 6047227BBE3; Mon, 22 Nov 2021 15:37:43 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 14A7727BBE1 for ; Mon, 22 Nov 2021 15:37:43 +0000 (GMT) Received: from localhost ([::1]:52560 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBO2-0006Zn-9t for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:37:42 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52362) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMR-0004kl-PU for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37348) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMR-0005aN-Gt for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMR-0001br-E2 for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 1/7] gnu: Add ocaml-trie. References: <20211122153244.51661-1-zimon.toutoune@gmail.com> In-Reply-To: <20211122153244.51661-1-zimon.toutoune@gmail.com> Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953416099 (code B ref 52039); Mon, 22 Nov 2021 15:36:03 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:41 +0000 Received: from localhost ([127.0.0.1]:48880 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM5-0001aB-Cp for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:41 -0500 Received: from mail-wm1-f51.google.com ([209.85.128.51]:41507) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBLy-0001Z5-Ul for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:35 -0500 Received: by mail-wm1-f51.google.com with SMTP id f7-20020a1c1f07000000b0032ee11917ceso204716wmf.0 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=0uw87cD1LdHZEwsuh9JQjSen2Vn+PTerR8OBZAHPaGY=; b=mI+3W0q/we/aatb8/DHl11j9XaNi8lidxFpIxGADmnSwRSrTncvqqznn1ZBT8ab9pe rnZZ2ckWeHc0dDQg1WX29Qg0iiI/VVYLHSUyI7Rk3mt5T8PYfQFuXAnTBwzdVD14a2Or RNxeIfXX4PdR1UKMwhWhLPFXzO9EANDtXCuTfgFCqpw79AgmAwklUZDFvqoZojbeDIbw AJe+xaJd3fo6Fo27SwUElIj30+dEMkDYUQB6I6tgCqF3d8EcrFulAPHZGg9nneYfi67a RFfI2bvnFBWceuTp+4RutZKi+4llhYt+H26st1GZukFXZeApVddyvwfKcXDAC3aP7+yn MdMQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=0uw87cD1LdHZEwsuh9JQjSen2Vn+PTerR8OBZAHPaGY=; b=Qzy018z8Hl6aga0M3GKPDkIX8CSz6dqjmTiJ4KhR2YOV/vwFVTqurap+iQDnRAaom7 O9Uh+phmorxmTyAfaHc+rQ2z1og25rMuGy7myW3ZTPsYotqpaEmWOX1MQeuokf3W8OFg rX1yCVej2yHy20lmuH7s4KF1BcdzMJlNWhjOtqYV/w/xViCb+3DJBWW4Rl3XeuPb4JXs dFicQefVshlxjZEoZHJpvHOf6Ik5AtvbMWZjfwIs9dCsq4sKGURrIv2X4i6sOUUaLZX6 bP2ggFjZeE8LnFMJCB5u7qkRPQDYjaZFjbPY+zShjUA6B1p8bpDYs9bf6iqZThix8HF2 aCgw== X-Gm-Message-State: AOAM532dDhN1bAJfhRZlsgr4DyAt5OaswfUgtq/9IuOjCmLRGh9jtKnI EIz1dXrRpNaAjHKZINAxAuZbaxLOYZM= X-Google-Smtp-Source: ABdhPJyr420IkuF93FH16WFdZ+X24cUwM2Q1eISzo7+DD83CBp3TpcOu7wPIE7DF9ME/vFmffEJGuA== X-Received: by 2002:a05:600c:214f:: with SMTP id v15mr30394039wml.194.1637595328951; Mon, 22 Nov 2021 07:35:28 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:28 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:20 +0100 Message-Id: <20211122153526.51833-1-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-trie): New variable. --- gnu/packages/ocaml.scm | 25 ++++++++++++++++++++++++- 1 file changed, 24 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 123f05d568..5e195572ec 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -15,7 +15,7 @@ ;;; Copyright © 2019 Ricardo Wurmus ;;; Copyright © 2020 Brett Gilio ;;; Copyright © 2020 Marius Bakke -;;; Copyright © 2020 Simon Tournier +;;; Copyright © 2020, 2021 Simon Tournier ;;; Copyright © 2020 divoplade ;;; Copyright © 2020, 2021 pukkamustard ;;; Copyright © 2021 aecepoglu @@ -7434,6 +7434,29 @@ (define-public ocaml-bigstringaf these missing pieces.") (license license:bsd-3))) +(define-public ocaml-trie + (package + (name "ocaml-trie") + (version "1.0.0") + (home-page "https://github.com/kandu/trie/") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0s7p9swjqjsqddylmgid6cv263ggq7pmb734z4k84yfcrgb6kg4g")))) + (build-system dune-build-system) + (arguments + '(#:tests? #f)) ;no tests + (synopsis "Strict impure trie tree") + (description + "This module implements strict impure trie tree data structure for +OCaml.") + (license license:expat))) + (define-public ocaml-syntax-shims (package (name "ocaml-syntax-shims") From patchwork Mon Nov 22 15:35:21 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34742 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 C87C327BBE3; Mon, 22 Nov 2021 15:36:12 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 97AA827BBE1 for ; Mon, 22 Nov 2021 15:36:12 +0000 (GMT) Received: from localhost ([::1]:50140 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBMZ-0004mi-Jo for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:36:11 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52358) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMQ-0004jA-TY for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37346) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMQ-0005ZE-Kz for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMQ-0001bc-IP for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 2/7] gnu: Add ocaml-mew. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953366052 (code B ref 52039); Mon, 22 Nov 2021 15:36:02 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:36 +0000 Received: from localhost ([127.0.0.1]:48872 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBLz-0001ZN-OP for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:36 -0500 Received: from mail-wm1-f46.google.com ([209.85.128.46]:37854) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBLz-0001Z7-41 for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:35 -0500 Received: by mail-wm1-f46.google.com with SMTP id k37-20020a05600c1ca500b00330cb84834fso17140238wms.2 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=jHV52mNN28WaY5/e6U7lGr6ql8cXPeVhoSGlL1lEj6w=; b=cFNgX8YYXkeZN19vmpRNl8EZbHLcinhyvkSa6g5s88PUFaGE9XJHflI8FZKVBvH2NQ Eg36fBqmpyNtNqGqGbEYXvNm6Qf4hjcWc2VRYhW46YHMuAfWYGHWTo/YAXFzQ4Hb5tai ANuEW4WfS3JP9HL1zAnRzPn7aAuxB06WywWgj04QqFzi7ws+90gUcN+AqwItAHMUV+TM 22CJKwyalZO+xZIt9Qr/QwV1/1AkEGqjCpjKsWMyx+4XdrYvDJy2BBw1XLaTernTcDbM A1qmPlBKPfCvKeUD+XtyQK4g1M5vg/ftLEWQ4JFScfp6lwGM+D9fMVOerpwJRXv5P56o wlhw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=jHV52mNN28WaY5/e6U7lGr6ql8cXPeVhoSGlL1lEj6w=; b=wKcndlGL0i+oSdcekfDF/hC8uv00rTRC6r6mySUz2JA+UmHSV5xEPYxqCqkIzKamRL YTv779BdstnDHBr94YoeKCod68Hzfd+hcUnyqLXVlS1nVmfpHxjm/xxkd3Jv0zrNKv2z i7xOyXONe+dIxwf/z/ikp6O+G29T8xTNOU0VsO91NlJhWGr3SEocDft8QTTnvacjBUIz 2KhKC1oGrQRfZs1ZnVHvhs3Oevo5vpTsbFwKVvMUwJ4i8QUnpkYpgh3Y+gpqivUtSqkJ UC62ix5MNqiXB6EUK+wjwmB7gl7gVrrYVV+tTvoXXqEYL56L73RkGFxV13gJxi1k2kGP ytUw== X-Gm-Message-State: AOAM532CjADF3gMazQ6JVrtv538dNKkwHyu6899PFpPhf8MPTx4FDZtY 9X7rOmj/DC+tgfHS+DnqGIYicgymLug= X-Google-Smtp-Source: ABdhPJxVA+ynWHJgvnPGl3TtL26NUeumAu75jkOw6VzEkSlywKwdNEPgjsYIArRnwuaddkEZXGjbhw== X-Received: by 2002:a05:600c:1d9b:: with SMTP id p27mr30927470wms.123.1637595329446; Mon, 22 Nov 2021 07:35:29 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:29 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:21 +0100 Message-Id: <20211122153526.51833-2-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-mew): New variable. --- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5e195572ec..427ee2c682 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7457,6 +7457,32 @@ (define-public ocaml-trie OCaml.") (license license:expat))) +(define-public ocaml-mew + (package + (name "ocaml-mew") + (version "0.1.0") + (home-page "https://github.com/kandu/mew") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0417xsghj92v3xa5q4dk4nzf2r4mylrx2fd18i7cg3nzja65nia2")))) + (build-system dune-build-system) + (propagated-inputs + `(("ocaml-result" ,ocaml-result) + ("ocaml-trie" ,ocaml-trie))) + (native-inputs + `(("ocaml-ppx-expect" ,ocaml-ppx-expect))) + (synopsis "General modal editing engine generator") + (description + "This package provides the core modules of Modal Editing Witch, a general +modal editing engine generator.") + (license license:expat))) + (define-public ocaml-syntax-shims (package (name "ocaml-syntax-shims") From patchwork Mon Nov 22 15:35:22 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34744 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 BF90527BBE3; Mon, 22 Nov 2021 15:36:28 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 78E7A27BBE1 for ; Mon, 22 Nov 2021 15:36:28 +0000 (GMT) Received: from localhost ([::1]:50696 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBMp-0005DT-N0 for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:36:27 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52360) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMR-0004jw-B9 for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37347) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMR-0005a4-2y for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMQ-0001bj-Uw for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 3/7] gnu: Add ocaml-mew-vi. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953416090 (code B ref 52039); Mon, 22 Nov 2021 15:36:02 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:41 +0000 Received: from localhost ([127.0.0.1]:48878 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM5-0001a9-4h for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:41 -0500 Received: from mail-wm1-f48.google.com ([209.85.128.48]:54993) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBLz-0001Z8-HA for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:35 -0500 Received: by mail-wm1-f48.google.com with SMTP id i12so15821246wmq.4 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=XIjfcfBaUJyQYG2lKvDVh12eNLDyY+XzSA8von65hiA=; b=qdG17Vadt85sEkzOtqakcIGsAiTeEajfUlnDZ/TuxS997wV6JgFHJdqMqoDTHuU40q UQ8CPy8r+1mKqTyWjbgkXKcXljjDCqYD7zuqVrWKCYLodtj0M8g0iIjGfU0as+ip/y3e tjkAo5+160tkGbSOBoe9kpgV7ybOepfWcWexaJ5UOyXyd3Lg+d0fBnz7jnVF+kY1z5BM Wi2wDh+wT6QN8uvp6Skho6SPJPMLINKkYPyQXjQaw1GhT/iqSUHRgOl1NRF2s3R4+k9s SXeTCiDCnrWAoLDDKbiQ4vea2y7Vs/4yhqVUQTJZhra4jgGM7uEg1FdbtzWuVh4SQkTo 5igQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=XIjfcfBaUJyQYG2lKvDVh12eNLDyY+XzSA8von65hiA=; b=QA/UM94Ow3+wh4W/RffVhrBRkWVoC6fHcTHYhEhgUVK4sl6KLQlA+pUEGhwgi/DdSh P0Mlgzj2SkFtOhrlCO/lEMehOcZAbNrbCCiACKVbQOgZhYlJx/S1WkG8iaGSFknotml/ 0h5hZ1e9dMVEjJEYZPfCHkVSOph3tNa/Ij7mtX0SDSFRqhCBhpPkmgmb+a3T8j2v1+nS rc5boskBAlTrHnrILiyIWHvEhLKEayJHNr+v0o/r4JSyRX6vH7PriaaeyJMoL4XkSD3Z 5NF6JfF+hwjo4309nhZRh8RifgC1VsODP2Ep7DGntmMcizcj479KUgtcLGJ4PzYhC4Qu w1vw== X-Gm-Message-State: AOAM532thib8PJsSa2I19hY0LyI0AcD78e9k30nb2fh6tGJsHajEG3Ns vWgQFzZ/wbu6czXNlNifPFf5gFMPBVk= X-Google-Smtp-Source: ABdhPJzCLb/+Zh4257TDk5fIrZ9VPP3uTHZmNXMyLMv/XMttN9McrL621cvYOGpyodJ7+QAyGUbK4Q== X-Received: by 2002:a1c:4306:: with SMTP id q6mr30706619wma.29.1637595329953; Mon, 22 Nov 2021 07:35:29 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:29 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:22 +0100 Message-Id: <20211122153526.51833-3-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-mew-vi): New variable. --- gnu/packages/ocaml.scm | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 427ee2c682..82670fec7f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -7483,6 +7483,32 @@ (define-public ocaml-mew modal editing engine generator.") (license license:expat))) +(define-public ocaml-mew-vi + (package + (name "ocaml-mew-vi") + (version "0.5.0") + (home-page "https://github.com/kandu/mew_vi") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0lihbf822k5zasl60w5mhwmdkljlq49c9saayrws7g4qc1j353r8")))) + (build-system dune-build-system) + (propagated-inputs + `(("ocaml-mew" ,ocaml-mew) + ("ocaml-react" ,ocaml-react))) + (native-inputs + `(("ocaml-ppx-expect" ,ocaml-ppx-expect))) + (properties `((upstream-name . "mew_vi"))) + (synopsis "Modal editing VI-like editing engine generator") + (description "This module provides a vi-like modal editing engine +generator.") + (license license:expat))) + (define-public ocaml-syntax-shims (package (name "ocaml-syntax-shims") From patchwork Mon Nov 22 15:35:23 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34747 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 65E0127BBE3; Mon, 22 Nov 2021 15:37:50 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED,URIBL_SBL,URIBL_SBL_A autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id ED31327BBE1 for ; Mon, 22 Nov 2021 15:37:49 +0000 (GMT) Received: from localhost ([::1]:52788 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBO9-0006ka-51 for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:37:49 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52364) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMS-0004lV-7w for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37349) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMR-0005ah-Ux for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMR-0001by-Ry for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 4/7] gnu: ocaml-charinfo-width: Fix source to get 'LICENSE' file. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953426106 (code B ref 52039); Mon, 22 Nov 2021 15:36:03 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:42 +0000 Received: from localhost ([127.0.0.1]:48882 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM5-0001aK-SD for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:42 -0500 Received: from mail-wm1-f51.google.com ([209.85.128.51]:39862) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM0-0001ZA-0O for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:36 -0500 Received: by mail-wm1-f51.google.com with SMTP id n33-20020a05600c502100b0032fb900951eso17153589wmr.4 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=bvo9PfC3ZyAVINK8SNVRmKxF3GEHOX58M7tRJgvzYlM=; b=e0gG8jRod2KFKxWtqfg/qH9OK1cICD6wPuyX3jom5md0qMyXbyZ5ssReL35gmST4ow TtoyOU310eTIarGkgF7riznV2lT/yz+O2Fj85OIQkelLcftuI4+0lUz78HjltMC2ax3H HfaATNohieR1/FNBMSBva0sOUD6gGSG+yUsifTf9eYZelTKFp/vKieAppcjO/uKGWXlX EmCqdeQPacgP2K3RklZGJxSlZ/DVOI4M3HeBqvoXfC+ANjCzsMVPZpL76/BOaf8/ApbL oOQH7KfpcKNMP3J453fE35srVJZScZbjolEGPYWPpZhJ8n2TjgYYyljlnYxsXedAU+0D rG8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=bvo9PfC3ZyAVINK8SNVRmKxF3GEHOX58M7tRJgvzYlM=; b=Fl+MlrTw8G8R5pvkL+Ov+Nb2EjxVWroW1K3m+c2ORqfpofBPlX7aMi98TuixqwlpPW WB4dwMLs2ps/CvEV4SvexSxPwlJqwUCvlexWLBunzRbDa5iTMeSgVx5WJ475/Hzm2WKZ uBAD7R6R0zN8AZQ6WKh6ABq2xWcA6q7IuMjAU0qyfgtAuu+ybucylJwSgvSevIamLYoy ugTlL6JkafWJs/jieSToR6fDVTntNi9MEgQlTByGkrIcvExCpXvfgEMkiu5FR5jE9cOm xtn5CaVIkkBoCgruQfeeOfjurtaaZ0j2wOU11Lz9pg5ivqbGTz5T6Zk2ABVRwR/ceIkC Cybw== X-Gm-Message-State: AOAM532zQ6AaGm6T44ZPyA4m3Y+wfuBQBHd8NmCiG0rz5BHVjUIApora jKdbOG2iszVzo6JXK9K670gXhH0ANKo= X-Google-Smtp-Source: ABdhPJzzC6/0rciav80zgWK9+1YQUBNz9vbxRytAfVsCwAINir0nwO8a0AZPTIqEeJBNPRgOXymUPQ== X-Received: by 2002:a1c:208b:: with SMTP id g133mr31099318wmg.128.1637595330445; Mon, 22 Nov 2021 07:35:30 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:30 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:23 +0100 Message-Id: <20211122153526.51833-4-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-charinfo-width): Replace 'url-fetch' by 'git-fetch' and update to unreleased commit. --- gnu/packages/ocaml.scm | 49 ++++++++++++++++++++++-------------------- 1 file changed, 26 insertions(+), 23 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 82670fec7f..92ace48abb 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3992,30 +3992,33 @@ (define-public ocaml-camomile (license license:lgpl2.0+))) (define-public ocaml-charinfo-width - (package - (name "ocaml-charinfo-width") - (version "1.1.0") - (source (origin - (method url-fetch) - (uri (string-append "https://bitbucket.org/zandoye/charinfo_width" - "/get/" version ".tar.gz")) - (file-name (string-append name "-" version ".tar.gz")) - (sha256 - (base32 - "00bv4p1yqs8y0z4z07wd9w9yyv669dikp9b04dcjbwpiy2wy0086")))) - (build-system dune-build-system) - (propagated-inputs - `(("ocaml-result" ,ocaml-result) - ("ocaml-camomile" ,ocaml-camomile))) - (native-inputs - `(("ocaml-ppx-expect" ,ocaml-ppx-expect))) - (properties - `((upstream-name . "charInfo_width"))) - (home-page "https://bitbucket.org/zandoye/charinfo_width/") - (synopsis "Determine column width for a character") - (description "This module is implements purely in OCaml a character width + ;; Add LICENSE file and Dune tests + (let ((commit "20aaaa6dca8f1e0b1ace55b6f2a8ba5e5910b620")) + (package + (name "ocaml-charinfo-width") + (version (git-version "1.1.0" "1" commit)) + (home-page "https://github.com/kandu/charinfo_width/") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "04gil5hxm2jax9paw3i24d8zyzhyl5cphzfyryvy2lcrm3c485q0")))) + (build-system dune-build-system) + (propagated-inputs + `(("ocaml-result" ,ocaml-result) + ("ocaml-camomile" ,ocaml-camomile))) + (native-inputs + `(("ocaml-ppx-expect" ,ocaml-ppx-expect))) + (properties + `((upstream-name . "charInfo_width"))) + (synopsis "Determine column width for a character") + (description "This module is implements purely in OCaml a character width function that follows the prototype of POSIX's wcwidth.") - (license license:expat))) + (license license:expat)))) (define-public ocaml4.07-zed (package From patchwork Mon Nov 22 15:35:24 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34748 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 24E2D27BBE3; Mon, 22 Nov 2021 15:38:07 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id AB31827BBE1 for ; Mon, 22 Nov 2021 15:38:06 +0000 (GMT) Received: from localhost ([::1]:52994 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBOP-0006tN-UI for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:38:05 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52366) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMS-0004mG-Jy for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37350) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMS-0005aq-BT for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMS-0001c6-8P for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 5/7] gnu: Add ocaml-zed. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953426113 (code B ref 52039); Mon, 22 Nov 2021 15:36:04 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:42 +0000 Received: from localhost ([127.0.0.1]:48884 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM6-0001aR-6h for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:42 -0500 Received: from mail-wr1-f44.google.com ([209.85.221.44]:44646) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM0-0001ZB-Qt for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:37 -0500 Received: by mail-wr1-f44.google.com with SMTP id n29so33426785wra.11 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=lX+mjGaaqf5hPugjUj/CMfeim8auagataJvtGRqEXCY=; b=Uq1tEwVb5GDX7Qi8O4EY6hl81TWSbLLRkjNAHVW/qvIkep+QmkVPi1/qsfYEIL0A2a 4NRqogxyitDGzH718ETfUaxM51Ha1YIVj8oUznWGlWEgdY618qMBaRRRN4Mm9IigBdlu NtsteofQ4p4frTMa6xx3seIb1pAHCltBYcUpQAsWlN2jamWe6WIzMvB1QXLK4VVkIqi+ PkwPwB3YozRUMEkeBjZQi2m4geScdOgjtEgrkdBBCDKXj17kf+2g4zkBxDMgzNLGstei baaQ0J5gZ2oZJO6J/gUCqf/2sHIogJG2BMsDBtsRra487foRcxixK82Qkjl9j9YdlaRC eHwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=lX+mjGaaqf5hPugjUj/CMfeim8auagataJvtGRqEXCY=; b=748ozAHPT3/zWC6XMb9cDr7eD0Ghi0ksCRiOftQfmSXv+UNohdzPXALUv8D1Bw6C9T 2HhNGmLw0A7/zfl5l0hdMOVGftK6WvFOKccSFBvSb8e/lW5+a7u3OzPTtx17UAqN1hKW B213EAY3d05oI+A/NEdaZetr7+ObOhn5Jo0ZDbd1aIOwPBq+5Ba0DgiEGWQcc87Ipo8d LYyEY5Imd5HO7Miss1LHzv1lk7iPSA6eKaM9Y7INS8vpv4+otUFaFS+zkeAm/kbAEW80 ArV7df12zLqhODqOVPBIzqJDj/L3aD/GyDZd+b2/yWu+43PtzGmKHYt0id5YSRqiCfbb 31aA== X-Gm-Message-State: AOAM5317Uhc1YST+DmxGiDKYFmoi7Jcjr0yQNvZUIQ4QwLYfMuY3ojXo UQ8xSj5e5OFAjVulx+E0g4GX0c+clV0= X-Google-Smtp-Source: ABdhPJyv0qelICtczu8Qbt4DmddiZidvMk3QjPhF3H07QiEXvQMcv+P5B5JrWWELv4xflivKliYRDw== X-Received: by 2002:a05:6000:1541:: with SMTP id 1mr38195838wry.347.1637595331008; Mon, 22 Nov 2021 07:35:31 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:30 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:24 +0100 Message-Id: <20211122153526.51833-5-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-zed): New variable. (ocaml4.07-zed): Inherit and adjust 'source'. --- gnu/packages/ocaml.scm | 43 ++++++++++++++++++++++++++++++++++-------- 1 file changed, 35 insertions(+), 8 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 92ace48abb..032347a28e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4020,15 +4020,48 @@ (define-public ocaml-charinfo-width function that follows the prototype of POSIX's wcwidth.") (license license:expat)))) +(define-public ocaml-zed + (package + (name "ocaml-zed") + (version "3.1.0") + (home-page "https://github.com/ocaml-community/zed") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "04vr1a94imsghm98iigc35rhifsz0rh3qz2qm0wam2wvp6vmrx0p")))) + (build-system dune-build-system) + (arguments + `(#:test-target ".")) + (propagated-inputs + `(("ocaml-charInfo-width" ,ocaml-charinfo-width) + ("ocaml-camomile" ,ocaml-camomile) + ("ocaml-react" ,ocaml-react))) + (synopsis "Abstract engine for text edition in OCaml") + (description + "This module provides an abstract engine for text edition. It can be +used to write text editors, edition widgets, readlines, and more. The module +Zed uses Camomile to fully support the Unicode specification, and implements +an UTF-8 encoded string type with validation, and a rope datastructure to +achieve efficient operations on large Unicode buffers. Zed also features a +regular expression search on ropes. To support efficient text edition +capabilities, Zed provides macro recording and cursor management facilities.") + (license license:bsd-3))) + (define-public ocaml4.07-zed (package + (inherit ocaml-zed) (name "ocaml4.07-zed") (version "2.0.3") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/diml/zed") + (url "https://github.com/ocaml-community/zed") (commit version))) (file-name (git-file-name name version)) (sha256 @@ -4042,13 +4075,7 @@ (define-public ocaml4.07-zed (propagated-inputs `(("ocaml-camomile" ,(package-with-ocaml4.07 ocaml-camomile)) ("ocaml-charinfo-width" ,(package-with-ocaml4.07 ocaml-charinfo-width)) - ("ocaml-react" ,(package-with-ocaml4.07 ocaml-react)))) - (home-page "https://github.com/diml/zed") - (synopsis "Abstract engine for text editing in OCaml") - (description "Zed is an abstract engine for text edition. It can be used -to write text editors, edition widgets, readlines, etc. You just have to -connect an engine to your inputs and rendering functions to get an editor.") - (license license:bsd-3))) + ("ocaml-react" ,(package-with-ocaml4.07 ocaml-react)))))) (define-public ocaml4.07-lambda-term (package From patchwork Mon Nov 22 15:35:25 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34743 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 C2EBF27BBE3; Mon, 22 Nov 2021 15:36:15 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 4538F27BBE1 for ; Mon, 22 Nov 2021 15:36:15 +0000 (GMT) Received: from localhost ([::1]:50200 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBMb-0004pi-Fn for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:36:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52368) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMT-0004mx-1c for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37351) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMS-0005bC-PT for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMS-0001cD-MR for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:04 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 6/7] gnu: Add ocaml-lambda-term. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953436121 (code B ref 52039); Mon, 22 Nov 2021 15:36:04 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:43 +0000 Received: from localhost ([127.0.0.1]:48886 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM6-0001aY-Id for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:42 -0500 Received: from mail-wr1-f45.google.com ([209.85.221.45]:44648) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM1-0001ZD-59 for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:38 -0500 Received: by mail-wr1-f45.google.com with SMTP id n29so33426817wra.11 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=IqAjJznyEBMPZGRmh/Du1aDUFAJS+cAr+4GWT9HfR/0=; b=EpySdbv+d/uw371oD8xz9jC9FWroaYIqRtdlcx7XYbAqglu4nskD4J2kJyRsjiZ1Sc rooa/L60jT8o+TZ/N67qXTWf932X2S2H6XjkYinCVIEo+mdEQ3tJZIpSamKx5cXbyHDO 9dY/BAdrbFFrqgKKf3C/O5D29Io5IgV//OuWcisb0OOVF+HoedtRoOrYvQwQG1SfFpfu Ym6Hso0X/5aSI/tz1M7R/Hxzn/SgSb/KNPVZtE3aT2Itt9F0w1zErTxK3EBLQ+kn5ZB1 fJhZJqsA0Pym2FGXUKAYlICUawsPmQb5pRaFbOKG2tQvaY3U9m6VdF4h1x1m50EF9rN4 vNOA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=IqAjJznyEBMPZGRmh/Du1aDUFAJS+cAr+4GWT9HfR/0=; b=tEMn+LSxBXifQyXJvFNFXus19ePF/SDJx5n5sVYjoZSM1Xt6HCWyBsfezZXOIBHJNw rGiai81ASSprADMSRyoNtPzVgr+kIv3H0CPgaCQxrNWxmm6UteR+eURWHYFAjIH7azxq 1sZmXrzx5Kmy8eMNBm6DNM6tBVUmMcjb8siwB0a7TwIuIRg52WBkT7V/1IPE3WjKVu3s az76dnXXv5cc2qNYZnpicK7a3FCKqTVBbo0O1jwmGJCDvVdLHj35M9reoQvjrtpsANym VaarepEPxdSwTCUI0vUTAlhcEjzRiTdSazbN2PsW1xqxqdFznGLEosZ606ipPhLrqLZz 4d5A== X-Gm-Message-State: AOAM533SelnL0w9gXBWZfH8/rH8/N7ddsbrai5sDxJFMXtXx1PBP1HGt l5Y8/45pby/cd2ExkF6QRTr4jqNj56o= X-Google-Smtp-Source: ABdhPJzdq2w8hMikxLB/Cel517I7a61Q7Ifdk3ye6iYV2rmnIoHRydQEqny3+tvZ9HaJ2IidS9vkJg== X-Received: by 2002:adf:e848:: with SMTP id d8mr38674295wrn.3.1637595331563; Mon, 22 Nov 2021 07:35:31 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.31 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:31 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:25 +0100 Message-Id: <20211122153526.51833-6-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-lambda-term): New variable. (omca4.07-lambda-term): Inherit and adjust source. [arguments]: Set tests. --- gnu/packages/ocaml.scm | 51 +++++++++++++++++++++++++++++++----------- 1 file changed, 38 insertions(+), 13 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 032347a28e..f63a00f1d8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4077,22 +4077,56 @@ (define-public ocaml4.07-zed ("ocaml-charinfo-width" ,(package-with-ocaml4.07 ocaml-charinfo-width)) ("ocaml-react" ,(package-with-ocaml4.07 ocaml-react)))))) +(define-public ocaml-lambda-term + (package + (name "ocaml-lambda-term") + (version "3.1.0") + (home-page "https://github.com/ocaml-community/lambda-term") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1k0ykiz0vhpyyj9fkss29ajas4fh1xh449j702xkvayqipzj1mkg")))) + (build-system dune-build-system) + (arguments + `(#:test-target ".")) + (propagated-inputs + `(("ocaml-lwt" ,ocaml-lwt) + ("ocaml-lwt-log" ,ocaml-lwt-log) + ("ocaml-react" ,ocaml-react) + ("ocaml-zed" ,ocaml-zed) + ("ocaml-camomile" ,ocaml-camomile) + ("ocaml-lwt-react" ,ocaml-lwt-react) + ("ocaml-mew-vi" ,ocaml-mew-vi))) + (synopsis "Terminal manipulation library for OCaml") + (description "Lambda-Term is a cross-platform library for manipulating the +terminal. It provides an abstraction for keys, mouse events, colors, as well as +a set of widgets to write curses-like applications. The main objective of +Lambda-Term is to provide a higher level functional interface to terminal +manipulation than, for example, ncurses, by providing a native OCaml interface +instead of bindings to a C library.") + (license license:bsd-3))) + (define-public ocaml4.07-lambda-term (package + (inherit ocaml-lambda-term) (name "ocaml4.07-lambda-term") (version "2.0.2") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/diml/lambda-term") + (url "https://github.com/ocaml-community/lambda-term") (commit version))) (file-name (git-file-name name version)) (sha256 (base32 "0zcjy6fvf0d3i2ssz96asl889n3r6bplyzk7xvb2s3dkxbgcisyy")))) - (build-system dune-build-system) (arguments - `(#:tests? #f + `(#:test-target "." #:ocaml ,ocaml-4.07 #:findlib ,ocaml4.07-findlib #:dune ,ocaml4.07-dune)) @@ -4100,16 +4134,7 @@ (define-public ocaml4.07-lambda-term `(("ocaml-lwt" ,(package-with-ocaml4.07 ocaml-lwt)) ("ocaml-lwt-log" ,(package-with-ocaml4.07 ocaml-lwt-log)) ("ocaml-lwt-react" ,(package-with-ocaml4.07 ocaml-lwt-react)) - ("ocaml-zed" ,ocaml4.07-zed))) - (home-page "https://github.com/diml/lambda-term") - (synopsis "Terminal manipulation library for OCaml") - (description "Lambda-Term is a cross-platform library for manipulating the -terminal. It provides an abstraction for keys, mouse events, colors, as well as -a set of widgets to write curses-like applications. The main objective of -Lambda-Term is to provide a higher level functional interface to terminal -manipulation than, for example, ncurses, by providing a native OCaml interface -instead of bindings to a C library.") - (license license:bsd-3))) + ("ocaml-zed" ,ocaml4.07-zed))))) (define-public ocaml4.07-utop (package From patchwork Mon Nov 22 15:35:26 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 34745 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 2186227BBE3; Mon, 22 Nov 2021 15:36:49 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2, SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id DC9D527BBE1 for ; Mon, 22 Nov 2021 15:36:48 +0000 (GMT) Received: from localhost ([::1]:51222 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mpBNA-0005br-22 for patchwork@mira.cbaines.net; Mon, 22 Nov 2021 10:36:48 -0500 Received: from eggs.gnu.org ([209.51.188.92]:52370) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mpBMT-0004nq-E1 for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37352) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mpBMT-0005bY-5j for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:05 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mpBMT-0001cK-3I for guix-patches@gnu.org; Mon, 22 Nov 2021 10:36:05 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52039] [PATCH 7/7] gnu: Add ocaml-utop. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 22 Nov 2021 15:36:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52039 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 52039@debbugs.gnu.org Cc: zimoun Received: via spool by 52039-submit@debbugs.gnu.org id=B52039.16375953496139 (code B ref 52039); Mon, 22 Nov 2021 15:36:05 +0000 Received: (at 52039) by debbugs.gnu.org; 22 Nov 2021 15:35:49 +0000 Received: from localhost ([127.0.0.1]:48888 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM6-0001af-V5 for submit@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:49 -0500 Received: from mail-wm1-f50.google.com ([209.85.128.50]:45041) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mpBM1-0001ZE-Ot for 52039@debbugs.gnu.org; Mon, 22 Nov 2021 10:35:38 -0500 Received: by mail-wm1-f50.google.com with SMTP id c71-20020a1c9a4a000000b0032cdcc8cbafso165480wme.3 for <52039@debbugs.gnu.org>; Mon, 22 Nov 2021 07:35:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=/ziNkJttlk1tSOWec/IQ+sYC2+2XF/aTBfCZXN7GMu4=; b=BnI6KUsntYdxP5AzdQvm7/fNWAXKtmIeMb0C9fXwzXx1ZsLNlydfjVjlbfIsKI10DH Pu7QmEwAcNnTCE7O/Dzw+41DlUVzTXvj1Ugm1JXrv60AiOn11JgDQGpP95slihoa+hQ7 NbgiU2puL4nm1OzMa8PmHUlMmqFKCRRsfiznqZfe++Wxf7JNzFkqqpWNVpQr8AjvzQBM 3wIwX7t9Sss8FBLB9a4IjbC6A2OItsOFDKefg62rFBe76BPVNYC9zhrxeuzVuW8CBoCf ywEuymUCNqd/yWdSZNzMabuoRorUtE9zRYNXrnvttqZb0jnXbpGFmNHautrdrRwEgcqU UOjA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=/ziNkJttlk1tSOWec/IQ+sYC2+2XF/aTBfCZXN7GMu4=; b=7bgdpcaIYawTFk+WkRFTqkqtoCVhakhuq0AWmTn19HqtnguzL/GPtU3SAP7X8WYQ+e /E3Ja4lnVkSWkjpZHHIYBePrIdQKLn1lb5ieU0kwKdcKnnsTENnjCACQw8wO3T4YBTJo EW9ImaPKRCZm13FBkJWKkomQTCKpM0jupLHyLuRXtssKNtw8MHD1YNkfBgleaFGsonG7 3WAmA2rmDqlAPKbqNXmlQ8aKzB3fEhDVbFrwwPYYX42uQvrXtd3lU83PtUNoZRcquebQ SaL47aaxAFReIpKpcbWBuUj/mTFLmD1HcZ85j1B0VB6JzNK9stRiaGg93kBmCtIHnWe0 Jzqg== X-Gm-Message-State: AOAM531VCGSpsZGSZNnOPzJGPufzJXpTd9iF1aDQUoE1OCIkpyZ7IGYG Zrf2qpO9h3ePiedkKGx/71oF/xANCxs= X-Google-Smtp-Source: ABdhPJxvEDKwfFgMd9E+B+3xJVP2KM6MB5DZmGwNfN7hhfeK/SrAO6PaLdS8bhoauy8jbnIGmpULLQ== X-Received: by 2002:a05:600c:1d01:: with SMTP id l1mr31252267wms.44.1637595332114; Mon, 22 Nov 2021 07:35:32 -0800 (PST) Received: from localhost.localdomain ([193.48.40.110]) by smtp.gmail.com with ESMTPSA id o9sm9409147wrs.4.2021.11.22.07.35.31 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 22 Nov 2021 07:35:31 -0800 (PST) From: zimoun Date: Mon, 22 Nov 2021 16:35:26 +0100 Message-Id: <20211122153526.51833-7-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.32.0 In-Reply-To: <20211122153526.51833-1-zimon.toutoune@gmail.com> References: <20211122153526.51833-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml-utop): New variable. (ocaml4.07-utop): Inherit and adjust. --- gnu/packages/ocaml.scm | 40 +++++++++++++++++++++++++++++++++------- 1 file changed, 33 insertions(+), 7 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f63a00f1d8..8d72641bfd 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4136,8 +4136,40 @@ (define-public ocaml4.07-lambda-term ("ocaml-lwt-react" ,(package-with-ocaml4.07 ocaml-lwt-react)) ("ocaml-zed" ,ocaml4.07-zed))))) +(define-public ocaml-utop + (package + (name "ocaml-utop") + (version "2.8.0") + (home-page "https://github.com/ocaml-community/utop") + (source + (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1zf4hg33sblzh2f65vk0292jg4jlwa8702kfwpsg1kcg4w6nsfdp")))) + (build-system dune-build-system) + (arguments + '(#:test-target ".")) + (propagated-inputs + `(("ocaml-lambda-term" ,ocaml-lambda-term) + ("ocaml-lwt" ,ocaml-lwt) + ("ocaml-lwt-react" ,ocaml-lwt-react) + ("ocaml-camomile" ,ocaml-camomile) + ("ocaml-react" ,ocaml-react))) + (native-inputs + `(("ocaml-cppo" ,ocaml-cppo))) + (synopsis "Improved interface to the OCaml toplevel") + (description "UTop is an improved toplevel for OCaml. It can run in a +terminal or in Emacs. It supports line editing, history, real-time and context +sensitive completion, colors, and more.") + (license license:bsd-3))) + (define-public ocaml4.07-utop (package + (inherit ocaml-utop) (name "ocaml4.07-utop") (version "2.4.3") (source @@ -4162,13 +4194,7 @@ (define-public ocaml4.07-utop ("lwt" ,(package-with-ocaml4.07 ocaml-lwt)) ("react" ,(package-with-ocaml4.07 ocaml-react)) ("camomile" ,(package-with-ocaml4.07 ocaml-camomile)) - ("zed" ,ocaml4.07-zed))) - (home-page "https://github.com/ocaml-community/utop") - (synopsis "Improved interface to the OCaml toplevel") - (description "UTop is an improved toplevel for OCaml. It can run in a -terminal or in Emacs. It supports line editing, history, real-time and context -sensitive completion, colors, and more.") - (license license:bsd-3))) + ("zed" ,ocaml4.07-zed))))) (define-public ocaml-integers (package