From: "Arthur Zamarin" <arthurzam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/
Date: Thu, 11 Apr 2024 04:55:42 +0000 (UTC) [thread overview]
Message-ID: <1712811337.fe6b063922255df3e7481623f63845460586e74c.arthurzam@gentoo> (raw)
commit: fe6b063922255df3e7481623f63845460586e74c
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 11 04:55:37 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Apr 11 04:55:37 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe6b0639
dev-lang/boogie: Stabilize 3.1.2 amd64, #929111
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/boogie/boogie-3.1.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.2.ebuild
index 1e5de6f37894..7a1a6ee296b5 100644
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ b/dev-lang/boogie/boogie-3.1.2.ebuild
@@ -210,7 +210,7 @@ else
SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64"
+ KEYWORDS="amd64"
fi
SRC_URI+=" ${NUGET_URIS} "
next reply other threads:[~2024-04-11 4:55 UTC|newest]
Thread overview: 77+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-04-11 4:55 Arthur Zamarin [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-10-25 18:52 [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/ Maciej Barć
2024-10-25 18:52 Maciej Barć
2024-10-23 17:03 Sam James
2024-10-23 15:44 Maciej Barć
2024-10-23 15:44 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-13 19:23 Maciej Barć
2024-10-08 23:07 Maciej Barć
2024-10-08 23:07 Maciej Barć
2024-09-27 5:30 Arthur Zamarin
2024-09-12 12:08 Maciej Barć
2024-09-12 12:08 Maciej Barć
2024-09-12 12:08 Maciej Barć
2024-09-03 18:32 Jakov Smolić
2024-08-24 13:12 Michał Górny
2024-08-16 16:21 Maciej Barć
2024-08-16 16:21 Maciej Barć
2024-08-10 18:55 Arthur Zamarin
2024-07-31 0:03 Maciej Barć
2024-07-19 11:02 Maciej Barć
2024-07-04 12:44 Maciej Barć
2024-06-27 22:42 Maciej Barć
2024-06-25 22:03 Sam James
2024-05-23 22:08 Maciej Barć
2024-05-23 22:08 Maciej Barć
2024-05-23 22:08 Maciej Barć
2024-05-18 3:19 Sam James
2024-04-24 17:10 Maciej Barć
2024-04-24 17:10 Maciej Barć
2024-04-17 23:11 Sam James
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-03-13 16:40 Maciej Barć
2024-03-10 0:29 Maciej Barć
2024-03-08 22:18 Maciej Barć
2024-03-08 22:18 Maciej Barć
2024-03-08 13:09 Arthur Zamarin
2024-03-05 18:46 Maciej Barć
2024-03-05 18:46 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-02-27 23:57 Sam James
2024-02-19 20:54 Maciej Barć
2024-02-10 16:24 Maciej Barć
2024-02-03 8:22 Arthur Zamarin
2024-02-02 23:06 Maciej Barć
2024-02-02 23:06 Maciej Barć
2024-01-27 20:06 Ionen Wolkens
2024-01-22 22:19 Maciej Barć
2024-01-12 23:22 Maciej Barć
2023-12-27 23:44 Maciej Barć
2023-12-27 23:44 Maciej Barć
2023-12-08 8:31 Maciej Barć
2023-12-08 8:31 Maciej Barć
2023-11-29 19:31 Maciej Barć
2023-11-21 18:37 Maciej Barć
2023-11-16 23:38 Maciej Barć
2023-11-16 23:38 Maciej Barć
2023-11-13 22:04 Sam James
2023-10-11 0:19 Maciej Barć
2023-10-07 22:39 Maciej Barć
2023-09-17 22:37 Maciej Barć
2023-09-16 14:48 Maciej Barć
2023-09-15 20:49 Maciej Barć
2023-06-19 18:29 Maciej Barć
2023-06-19 18:29 Maciej Barć
2023-02-28 18:03 Maciej Barć
2022-11-28 20:33 Maciej Barć
2022-11-18 0:53 Maciej Barć
2022-10-06 20:56 Maciej Barć
2022-10-06 14:27 Maciej Barć
2022-10-04 15:24 Maciej Barć
2022-10-04 1:50 Maciej Barć
2022-10-03 21:38 Maciej Barć
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=1712811337.fe6b063922255df3e7481623f63845460586e74c.arthurzam@gentoo \
--to=arthurzam@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