diff options
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/why3-for-spark-2021-r1.ebuild | 16 |
2 files changed, 4 insertions, 14 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index 4619b2aa4078..a512e96628b0 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -9,5 +9,5 @@ DIST why3-2019-20190517-197BB-src.tar.gz 9439414 BLAKE2B 68072064e8ee9152528c90a DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db EBUILD why3-for-spark-2019-r2.ebuild 3010 BLAKE2B d843d70e1b9145175b11edd461a6237af4215b6c7a31235fbab73e75c79668dd570857dc62db737e2e262fd59a10158c7857c0e1d47a2d36fac45a9f3cecb9ce SHA512 ea7791bf0ae35b66a13c4d8ee606fccc05e919beb892ddc2b6a53cef29df400b2e0b53b1e9b7c6a6f4144fb98bf44f467878f9e2bb94352734ad11595748b3be EBUILD why3-for-spark-2020.ebuild 2929 BLAKE2B 08af878a591cd6445a5f7dba13d9162a2f8ed192fa335a10391124207b354493fa3366618e3590b6cc8425b931610f779db66eb3c95965eb134864a62bac8bf7 SHA512 e08745656eff3612e5510c378efd4ef9630e753f366d03e89a9035cacbb0e24abe3d7f6618b08d641e1139d4612b71267cc2a73b10d738f58a78aa9fdc0d9215 -EBUILD why3-for-spark-2021-r1.ebuild 3357 BLAKE2B c4dceedd311dfeb272c3367ee4ab734a12657d87212d923d65bc06958b828350d6a54fef0f4035bbc4ed6a254ca0328b157192348fe6ed47d686060bb84df05e SHA512 500901a1715f64469776c953792f6b32ba3fdfe4edb20e1d5aa9fc41ba79e736eba3652ed6b2f47884ed29fb9eff42694778ff7da0c3ba89bb411bc5a6194795 +EBUILD why3-for-spark-2021-r1.ebuild 2940 BLAKE2B 5b5ffeae7fcaf34302d4bb5b0b2c20e321e94e410e3bbf3d896828eda2c1026411d0da12be1d6ed1dbce6e5ddb775a5e5baac8f1da3496b48ec4208cbc9b3410 SHA512 dadd7cfbc2ad89d173f5934c4a7edb16059c7106d40654ed117d64cb5d3e338faa0b64a4a367de2b5e9f61ef5c64919943bea1e651d2de6900ccd28bdc0d9cfb 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 986e7bf497fd..fd2397eb1b04 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 @@ -56,19 +56,9 @@ PATCHES=( ) QA_FLAGS_IGNORED=( - /usr/lib64/why3/commands/why3shell.cmxs - /usr/lib64/why3/commands/why3extract.cmxs - /usr/lib64/why3/commands/why3execute.cmxs - /usr/lib64/why3/commands/why3prove.cmxs - /usr/lib64/why3/commands/why3wc.cmxs - /usr/lib64/why3/commands/why3doc.cmxs - /usr/lib64/why3/commands/why3replay.cmxs - /usr/lib64/why3/commands/why3webserver.cmxs - /usr/lib64/why3/commands/why3pp.cmxs - /usr/lib64/why3/commands/why3show.cmxs - /usr/lib64/why3/plugins/'.*'.cmxs - /usr/lib64/ocaml/why3/why3.cmxs - /usr/lib64/ocaml/why3/why3extract.cmxs + '/usr/lib.*/why3/commands/.*cmxs' + '/usr/lib.*/why3/plugins/.*cmxs' + '/usr/lib.*/ocaml/why3/.*cmxs' /usr/bin/why3 /usr/bin/why3config.cmxs /usr/bin/why3session.cmxs |