From: "Sam James" <sam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
Date: Wed, 9 Feb 2022 01:38:19 +0000 (UTC) [thread overview]
Message-ID: <1644370663.2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370.sam@gentoo> (raw)
commit: 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 9 01:37:43 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 9 01:37:43 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ee65e4c
sci-mathematics/cvc4: revbump for CMake config file fix
This file is installed and embeds the libdir path which will affect
consumers trying to build against/detect cvc4.
See: 03321382501b45387f99917ba5acf9aa627805bd
Closes: https://bugs.gentoo.org/820515
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8.ebuild => cvc4-1.8-r1.ebuild} | 0
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
similarity index 100%
rename from sci-mathematics/cvc4/cvc4-1.8.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
next reply other threads:[~2022-02-09 1:38 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-09 1:38 Sam James [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-10-17 15:32 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/ Arthur Zamarin
2024-09-22 8:19 Alfredo Tupone
2024-01-19 21:32 Alfredo Tupone
2023-02-22 11:25 Alfredo Tupone
2022-12-05 13:32 Alfredo Tupone
2022-10-15 15:01 Sam James
2022-08-26 10:46 Sam James
2022-02-17 14:10 Alfredo Tupone
2022-02-08 8:56 Alfredo Tupone
2022-02-08 7:44 Alfredo Tupone
2022-02-05 11:22 Alfredo Tupone
2021-04-05 16:53 Andreas Sturmlechner
2021-01-20 7:32 Alfredo Tupone
2019-07-25 6:13 Alfredo Tupone
2019-07-23 13:20 Alfredo Tupone
2018-07-18 6:29 Alfredo Tupone
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=1644370663.2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370.sam@gentoo \
--to=sam@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