From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id YN8cDfe6/F/oHgAA0tVLHw (envelope-from ) for ; Mon, 11 Jan 2021 20:54:15 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id eBMCCfe6/F/KEQAAB5/wlQ (envelope-from ) for ; Mon, 11 Jan 2021 20:54:15 +0000 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 57EFE940341 for ; Mon, 11 Jan 2021 20:54:12 +0000 (UTC) Received: from localhost ([::1]:53012 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kz4CZ-0005kC-7m for larch@yhetil.org; Mon, 11 Jan 2021 15:54:11 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43878) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kz4CQ-0005k2-P0 for guix-patches@gnu.org; Mon, 11 Jan 2021 15:54:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:46887) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kz4CQ-0004mh-I1 for guix-patches@gnu.org; Mon, 11 Jan 2021 15:54:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kz4CQ-0005K3-Gu for guix-patches@gnu.org; Mon, 11 Jan 2021 15:54:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45762] [PATCH 2/3] ocaml: Add ocaml-ocp-index * gnu/packages/ocaml.scm (ocaml-ocp-index): New variable. References: <20210110104915.2t6u4atuikypepfw@minitower> In-Reply-To: <20210110104915.2t6u4atuikypepfw@minitower> Resent-From: aecepoglu Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 11 Jan 2021 20:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45762 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 45762@debbugs.gnu.org Received: via spool by 45762-submit@debbugs.gnu.org id=B45762.161039843720441 (code B ref 45762); Mon, 11 Jan 2021 20:54:02 +0000 Received: (at 45762) by debbugs.gnu.org; 11 Jan 2021 20:53:57 +0000 Received: from localhost ([127.0.0.1]:58432 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kz4CK-0005Jd-OE for submit@debbugs.gnu.org; Mon, 11 Jan 2021 15:53:56 -0500 Received: from wout1-smtp.messagingengine.com ([64.147.123.24]:43885) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kz4CG-0005JM-UY for 45762@debbugs.gnu.org; Mon, 11 Jan 2021 15:53:55 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.west.internal (Postfix) with ESMTP id 112C32440 for <45762@debbugs.gnu.org>; Mon, 11 Jan 2021 15:53:47 -0500 (EST) Received: from mailfrontend2 ([10.202.2.163]) by compute1.internal (MEProxy); Mon, 11 Jan 2021 15:53:47 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.fm; h= date:from:to:subject:message-id:mime-version:content-type; s= fm2; bh=wbcz3Fn2M3Sk3ODxyhJhqX3eIHWvTFBARje3OurS4/s=; b=WyOvBMX4 LSIMNCf0cvPDyj53dgFK0RHx55lq+G9jjxa5WBgdH/k/NhtU9HOTkaAbnZz7Bgb9 0vnw0QhyFrWkTQE2VWpcIS9Z9pobsk7s0zhwZ2abEZ5HTh0QnRCxnjWIBUy3MuJZ psqx08ytYL+m5eWZ791+cbTsf2FKkfF95pgvKfvAmt4gzYUu11ZblNZ9BbaUbTXc keHA9euhpoP0cAsPF6TX09u/DqA13jF7anfvXgYoixosoBdq2IPmDX0yfi9TWxhL 7nbGz4BeLLeJA/44raYWxyhdqr4jBmJ7jkv+gFYWtMzJba+IqT9r5x7H5PRwyPwQ CtUqIHg85kwziQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm1; bh=wbcz3Fn2M3Sk3ODxyhJhqX3eIHWvT FBARje3OurS4/s=; b=byz0bAXiRpemZFZnccItlgg8YJkof2UTyF6HzDugWsyc+ JTgqaPSOsUrTYG8QFBIhQomgYjrR0WsBZdkGNZ0S2Kr4HQqGyfGQVbMupL8+yKhf +VDdustsSPmzuAcB2dwNdVqCdi9SN8P1S5uhS72N0dNnq5YDoEqN93AgiGPkWuUP RlIKiJ8luGQnJN1cC/lKr9D0++MZzfz6X8BHPurx9V+wYmigR/vF+X63uD2dZ6cX kFK5v0tKIIAb3gBX86YA6Cvr+1gtJmq2VqeY8XPZyhaoGLbLYvAklQBAU5/LIOR5 CjxZBHvtFpVKvm8wxlbP2g5WlZztZNZryGfOfQDkw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedujedrvdehuddgudegfecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecunecujfgurhepfffhvffukfggtggusehttdertd dttddvnecuhfhrohhmpegrvggtvghpohhglhhuuceorggvtggvphhoghhluhesfhgrshht mhgrihhlrdhfmheqnecuggftrfgrthhtvghrnhepgfffieeijeevtdektdegfeefffeuge efiefhveejledtkeeuieeitedthfdvjedvnecuffhomhgrihhnpehgihhthhhusgdrtgho mhdpthihphgvrhgvgidrohhrghenucfkphepudejiedrgedurddvledrudektdenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegrvggtvghpohhg lhhusehfrghsthhmrghilhdrfhhm X-ME-Proxy: Received: from localhost (unknown [176.41.29.180]) by mail.messagingengine.com (Postfix) with ESMTPA id 66F3B1080063 for <45762@debbugs.gnu.org>; Mon, 11 Jan 2021 15:53:46 -0500 (EST) Date: Mon, 11 Jan 2021 23:55:33 +0300 From: aecepoglu Message-ID: <20210111205533.vy5aween3h2d55qk@minitower> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -0.75 Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=fastmail.fm header.s=fm2 header.b=WyOvBMX4; dkim=fail (headers rsa verify failed) header.d=messagingengine.com header.s=fm1 header.b=byz0bAXi; dmarc=fail reason="SPF not aligned (relaxed)" header.from=fastmail.fm (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 57EFE940341 X-Spam-Score: -0.75 X-Migadu-Scanner: scn0.migadu.com X-TUID: JQBxHgc+mUiu --- gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d2e2f03f3a..00978fa138 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2400,6 +2400,37 @@ Includes: or just for fault-tolerant/approximate parsing.") (license license:lgpl2.1))) +(define-public ocaml-ocp-index + (package + (name "ocaml-ocp-index") + (version "1.2.1") + (source + (origin + (method url-fetch) + (uri "https://github.com/OCamlPro/ocp-index/archive/1.2.1.tar.gz") + (sha256 + (base32 + "169msb3k1ip5lp79lr62nsk715rwrn53x9jcrnxz4js7c0fv0cyr")))) + (build-system dune-build-system) + (arguments + `(#:package "ocp-index")) + (propagated-inputs + `(("ocaml-ocp-indent" ,ocaml-ocp-indent) + ("ocaml-re" ,ocaml-re) + ("ocaml-cmdliner" ,ocaml-cmdliner))) + (native-inputs + `(("ocaml-cppo" ,ocaml-cppo))) + (home-page + "http://www.typerex.org/ocp-index.html") + (synopsis + "Lightweight completion and documentation browsing for OCaml libraries") + (description + "This package includes only the `ocp-index` library +and command-line tool.") + (license license:gpl3))) ; all files in libs/ are GNU lgpl2.1 + ; for static linking clause 6 of LGPL is lifted + ; all other files under GNU gpl3 + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- 2.29.2