diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-01-01 06:30:58 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-01-01 06:30:58 +0000 |
| commit | c4d4d544a37efc45bd5482e62e1fcdbe7d5993d3 (patch) | |
| tree | e97ec8b6356535412a838039bf7874aef3129f50 /sci-mathematics/why3 | |
| parent | 2e36bcecf24a3f583ae8f27b71ba13b3cfd39778 (diff) | |
gentoo auto-resync : 01:01:2025 - 06:30:57
Diffstat (limited to 'sci-mathematics/why3')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.6.0.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.7.2.ebuild | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index bbaca0e7ab6e..f2ec969686e3 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1,6 +1,6 @@ AUX why3-1.7.2-signum.patch 406 BLAKE2B ab81e95db7537a31fd75e3d0551ee57cf664aa6f41779c2d72100b39c88ca0f3a90fa517e07dd1f17c3f93fff134802cb1e3fa192e15b66b8163e840c1e75dd8 SHA512 3491b58cc54bfdd8601242b2f78d7a8afbed8097758610dd38815e8ed90cf462d02ded16905838a51275fd16ed634f89ba11e38a8d573c78ca01477fcfa35237 DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a55702bfb28c478754f53e831beb3033adde251214facd8d64ab923389b0b9fe7b240b6cd09f0b4b3e6f8eca143 SHA512 60d61b8337ab9f2fd2e6c7174eb0bab063f122417738cd75990c5c53120dd535bcedccb670567f5753853d6bc9f8efebb563d079e4d368372a7687193f1346b1 DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f -EBUILD why3-1.6.0.ebuild 2348 BLAKE2B 0b8f27f14bb7d2117a9f5f6451d12e57ae3123ac6f491c653fb762bdf2410b5af17f9f3d7c2655c56f6a2f3f198aad07411a7c07e4943e62e1673b66e4779e41 SHA512 7a4ff6be794f77a6a319ee5e39e0bb3c80c82777d45da510d54ab6ac1793c0d249ebf10516c4db4ad7bf27441a0ef37171c43c04295ae0bd757f34619ac6fd61 -EBUILD why3-1.7.2.ebuild 2409 BLAKE2B c26ca5d897b83c8b9a7c48216b5f3753b246cf9f3d1f1532d7f0fbe02e327a6df21634866db07483e3e1b7f7493163b2dcf632b29ecfabf1d9e672d30ce1c8a9 SHA512 f02f1161252451824854c61615e049a90761321f433727bf25590f3777351bff991732ef761d8f11951fb0d54afe8ccc50bfef60ff2bf1611f6437e050451d56 +EBUILD why3-1.6.0.ebuild 2349 BLAKE2B 946115ce4d70ed1505fb3072c7ad6e67c6c3ea0c97a03dd6141b069ef8b2502f43e44717ff9f3dbc5c4de367fb25d7dbd98369f8313ff75ba0471f35c320df04 SHA512 8a196dfa7a161c980e2023f1363d6ff91af3ca854e96539ca44d004efa2b5d813b480c79dd0d51e31796a0c0b6f886d094bd06751469dd8b236aad239ddaf1f7 +EBUILD why3-1.7.2.ebuild 2410 BLAKE2B 00e650a1716213d2be02c98e07157d44311996a6faf64c52193f7bbe1dcf16dde133a81468cc36e950a48c0891100096119960323b0045a79ae068599c6685b3 SHA512 aa928c405d247f6462b2e2571f5efe2e01993034d6515d6f0c4a3bb847fb352f319621ec1d31ffb3e6f8336cc32372cb6170e621bf9507e71866c5b1dddfd612 MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9 diff --git a/sci-mathematics/why3/why3-1.6.0.ebuild b/sci-mathematics/why3/why3-1.6.0.ebuild index 1c3b6b458cc9..27569d1c9825 100644 --- a/sci-mathematics/why3/why3-1.6.0.ebuild +++ b/sci-mathematics/why3/why3-1.6.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -6,7 +6,7 @@ EAPI=8 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="https://why3.lri.fr/" +HOMEPAGE="https://www.why3.org/" SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" LICENSE="LGPL-2" diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 888c5c48f865..7e5ea53e4f28 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -6,7 +6,7 @@ EAPI=8 inherit autotools findlib DESCRIPTION="Platform for deductive program verification" -HOMEPAGE="https://why3.lri.fr/" +HOMEPAGE="https://www.why3.org/" SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" LICENSE="LGPL-2" |