diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-04-10 08:43:23 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-04-10 08:43:23 +0100 |
| commit | 3cd09a18bad26aad2645241b868755cfdf41b6ae (patch) | |
| tree | b7cf88e82bfe5ff802cf44d7eb7b58001a825067 /sci-mathematics | |
| parent | ce375651e01b2f8fe2470091862de020c1b4420a (diff) | |
gentoo auto-resync : 10:04:2025 - 08:43:23
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19696 -> 19692 bytes | |||
| -rw-r--r-- | sci-mathematics/why3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/why3-1.7.2.ebuild | 13 |
3 files changed, 13 insertions, 2 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex bbd34e94d1bf..46a56e5e587b 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index 2a6a677eb317..154c85d4d302 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -3,6 +3,6 @@ DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a557 DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f DIST why3-1.8.0.tar.gz 7373730 BLAKE2B c650d0578c6ae28f01872f01ba2c6e58ebf00c8fc87f4040f51430aad6b94b52f031b17d5b75178a6a6d5f254f3d42dbbdb031f676335a2d896021c0663192a9 SHA512 8d30ac4a1280a7d7741ef862365e06aa3218a78fd01ca7f969f0d6515245c7259fcc81897bfe08c581c6b37639d1465ab4a96657f3baf4c747988df8201d4549 EBUILD why3-1.6.0.ebuild 2349 BLAKE2B 946115ce4d70ed1505fb3072c7ad6e67c6c3ea0c97a03dd6141b069ef8b2502f43e44717ff9f3dbc5c4de367fb25d7dbd98369f8313ff75ba0471f35c320df04 SHA512 8a196dfa7a161c980e2023f1363d6ff91af3ca854e96539ca44d004efa2b5d813b480c79dd0d51e31796a0c0b6f886d094bd06751469dd8b236aad239ddaf1f7 -EBUILD why3-1.7.2.ebuild 2410 BLAKE2B 00e650a1716213d2be02c98e07157d44311996a6faf64c52193f7bbe1dcf16dde133a81468cc36e950a48c0891100096119960323b0045a79ae068599c6685b3 SHA512 aa928c405d247f6462b2e2571f5efe2e01993034d6515d6f0c4a3bb847fb352f319621ec1d31ffb3e6f8336cc32372cb6170e621bf9507e71866c5b1dddfd612 +EBUILD why3-1.7.2.ebuild 2651 BLAKE2B 164dbc129415f259d168a1a0257856120c788c80b248a991bd0768c78e75a64d549da241c5a3b9458b67e7d6a3876a132d78f85aba100a5aa6c2e401453f0c35 SHA512 ce26049a9db0010af072a5e36cc92c0f53fc61bc8bb83ef517c0b10a6b959c170d14acf351bda8efed94ca4ba660324367dc9856bab9a01da326e70c3efcd21b EBUILD why3-1.8.0.ebuild 2764 BLAKE2B 1380a104d899b427a4009cf4ac38bfe813c802a1dede77666efafe8021eb259d1ee49ef9a49da345e2dc912ce308fb467641c85018fe8c8396eeb5381519f13d SHA512 6452354cb1a3f30541e2e50fbec3f307985af70ecee63cea2ddac9c51ef6d760e294eea21b24336150cfc8aa0ebd76c8c4fcebf7c568422c90ff58bb35a11c8f MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9 diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild index 7e5ea53e4f28..aabe6abb7ced 100644 --- a/sci-mathematics/why3/why3-1.7.2.ebuild +++ b/sci-mathematics/why3/why3-1.7.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -60,6 +60,17 @@ src_prepare() { # remove QA warning about duplicated compressed file: rm examples/mlcfg/basic/why3shapes.gz || die + sed -i \ + -e 's: effect: effekt:g' \ + -e 's:(effect:(effekt:g' \ + -e 's:\.effect:\.effekt:g' \ + src/extract/mltree.ml \ + src/extract/mltree.mli \ + src/mlw/expr.ml \ + src/mlw/expr.mli \ + src/mlw/ity.ml \ + src/mlw/ity.mli \ + || die eautoreconf default } |