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-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
AUX why3-for-spark-2023.12.13-yojson3.patch 449 BLAKE2B 179debfec5d33f9b52882d5650bd7b94f50710f4a56bef4a4b75bf2e76e8d365c0fa1e36c0ad7a5d86fc9c8971a75bcdf2ad0000e60f1ff9275397143e86052a SHA512 75fd0f3550c080f28a3252b79d1db720bf5c51d224c307fcf01ec05b117da8abea86bbd726e96c671103d83975bcfe56182a07fd3eda455845f4d9ebd8939621
DIST why3-for-spark-2023.12.13.tar.gz 7119379 BLAKE2B 4fd78efaabc2ca40853a905b1581ed976660f5b1b01ab9490c422022284132d8306289aad3eb2111d85d5cde5b50242b5d94d313e8d78a7443b7fcc4298fd11b SHA512 88220595eae9c5cf4125c0dc9d5176e637a1f1e355f61f51176bdb7643a000c837e501101e45c2b50ae3f41f81436e1133be241fd5fb0b6816823b2106113ae7
EBUILD why3-for-spark-2023.12.13-r2.ebuild 3508 BLAKE2B 972c9507bba7a89ec6b0d933f8288af1a0254f35126a7ceb50905ff9c17a993886565b446cb978fb577fd60993e83085986ad97c29610c09433d6cf1487a8edc SHA512 81c4d279742654fde183015dce4cfcdf8d01d76f73e668641468c58b94855720b018e30db612e223ea802cd623ea58c07cc77617da9686722cadb8837288b940
MISC metadata.xml 1531 BLAKE2B ee6f8ad1c15585f0a2eac5c8828626750b90c31e06923666a77202ab409fe4921777d972c235dceb5cf744368fb9a2458157150496572c6b50356598c688a986 SHA512 e7c64ab18914714eed012ad53e8682227e42afa61534e3642216da199d4da85834a1616d2a47d532236453729c9dfe7cb10c79f7ca329d42114284d82f17c453