diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-04-03 11:20:10 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-03 11:20:10 +0100 |
| commit | 7837a76c344b64e925519dd5e26233bb3b648beb (patch) | |
| tree | 6851e50315ad02bb7a8a172f318905eca39313ec /sci-mathematics/why3-for-spark | |
| parent | 155cc74ccaea367efa88c8acfadcf25cb7dfe89c (diff) | |
gentoo auto-resync : 03:04:2023 - 11:20:10
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index f0ae4746f931..47c819613140 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1,7 +1,7 @@ AUX why3-for-spark-2020-bibtex.patch 288 BLAKE2B 50459e0dfe6ef3d5b455993e9e7fbc3c8093d40a83dc2c0b8660c1d69d7d45cfc3fc657cb06dd3794741e7c3d923b46c0a0b7330c656be908aac72f921e7885d SHA512 0ce636357b9c3c31762bdfcb7487f812a6cfcb49c4c412236b7a6b1ec69f4c74f1b29ac80f4e441d872fe251ab050bc1b186acf514473c52e3680f2d274f4f9b AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d243961cbc7218e05f3717a95388da0613e3f162a39cb4dac816035d6381ac69f189e352f2d83530b70b46b2439f7b92c3 SHA512 766de53c5cdede4bfdbac671851ec7de5060712622d4c89ce9117ef31596c2e4bd938bd2fe50d6a969f93ae252c40c83c2f782ad710fd52ab652434765483f90 AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb -AUX why3-for-spark-2021-make.patch 362 BLAKE2B 40ce982fe3d028650d964ff6c265bcf9ebb58c2b4c6418650089f688e63d1af7485caf537605057eb409eae93c1ffcc6f206e5235e853490b1611f6f2815edf2 SHA512 62e4649d39a289e4095cc6ef8ab6bb4b5583f416412c5a12c5c78c8f04b28e928940d3690affb23bf4f64559baa1c164e09acd559b62eae9cafbaef014ed1366 +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 2984 BLAKE2B c1532cab3deaba93a489758989a03e3eb79e9c10296779e0eaa32f2b0e81ad099a4be9370bc20b7b0834b2e7ee4e2a6c148594503d073357a5d1d1a2518a0de1 SHA512 983b92e67d9110fa07a36fb6f6f0898fa19606ceb34caeb7a29dc7a3d496c130383da055368ce6c240413fb89a9412974ab98f0498cd6eb25b9ab397d8bd2557 MISC metadata.xml 1486 BLAKE2B 3f8757b80b9b1b031fdfee11a4d1fb8aa6bf52b496e7fe2f26b3159313aa6df3998717b9b7d69a3e8c1206425986d3f8faa4d73b7ca1e216b90521c6bbe10c68 SHA512 60dd1f95702d163ad46f636d4af302437cab29d29fb1466352ff2889841d378bb2c6d4670cd626dcf612f2a1196627f09282f29e63815a929411d5bbdc68593e diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch index 5eba27fd5d0e..fa23a1c32c5c 100644 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch @@ -4,7 +4,7 @@ # # #################################################################### -+.NOTPARALLEL: notparallel ++.NOTPARALLEL: + VERBOSEMAKE ?= @enable_verbose_make@ |