From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id E0A8C158083 for ; Mon, 9 Sep 2024 09:31:57 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0C70DE29E6; Mon, 9 Sep 2024 09:31:57 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id DBCB3E29E6 for ; Mon, 9 Sep 2024 09:31:56 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id C711E342FA6 for ; Mon, 9 Sep 2024 09:31:55 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 2A6931F24 for ; Mon, 9 Sep 2024 09:31:54 +0000 (UTC) From: "David Roman" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "David Roman" Message-ID: <1725874305.dcb8204da08ce11178ecb9e0a87f682699054230.davidroman@gentoo> Subject: [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/dune-rpc/ X-VCS-Repository: repo/proj/guru X-VCS-Files: dev-ml/dune-rpc/Manifest dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild X-VCS-Directories: dev-ml/dune-rpc/ X-VCS-Committer: davidroman X-VCS-Committer-Name: David Roman X-VCS-Revision: dcb8204da08ce11178ecb9e0a87f682699054230 X-VCS-Branch: dev Date: Mon, 9 Sep 2024 09:31:54 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 2d63d72e-dc58-45cb-b649-4f6ef7ad1d81 X-Archives-Hash: a734a5f733acf2a7789a16bf1840e57f commit: dcb8204da08ce11178ecb9e0a87f682699054230 Author: David Roman gmail com> AuthorDate: Mon Sep 9 09:31:45 2024 +0000 Commit: David Roman gmail com> CommitDate: Mon Sep 9 09:31:45 2024 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=dcb8204d dev-ml/dune-rpc: drop 3.13.1 Signed-off-by: David Roman gmail.com> dev-ml/dune-rpc/Manifest | 1 - dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild | 47 ---------------------------------- 2 files changed, 48 deletions(-) diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest index 47d729888..923f5561f 100644 --- a/dev-ml/dune-rpc/Manifest +++ b/dev-ml/dune-rpc/Manifest @@ -1,2 +1 @@ -DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 DIST dune-rpc-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild deleted file mode 100644 index a327c9fc0..000000000 --- a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Communicate with dune using rpc" -HOMEPAGE=" - https://opam.ocaml.org/packages/dune-rpc/ - https://github.com/ocaml/dune/ -" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz" - -S="${WORKDIR}/dune-${PV}" - -LICENSE="MIT" - -SLOT="0/${PV}" - -KEYWORDS="~amd64" -IUSE="ocamlopt" - -RESTRICT="test" - -RDEPEND=" - dev-ml/csexp:= - dev-ml/xdg:= - ~dev-ml/dune-private-libs-${PV}:= - >=dev-ml/pp-1.1.0:= -" - -DEPEND=" - ${RDEPEND} -" - -src_configure() { - : -} - -src_compile() { - dune-compile dune-rpc -} - -src_install() { - dune-install dune-rpc -} From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 990CE158083 for ; Mon, 9 Sep 2024 09:39:51 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 965E8E29E9; Mon, 9 Sep 2024 09:39:50 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 7C51EE29EA for ; Mon, 9 Sep 2024 09:39:50 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id AD0C6343082 for ; Mon, 9 Sep 2024 09:39:49 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 472D11F3F for ; Mon, 9 Sep 2024 09:39:48 +0000 (UTC) From: "David Roman" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "David Roman" Message-ID: <1725874305.dcb8204da08ce11178ecb9e0a87f682699054230.davidroman@gentoo> Subject: [gentoo-commits] repo/proj/guru:master commit in: dev-ml/dune-rpc/ X-VCS-Repository: repo/proj/guru X-VCS-Files: dev-ml/dune-rpc/Manifest dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild X-VCS-Directories: dev-ml/dune-rpc/ X-VCS-Committer: davidroman X-VCS-Committer-Name: David Roman X-VCS-Revision: dcb8204da08ce11178ecb9e0a87f682699054230 X-VCS-Branch: master Date: Mon, 9 Sep 2024 09:39:48 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 22775278-e335-471f-9287-3046aec4e81e X-Archives-Hash: e453c2f5751940aeddbbce1acb062e1a Message-ID: <20240909093948.Ey4xWQRSySmUQOFNg2lbEPJD2cwCozjlhlzdlcdRom8@z> commit: dcb8204da08ce11178ecb9e0a87f682699054230 Author: David Roman gmail com> AuthorDate: Mon Sep 9 09:31:45 2024 +0000 Commit: David Roman gmail com> CommitDate: Mon Sep 9 09:31:45 2024 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=dcb8204d dev-ml/dune-rpc: drop 3.13.1 Signed-off-by: David Roman gmail.com> dev-ml/dune-rpc/Manifest | 1 - dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild | 47 ---------------------------------- 2 files changed, 48 deletions(-) diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest index 47d729888..923f5561f 100644 --- a/dev-ml/dune-rpc/Manifest +++ b/dev-ml/dune-rpc/Manifest @@ -1,2 +1 @@ -DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5 DIST dune-rpc-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23 diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild deleted file mode 100644 index a327c9fc0..000000000 --- a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune - -DESCRIPTION="Communicate with dune using rpc" -HOMEPAGE=" - https://opam.ocaml.org/packages/dune-rpc/ - https://github.com/ocaml/dune/ -" -SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz" - -S="${WORKDIR}/dune-${PV}" - -LICENSE="MIT" - -SLOT="0/${PV}" - -KEYWORDS="~amd64" -IUSE="ocamlopt" - -RESTRICT="test" - -RDEPEND=" - dev-ml/csexp:= - dev-ml/xdg:= - ~dev-ml/dune-private-libs-${PV}:= - >=dev-ml/pp-1.1.0:= -" - -DEPEND=" - ${RDEPEND} -" - -src_configure() { - : -} - -src_compile() { - dune-compile dune-rpc -} - -src_install() { - dune-install dune-rpc -}