diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-11-29 02:06:03 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-11-29 02:06:03 +0000 |
| commit | 2a3c08f4647671d17f534a5dbd8bd45e11c90ea2 (patch) | |
| tree | 67ecd2d13b251a03c4834bdec638d301818901eb /sci-mathematics | |
| parent | a2148b9fab4c83209816a49f091d70873b19881d (diff) | |
gentoo auto-resync : 29:11:2024 - 02:06:03
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19665 -> 19662 bytes | |||
| -rw-r--r-- | sci-mathematics/why3-for-spark/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 6 |
3 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 9311fda3a4c5..fcf82365d6dd 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index a06045ad258d..5761b4911436 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -3,5 +3,5 @@ AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb AUX why3-for-spark-2021-make.patch 350 BLAKE2B 970a7ba442a22d96e5807aacd07997587c20a53660045392229e2069801ae4b8f92c5385fa732341acb2498dbcf515d51aa5f2e96d6375006dfedc7ee2eea53f SHA512 b729369bb74e3a8546b449f186cac490d83e764a4fe801de9dd9cb134a8e21dcd9b45af6c63733d953b3072e4363e95599d0cd8e6dfdb936648c3acb9918828e DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db -EBUILD why3-for-spark-2021-r1.ebuild 3070 BLAKE2B 26cf61730303d0283c86642d1e918f66cc52092b73ed8a1a1103404fdafaa404ea6c316e32f82cdf6575a73652af2b644736ec386ad30d0e4d7311d05053f150 SHA512 59b9d95ff1133677c9e932d2b9ecd8cf0bde49bdeb6cf36dc202576c9244fbffa4449a5fdf30bfc1b97244a7a8898f1df37852340420f8ad15535e7ae12cec2b +EBUILD why3-for-spark-2021-r1.ebuild 3070 BLAKE2B ba0121f103bd21f08d23a39ceb8cee2a065fd5c7e9d05127914e76c1e93a9c8f57ecbd3e32359ac2ac7d79df5100bcf176578559e02a2d56b27dbc56fe09904f SHA512 924629eef9390e20c8a9a55bb678405e8d4d9e9322bf89eb8d47baa8d9b2ce30e0d383870a49616121d3b297974783c9c4672b9949cbad8a5426e850dbb635fd MISC metadata.xml 1486 BLAKE2B 3f8757b80b9b1b031fdfee11a4d1fb8aa6bf52b496e7fe2f26b3159313aa6df3998717b9b7d69a3e8c1206425986d3f8faa4d73b7ca1e216b90521c6bbe10c68 SHA512 60dd1f95702d163ad46f636d4af302437cab29d29fb1466352ff2889841d378bb2c6d4670cd626dcf612f2a1196627f09282f29e63815a929411d5bbdc68593e diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 84d6fc56c009..7a9e671ad83f 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.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=7 @@ -13,6 +13,8 @@ DESCRIPTION="Platform for deductive program verification" HOMEPAGE="https://why3.lri.fr/" SRC_URI="${ADAMIRROR}/${ID}?filename=${MYP}.tar.gz -> ${MYP}.tar.gz" +S="${WORKDIR}"/${MYP} + LICENSE="GPL-3" SLOT="0" KEYWORDS="amd64" @@ -47,8 +49,6 @@ BDEPEND=" ) " -S="${WORKDIR}"/${MYP} - PATCHES=( "${FILESDIR}"/${PN}-2020-gentoo.patch "${FILESDIR}"/${P}-flags.patch |