* [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/
@ 2023-02-28 18:03 99% Maciej Barć
0 siblings, 0 replies; 1+ results
From: Maciej Barć @ 2023-02-28 18:03 UTC (permalink / raw
To: gentoo-commits
commit: 98b9be6e34b049ff20c82c5ff09709d75183a818
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 28 17:07:04 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb 28 18:03:17 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=98b9be6e
dev-lang/boogie: switch maint to dotnet <AT> gentoo.org
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/boogie/metadata.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-lang/boogie/metadata.xml b/dev-lang/boogie/metadata.xml
index e0e4670c63ec..c2b44bcc70fc 100644
--- a/dev-lang/boogie/metadata.xml
+++ b/dev-lang/boogie/metadata.xml
@@ -2,9 +2,9 @@
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>xgqt@gentoo.org</email>
- <name>Maciej Barć</name>
+ <maintainer type="project">
+ <email>dotnet@gentoo.org</email>
+ <name>Gentoo Dotnet Project</name>
</maintainer>
<longdescription>
Boogie is an intermediate verification language (IVL), intended as a layer
^ permalink raw reply related [relevance 99%]
Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2023-02-28 18:03 99% [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/ Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox