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 350 BLAKE2B 970a7ba442a22d96e5807aacd07997587c20a53660045392229e2069801ae4b8f92c5385fa732341acb2498dbcf515d51aa5f2e96d6375006dfedc7ee2eea53f SHA512 b729369bb74e3a8546b449f186cac490d83e764a4fe801de9dd9cb134a8e21dcd9b45af6c63733d953b3072e4363e95599d0cd8e6dfdb936648c3acb9918828e
AUX why3-for-spark-2021-sighandler.patch 408 BLAKE2B e02ab70cd383afa500c1d28c89105747c7e554bd8fc67c51d91d28d598350154e93553d4dc2bc5104508488824208c8b10dbc0ddeb6b30227e5c91b21d91634c SHA512 5b059db627e91b283fac8958e83dfe0262628d491142c1e0815c950f242a0add1c83478308d02ba77119361bfa74ecc18c240feb6eedafae66261c4efeb54d3a
AUX why3-for-spark-2023.12.13-flags.patch 863 BLAKE2B c6456f944667dc72eb87b2e76d3ac0537208bbbda6b9fa4584295380fab030a2b3751cf1cf490c88e78beb1547ac2daaec2e8246258a640d0d94d56ddeb9425b SHA512 f5db8c0c03eff52bfe9f675dc7e784d8dd86e37e070fa5756dbc7065b88577c7006d9d132fc4093b25abde692b114facf9445965b5485bea56c97290b5087af5
AUX why3-for-spark-2023.12.13-spark.patch 357 BLAKE2B 5382fc4b53392c237552110497d9a86f5f215f9b7b83ba8f1f0357fee9c8defdef73b6793efe4a82ebc3d57d00325d4db622f2ac7639f88e00b792e214b1a7c7 SHA512 910fbf286476510c3fcf1b4662694b67398ea35edd2e0c8f71a27f767a341ef472f9c74c754b185d59bbd11493f369dddc340ac80ba63f5734b9e6c84d1ca5f8
DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db
DIST why3-for-spark-2023.12.13.tar.gz 7119379 BLAKE2B 4fd78efaabc2ca40853a905b1581ed976660f5b1b01ab9490c422022284132d8306289aad3eb2111d85d5cde5b50242b5d94d313e8d78a7443b7fcc4298fd11b SHA512 88220595eae9c5cf4125c0dc9d5176e637a1f1e355f61f51176bdb7643a000c837e501101e45c2b50ae3f41f81436e1133be241fd5fb0b6816823b2106113ae7
EBUILD why3-for-spark-2021-r1.ebuild 3104 BLAKE2B fbb5350cff5fff2dcead304a416b48328e8e6a7a439b0634435d57748a7b1150ebad048f4f43479173d2abacf3220f1762f644c6f2edec7d3d273c35a36c714a SHA512 feaed23f2450908685f89d57b0c968131361d8ab17b2d8343c55f71a676f73ceb7a5fdf8c79693b88e7878f650fc56df6a16dc1b2a67c751c26a3cb1e317c03e
EBUILD why3-for-spark-2023.12.13-r2.ebuild 3476 BLAKE2B 3c06c0017bc62db526f4d27e10e2f9e7902985479b8ec853f033770118130ae12e051b24cb010bd7d4d5c454084c65c8218d81eb248f7f2bbcdbb76ff102abf6 SHA512 0e7e722f63c1f579f23bf1608553d0a6cfee14c80c41650950d02639c3139b6643299d9b07784210b96e710be8e242f814e81a50605fb5a6cd07cfa77abebee6
MISC metadata.xml 1531 BLAKE2B ee6f8ad1c15585f0a2eac5c8828626750b90c31e06923666a77202ab409fe4921777d972c235dceb5cf744368fb9a2458157150496572c6b50356598c688a986 SHA512 e7c64ab18914714eed012ad53e8682227e42afa61534e3642216da199d4da85834a1616d2a47d532236453729c9dfe7cb10c79f7ca329d42114284d82f17c453