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 197DD15ACFE for ; Sun, 9 Apr 2023 10:05:29 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 402D0E0857; Sun, 9 Apr 2023 10:05:23 +0000 (UTC) Received: from smtp.gentoo.org (smtp.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 264AAE0858 for ; Sun, 9 Apr 2023 10:05:23 +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 6826F33BF41 for ; Sun, 9 Apr 2023 10:05:22 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id C00E6A49 for ; Sun, 9 Apr 2023 10:05:18 +0000 (UTC) From: "Viorel Munteanu" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Viorel Munteanu" Message-ID: <1680997879.d41b48be876719c39c30f3d52c41550f1f3f45ba.ceamac@gentoo> Subject: [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/ X-VCS-Repository: repo/proj/guru X-VCS-Files: sci-mathematics/frama-c/frama-c-25.0-r1.ebuild sci-mathematics/frama-c/frama-c-25.0-r2.ebuild X-VCS-Directories: sci-mathematics/frama-c/ X-VCS-Committer: ceamac X-VCS-Committer-Name: Viorel Munteanu X-VCS-Revision: d41b48be876719c39c30f3d52c41550f1f3f45ba X-VCS-Branch: master Date: Sun, 9 Apr 2023 10:05:18 +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: a3042c65-c201-4d86-9666-45cab8974c7c X-Archives-Hash: 9c25c3479db4c95914873da3a559e406 commit: d41b48be876719c39c30f3d52c41550f1f3f45ba Author: François-Xavier Carton gmail com> AuthorDate: Sat Apr 8 23:44:30 2023 +0000 Commit: Viorel Munteanu gentoo org> CommitDate: Sat Apr 8 23:51:19 2023 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d41b48be sci-mathematics/frama-c: force gtk3 Signed-off-by: François-Xavier Carton gmail.com> .../frama-c/{frama-c-25.0-r1.ebuild => frama-c-25.0-r2.ebuild} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild similarity index 90% rename from sci-mathematics/frama-c/frama-c-25.0-r1.ebuild rename to sci-mathematics/frama-c/frama-c-25.0-r2.ebuild index cb67c8563..5356f31fb 100644 --- a/sci-mathematics/frama-c/frama-c-25.0-r1.ebuild +++ b/sci-mathematics/frama-c/frama-c-25.0-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -18,12 +18,12 @@ RESTRICT="strip" RDEPEND=" >=dev-lang/ocaml-4.08.1[ocamlopt?] - >=dev-ml/ocamlgraph-1.8.8[ocamlopt?] + >=dev-ml/ocamlgraph-2.0.0[ocamlopt?] dev-ml/ppx_import[ocamlopt?] dev-ml/ppx_deriving[ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] - gtk? ( >=dev-ml/lablgtk-2.14:2=[sourceview,gnomecanvas,ocamlopt?] )" + gtk? ( dev-ml/lablgtk:3=[ocamlopt?,sourceview] )" DEPEND="${RDEPEND} media-gfx/graphviz"