From: "Viorel Munteanu" <ceamac@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/proj/guru:master commit in: sci-mathematics/frama-c/
Date: Sun, 9 Apr 2023 10:05:18 +0000 (UTC) [thread overview]
Message-ID: <1680997879.d41b48be876719c39c30f3d52c41550f1f3f45ba.ceamac@gentoo> (raw)
commit: d41b48be876719c39c30f3d52c41550f1f3f45ba
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Sat Apr 8 23:44:30 2023 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> 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 <fx.carton91 <AT> 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"
next reply other threads:[~2023-04-09 10:05 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-04-09 10:05 Viorel Munteanu [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-09-08 10:24 [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c/ Andrew Ammerlaan
2022-09-08 10:24 ` [gentoo-commits] repo/proj/guru:master " Andrew Ammerlaan
2022-05-25 8:15 Andrew Ammerlaan
2021-12-15 11:17 Andrew Ammerlaan
2021-12-15 10:42 [gentoo-commits] repo/proj/guru:dev " Andrew Ammerlaan
2021-12-15 10:43 ` [gentoo-commits] repo/proj/guru:master " Andrew Ammerlaan
2021-04-19 8:04 Andrew Ammerlaan
2021-03-31 10:23 Andrew Ammerlaan
2021-03-28 11:43 Andrew Ammerlaan
2021-01-10 11:31 Andrew Ammerlaan
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1680997879.d41b48be876719c39c30f3d52c41550f1f3f45ba.ceamac@gentoo \
--to=ceamac@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox