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/dafny-bin | |
| parent | 158e7d0067767d034ef3a86a07afbf5bb9bf579f (diff) | |
gentoo auto-resync : 28:02:2023 - 22:05:06
Diffstat (limited to 'dev-lang/dafny-bin')
| -rw-r--r-- | dev-lang/dafny-bin/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/metadata.xml | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest index 356662dbbebf..ed99e326d711 100644 --- a/dev-lang/dafny-bin/Manifest +++ b/dev-lang/dafny-bin/Manifest @@ -4,4 +4,4 @@ DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be EBUILD dafny-bin-3.10.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1 EBUILD dafny-bin-3.11.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86 EBUILD dafny-bin-3.12.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86 -MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb +MISC metadata.xml 1826 BLAKE2B 66f000cee8fbf3bcae05da9249d5bc3388f9c05f32c45e96dd51b035aea220a9d49af25cb89b8b8a64a691408373c1ea02d0f345f9a4a554565f708a894664d5 SHA512 0cc12d9c49360bbc08bb8eccd3f7139ec149a9b731f0283b0f95a8506dd93458eb93f3347a978e55a86279ad85ee3233c1b87bfee36f22c9e40bdd14c0aef6c5 diff --git a/dev-lang/dafny-bin/metadata.xml b/dev-lang/dafny-bin/metadata.xml index f0b8fd07b684..9533d79f1088 100644 --- a/dev-lang/dafny-bin/metadata.xml +++ b/dev-lang/dafny-bin/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> Dafny is a verification-ready programming language. As you type in your |