From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id cGj6HaYM9WaEDwEAqHPOHw:P1 (envelope-from ) for ; Thu, 26 Sep 2024 07:26:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id cGj6HaYM9WaEDwEAqHPOHw (envelope-from ) for ; Thu, 26 Sep 2024 09:26:30 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=rwcg4zJf; dkim=fail ("headers rsa verify failed") header.d=rimm.ee header.s=herman header.b=KxXBVZ5H; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1727335590; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=ePgtgqVvElWoLKRyoVUgXrsVTm6WQFRd8+TG9domPEo=; b=jNrSAFJDEhFCSlNQJ8wpWA6nHAi0LHFCs7XJYYfud9zV7Wi5cbHbdpS2EsRrocPThbhRWq 1EDrTqEGRHVGD8eGI2U8K17r/ATLmm8lncexiOdZ2qYP6+ouC+bu2mc0XXKn17jWFnfaza TwMotpI2/WqO/bowrmk5OncMM7YNG9lMQn9YEvsyyoMqesFh4bDp5kGEKAsdyLG8SlsaQQ OP/ufqXnwo/e6+B3ddrXPEDOfNDwXsOScVOZ/mSRDREl7G+qJIscMYDwb39xBb9MM4bLiG uu5ksBtJnEX1uJ1zVhyAKzTI5RYnhrZx5AMedIDJCHhvjxBHsIxMV/+wpavD5w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=rwcg4zJf; dkim=fail ("headers rsa verify failed") header.d=rimm.ee header.s=herman header.b=KxXBVZ5H; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1727335590; a=rsa-sha256; cv=none; b=Os3tyEffOctkj1ZEyhnQfU1+uZ9Q6xnw8ym07MjuE6iWVJPiB/AN8/aujyx9WRPFUGg252 isaaKP+5PhMDeIRa+bg+7niKbLSQqp+yjjpDAvc+XxPeTQF73ZI3U/YwG1T5AgZaBb49Fr JoNb3g+dMXyiZBgJ+pgnn3baNA6kv3UGed65HebpeYjaTaZ5xdhjLKbSj3FppYWAm+ZbQM wfvS54gyK8FkMfTRseOhsBh/hUQ7kFJeYhRoSKJNIroE590FBxflg4OuGgRynZ3/WfMya4 R+1hqagwx9fvr5KskrsdBxFAH790JEUieAC/VKv2kfiQHwSS8/LLHRP2h7RuCg== 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 EF9D889AB for ; Thu, 26 Sep 2024 09:26:29 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stish-00063p-Cp; Thu, 26 Sep 2024 03:25:43 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1stisf-00062Q-2p for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:41 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1stisb-0003Wl-HM for guix-patches@gnu.org; Thu, 26 Sep 2024 03:25:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=ePgtgqVvElWoLKRyoVUgXrsVTm6WQFRd8+TG9domPEo=; b=rwcg4zJfYWyjXo+pwM6f3bqy7YlfaXEJ91KMy/Gn9T3GekqDuyVCe3ly0sYVa3DJ32YAN9/UkbD23Rj7lmtAr/GaPQRK5pkXjCjtjVNSLnEpllP8xiWN8vNThp4pU+J7u5wiKPBUpVdMMEV7sX6KMo6whOvzhXUrI+wyBacUq5y3lJxO8/hwirAGJsH+nqlOCAaPwJAd0iqFRgQhJH4KG7oOTLDx8pC6mqqdH8cYVoEkiEm/cWZ3dw5/OXBGWmmK2NQRnaCoED03Jt0jY/fzWQggPYxbBndrmAezIpPlWF+u+d7b0bpheWU1o7ag9R28XyWrk7b5D8Ma7jkBtGnAGA==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stit2-0000ns-9F; Thu, 26 Sep 2024 03:26:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH v2 06/15] gnu: Add ocaml-catapult. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 26 Sep 2024 07:26:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.17273355212424 (code B ref 73466); Thu, 26 Sep 2024 07:26:04 +0000 Received: (at 73466) by debbugs.gnu.org; 26 Sep 2024 07:25:21 +0000 Received: from localhost ([127.0.0.1]:49561 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stisK-0000cu-N7 for submit@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:21 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:36021 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stis9-0000aL-3J for 73466@debbugs.gnu.org; Thu, 26 Sep 2024 03:25:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727335470; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=ePgtgqVvElWoLKRyoVUgXrsVTm6WQFRd8+TG9domPEo=; b=KxXBVZ5HjoB9He1g5osPS4WYf72LoL62Ua4s9UXq8zx4tzKSGyE1qmy/ym9AQsfsw/mFDh 3kc8owP3NyMYG9Qr/vqIm7ldc6B1rbghSVylXqxmpnVqiW7IwwPpl4w3z2NpjwzI+dWHhA qXPfsi79ZtmPLCH+UaBHWXTsVvSKDMmoWZF37YehON8F5UQC5qbO55TxsXjqbF///GVxKe mA396JU1HlxWUoqoc6z4unZVAQsusPfEWMsFlMdeAvfc64RRuoEe7UzW6Qwz8GNSiqJxix eeMpPLaDDju+1+nGsljx5uQ6Jptn11RVX2P7X1Z2WpFvFy1hOL9XmcJFNKWTsA== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id c36c1c7d (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Thu, 26 Sep 2024 07:24:30 +0000 (UTC) Date: Thu, 26 Sep 2024 09:23:36 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches From: Herman Rimm via Guix-patches via Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -4.41 X-Spam-Score: -4.41 X-Migadu-Queue-Id: EF9D889AB X-Migadu-Scanner: mx10.migadu.com X-TUID: eSNQQyONReRb * gnu/packages/ocaml.scm (ocaml-catapult): Add variable. Change-Id: I066a6563772a7d7fe156ab036b04f5abb8d0d5b0 --- gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f0886ac762..3218dae5a9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -702,6 +702,29 @@ (define-public ocaml-extlib ;; With static-linking exception (license license:lgpl2.1+))) +(define-public ocaml-catapult + (package + (name "ocaml-catapult") + (version "0.2") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/AestheticIntegration/catapult") + (commit (string-append "v" version)))) + (sha256 + (base32 "1yy6rgnzqvms5lnlqzqsbbdnmil5p66rfif5229vamgdjbdf5r7q")))) + (build-system dune-build-system) + (native-inputs + (list ocaml-directories ocaml-logs ocaml-sqlite3 ocaml-zmq)) + (propagated-inputs (list ocaml-odoc)) + (home-page "https://github.com/AestheticIntegration/catapult") + (synopsis "Tracing system based on Catapult/TEF format") + (description + "This package provides a tracing system based on the Catapult/TEF +format.") + (license license:expat))) + (define-public ocaml-cudf (package (name "ocaml-cudf") -- 2.45.2