diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-28 22:05:06 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-28 22:05:06 +0000 |
| commit | 5df0c8ba4bb09f65c6cfb7d67dead00d6b2a1bf9 (patch) | |
| tree | ad139c5164214ddcb3471af11b3bbba70e031e24 /dev-lang/boogie | |
| parent | 158e7d0067767d034ef3a86a07afbf5bb9bf579f (diff) | |
gentoo auto-resync : 28:02:2023 - 22:05:06
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/metadata.xml | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index e102931fe98c..fd3274b52c1e 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -5,4 +5,4 @@ DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B e42615f1a0963aa68cc898945aafa6b518acc2 EBUILD boogie-2.15.8-r4.ebuild 2162 BLAKE2B 47c62cb3cb42c1d3fc54d9862cf59d5e745592c97eda31ca7d7f7c431838b50ddd34aa7ab569db1d811a4bef0b87b2cc03f44e94f2672adf299cb4b94ae06c83 SHA512 9c02b41e1e1b9465866d0ae450ae577e1e6b45d4aae2525e41fa047fc223caee112203bbe0851b5c74016114c5f9976c1b4c3c488408dda760ebe994a7cc9b77 EBUILD boogie-2.15.9.ebuild 2191 BLAKE2B 7167928f0a65d0239cd95cc0f3b3957dd52c4ef3a63597474f1bdc9a09d743376689db39d3ee581d99858fef39aa860c70b74d7a945a2e4f6531a726252f2b31 SHA512 8f6db106f5af25fedd460dd939cd9053870874338e796ccebb9bfb057782d1e7dab605748da1f858a30322c1ea9946aaa02d67e9c34fb430997083b926b7ec13 EBUILD boogie-2.16.0.ebuild 2191 BLAKE2B 7167928f0a65d0239cd95cc0f3b3957dd52c4ef3a63597474f1bdc9a09d743376689db39d3ee581d99858fef39aa860c70b74d7a945a2e4f6531a726252f2b31 SHA512 8f6db106f5af25fedd460dd939cd9053870874338e796ccebb9bfb057782d1e7dab605748da1f858a30322c1ea9946aaa02d67e9c34fb430997083b926b7ec13 -MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face +MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d 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 |