diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
| commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
| tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /sci-mathematics/why3 | |
| parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) | |
gentoo resync : 02.02.2022
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/metadata.xml | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index fa40a5a4e727..5575e8ac9d5c 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1,3 +1,3 @@ DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a EBUILD why3-1.4.0-r2.ebuild 2170 BLAKE2B 4a69d3d119d8ac3dd1d33a820717b1f59d88eb888f168ab5c019e23457de62d81ee07bf7d64ad48a63ab90fe864084588a54d4e7b8163e86cff5f2dbd8185a4e SHA512 99073cf81b27903bd21c0c7d7ce898a449191aeb6e23e3ac81e58cebf6704a2a829d03c847c810093f8ee835f677bae1f64c8b20ffc9f37f74e04ee11e771a5e -MISC metadata.xml 1680 BLAKE2B 4443de2368a7003db59e341bc671c8aa4c664be935b65df1fd1af161900a977194e012ef3b486f877a77f6b32405d700ee814d7cdeb10703b2462f7337965fb5 SHA512 7cc8dbe476d891d1311cec6ea15b1c6e6391c32bdbe715fe1fb7d2549763384c148e0509fb2b7c68b98b70eec1feeb4d94271378a343d50ef58cb5bb8a07a109 +MISC metadata.xml 1817 BLAKE2B 671ffd58aff152784984d09096259164d691bebbdb057822a8f26c43613b1a057dceb1f6f3ecb7ed4db314630cee206a80c6c819711f6177c343f74c8f9c1267 SHA512 d2c22dec72fadca68284bd2c44b4c39b3a3d41476ab311be7abc50ca9e10d99840eb28aac504a627828fb2a98141acaacbf09d437bc6d8b90f4cb668b6565202 diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 6c2999e4f4d7..9974e9e2b8a1 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person" proxied="yes"> @@ -10,6 +10,10 @@ <email>ml@gentoo.org</email> <name>ML</name> </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> <longdescription> Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, |