schema_version = 2 hekate_version = "0.12.0" released = "2026-09-10" [publisher] ed25519_pubkey_pem = """ -----BEGIN PUBLIC KEY----- MCowBQYDK2VwAyEAeQrxjrQcMX8GQJORf6XoTWG6NLQD8rdbJFhWEV4cv1k= -----END PUBLIC KEY----- """ mldsa65_pubkey_pem = """ -----BEGIN PUBLIC KEY----- MIIHsjALBglghkgBZQMEAxIDggehAHdn8XR/8FddmsJQi1tm1ZF0jLyJczfc0oy7 hYCGALXKtgBWaH42WulTIsPs5MuYggULXMA297zDKIendMSb5Oa/KLIWgSW/26tH 2CHJjpLISDc3fHmseSHssOWOtUI4OXh068AnVfAqVy42Qq3mfaz/eW6TiqjG/lJV CD9HdKEnpLotStELXJZG0ki03qYEhGdyjJYw+B7I+d9vRSX0EY9UvJAULBTsUNLf MVa/lx44E1SNl/CwfXIVAk7MbMXodRaBNpiavAfjqpZRjvlScshHV15g20jOc9FY 8632C0blSHUGFDftAuT7KTA0KRjxr+ciZnhzn/6lHdgx9eQ4esBm/D21XXigtU1o sKIunIF5gEcDIT+u2enA5+F4ypsKEjTI7JqTL6JzwdnYZbMToBBsVflmmYq9VFz2 Htz9B1bfqrwAlvE8rDoK0t8vEmFwurxasd5kFPwiw/hJ3IRuS4C28DovcBsovp/m KFyMu9aoOK9/8TvAHU+lAaIxd+KoMUAqAha1NWTodzdSyyy16AABTtIWs+4UGG0u gTJP95lLHrltlyj3nlE8pDqIoUnduEInDtH9sBbdb1CbVoVELhF1g+cJ+D8BJSvo M4Pc2dVlC4hRuUNuouePs7gtOJyvGrYy4jiM7XWeTxkPrLAJHYeFN+DDUe3GoXOX 84rBD5VCh6/HPI0F2JRC1X98xr1cAB8/MT7yHd1CQc8WIE0KrK17Ifl/NR0Wg8+I WiKcARgW6EelioiyAHyKr11/8XSdFmgLDmuqJVUjafbajndOLdmx7B8EvXryhWVr n3wYjl0jcyX2z8IUCVTBWy7ux2+Ifv61FCWusaE4up090gOQpouZYvrjezMhNToE U225suLqV8e2AKIiOzp536V+/p1OslHJd88Ft94HnhyAPV8h50TOOLR0YiRvb4KG VoZCnXd+7/xbJxTHRUsVzbCf8k5QFKdTtwdPG4z3kOBDgyxbJXQ7tuzLNr0WE+si O4uvYFyqFyxaHN4CquyPrlgF/rSfRrHyHAhLw955OSsgsHIzpedsX3NpOzjd1C/S WIWPgdODdAcI14b1NX1nhAeR6jPM3jVkGi1cmqXdVIZ3AJrggqJwnhYvr7GaFEIi TRis2R0COkGoq0yl3seHSHM9v+0YB2ZAOUCnXSKPu9UgOju2zogGVhpcRDVqjGhZ 5NMKqr+jtyWdP1KUmYw1+x8o8SeUxDL/SLmUTNKnM6Jn2EsAoQsWABPh+rtrKYuq 2U1lQV4ZOP+wQap+j94lR2hbtgLvA8KhkwJf6qeEjndoaj431TnMLhuPNIeHbvjE t8UDpR1r9aVJLcu4FjT9BQgvqHTu6HhvWUkZdk9ycTPLOMyt+KQZIVH7JCY+vamA dGL+xLAYv2mOXorvv3oRM9/xSLn+wHGHVj2sMdyOrmqEN1RlMo2o6+OmViS8PVzn njSZbeMs3q9c5t8IgiOiz6qFUCqwEGIlYLAsFuKog06H/MQ927rC8OG76CdkICZ2 VpFdKl6dJzDtzJr68x/fxxwSDE8jqaQ+IK5K5igTLsaDblynQbUvlyjmd7IDJuCX ybw43ryiuPbH75Lv1zYZKEQF93s9IeeoxwGa0a/wV+ktrZ/kAO9kEwovKv8eyBrZ LVAycVD+0w9Km6M8AAcLxrEaG6+mH1gQdRIln7c1aFN/E8AYuG9DHMIfaImcZxu6 hH+d9AuT9mKq8NXdSoUjW3V0YMmS9Udk4FbsOgowb3VaVnybUdi+RLMLbFf9oqe8 LL4jEgeqZy+8x6oXFM7DyTemo6ktZYyH4dM3fREkOPlzFuObgHz6GzAXAyagr83Y m1yoH7eJW550VOWOs2DF5S09UyA6UVV8cvEnK30KvShb6RpjiPe59/dMw2mhGcy5 Yp7EorehJmjlnTE+J0VnPl1A97YT6/gWIl1f4QgF9z2R1zvk6xQ8NN5wSGtJCPHA LfT07EmCPjo9Z1/jsGwkJTYAbzBcPyBV+eSw9PHWvV/b7PLtqt6YfW1//Al3JMDQ y4OYYygs4+EUx8x/7zVGYEHLBAYO7BVAwcf9AL+mZPcbTeacnQMeZ4lI4xDNKHcW /AZPK9f4VS9ErHjYMLx2/VL+V9ETqtvOiOthGhTssOXHG+OzKCa4ynprav1Rq+3C 9nAgvxofuv8T1pZJX1FFK2S+2umXvFjMkjNeYhmy+r83TB0VhOQZHEj3NMDQ5+2c fPzW1LcWG/Ni5Pvta7va68DeCwmxu6MRj9QK6un/Zo9aq35vJ4BWcy7wIu4Xsd7f SiW4vjCO6fqloqId1Z377ewb5i5qRnxzfJKe5fvgehMJ4qlJR7vXl/neDZH2lp6F in6O/1a51Cn+TlW11Sj7yi0C5PRcakhql4WG/swI4ELVK+3rp8UmZgJh1UF6RdEu 0HQkhkwZxDyOm5rLGm7ua2Jc0HNlbUHJ6vMazUAKLNYnkMOHD1b8UAl2L1BWsQ08 EQkkEX9vl8CCXKCU1yGc1VT3at2fVkp4IEbY9Z2rSdVmwk3GDwt769USCZYQVVgZ Lu9WmUrj4980fDjvqE/nipP8F9ACFZrZ6Ev+ObATHw+ld48jkv2x+ew/SgKxC/Jc JsJ2nW2M -----END PUBLIC KEY----- """ [[targets]] variant = "ct" triple = "aarch64-apple-darwin" filename = "libhekate_prover_cdylib.dylib" sha256 = "228acffa407b5dc7ddf854d50478ef72aa0a862bba206aec3fbabd64220c2299" ed25519_sig = "nf4KpJvxaKicUxVN7BqXnHK4HHDkcIgGqhoUSG3GzYrq/vmDzOXOhuMRBnl/5q96lc8dQWau/yoTzUGeopiaCQ==" mldsa65_sig = "Nwjo/F5Obkz3nadU4oWFo/HVeynGcyKDqSM9ptLS1EC+MpKuNJml1fzmUYcy1r36ARvFGP27wLPG5te25+BdpXlTHw889ZqJNlf4490ooSum5BXoTa+W9MRS27gBHtGzjoiWCJJHFUcxv8uOdlUYGYrUs31WqbC/QojCM4vTCRacWkT74hatwODQrWDtFLUKyblYpOv/W+4HuYvRgAfUY+GsL/isDPF3MvtWY/8ACb3cfl+xaxDpui2MOliayYzRJV83vTgIp4j8ndhao1O6ufOa9GFhJ6COCYOA73t2GtWHnSXDN/zIDSpBz+ZipyGoZMhNS0/ze1FoKR2+T3F4px7lmTTYjKnJjnxsmMnplejzFOAfMmo9Hjvqcy3e7H1M81Jh9sC93h9jH1gAf3yrFSJXtk0SKuBoHKn5LNDjUXwWktGrw+C+7NnB0ninOX0xg15L+j2GIORMaB2m8V/Acz6Euang1Snyn5F2YISg6udLo6N8yKLlaDQw9XcE9l3eGsw3KM+AuNKWPQhkyTMz7qEKuW+YvStI4pnYUUGRXV9diPNXNRlWGbyaSKvNoj8ELnb0QKxite6fZAQe2EUG8nRVtvd/0rvZNsvmI1NIEOnhlaBaArxBJ8tMdBdfY8aXFmZ3vTTdD/jq4gkVHIaFq+Txw+gQaZHdK4yr/wfa/8XdVyF5XbAsHwaiw9HOWeyodI+fr11ZXUJFjG+6Nb7vQt+64webKeehDLEts57A66MFjEx2mUoefIC2E6EUQkQ7NlEYScxOmbHdbK29mphkp++vgPCkgrdJfkkQTCQuMXuofkctSPwsxceZD7lbp3u8wTEj32kNmm2fd7Ojw4PObYobZmPUJWOHcHeV66Xlxp0xFn8bOJd7huAx3+yj8mEdF1nYBaiZ/+oPMOxkU0PFyV/lH1WyXliJupChQlN4M3vRQI54DwuhuqhzIpv8yLsOPFxlZbFei+/acN0qAvvzsxHAe9kDkuMgjp7zLLxu+SumuCs+U2HGkxn4pozsKW5dmHVDVUKmbSwNCAYLHroFqVImnXvMs8EG1d503C7gwrjzqVqW4ak6wbGQAr3mL8BlVhjYtZRAhIuSX/ezdwOUxkKb6K/+mobB9KVCvNBsr1UVukbf16RtrF6z7DQh/jtuhnzWcXAsj3dXKH+D7wE2LWLr5edQPuybwFRA/XavwRvPDd6UpGFlPHD+9pSAisKgkmp4IrFcK5Jn3NepJh0K90C4UEm24L75Jrv6Ub1z9+YCg6esQuyL9nkol+W2Q5jTMjTzytxaxg1u8v3R/oOIPG6/+jHA6nT0faNxr+6QRtt7VuuXFtkOhhFw9kzV8l6T7wGxynugl6p6ZsyydcbvDlFvSHqarVUdljlwa+UvgV5S/rzYHjEprJyllQcQAafQLpesBMm+iX8SbtX35r4h6iBJNw5+/w8nNqOVYx3Up1NPfnOToPm+5qLV0u7b2DvKPlqp6EyP/Uxt+lWdanfYC631uU9Uir8IFqV//1LiCH82ymquLCmkHuWUJOv1Lbj1KYmX1osbsLiGVQ6J8Wm8OKDhicRQQoRUjYRPLK983bmwbqIpRbIQv7PFouxWTyWgC9jbdteXbXE61hWqH717KHOm0omneRNlIuZHcHVaAejKISlnaipfFRD8LQrNMp6o8P3ca8zHkrkfzMRqzCuzcBGDKDOJv6XiIywAeeoG5YTjUuIrUUqSv96qnJET0yuIxHoJwv6pWyy3hPgvnDk/gCBrmzra9+cRtZFS9WAkPOh1ApygWporqUP9IaJTw4LRaSp0Pw2/dM3IN80iJGR9dhz5rf435VKPAvR7JkHbErUdvg0hG1gXHk64XmrEbFl7sZ7J+Imn/MKnRnlB7XbElw2D9zNrgyhCrZHdPS3kHTzCJMS0z3wYexx7SGt71//Jw24smDqxXmbNnLhYleRgQ7ahBpq4d3a2wNpxSjou1F0romkJbY14KbPQwI77u+SIb9yc36rGgsYwB4p/drwRa9+PGd+cb1c/T8kB/otYl/iCnYzEjh57HTvjBsutqozLBO61rQEU3iesn+UtYxWm7d+/APFSjFQgr3Er7S/k9F0GWJibi09JFn0pPUKtsKGlHtHJ02BE/1Cq+kmappQWBh6aZHg3WqnZckvIwIgdSqgJgPy3pXoy0iGFAxz0HTaQXb802ydd2d3hKGk7sdfdbqMfDXLz1r1bQjt36i2ezhqwQTjplGlkhM1J1wpHVNKC5qSYvwTHgCxCiBmyWKd8MKVWywdZcAXf2UUEszgI7Sxq2OOP2Tsu2lYxuww3tDpog0H6c/cLb1AeXqDl1LttAe+kZeooi7Iy4jvS+7WxU8J1tlYFkDZfinSA+nZGw9JAf92a8wXxwp1p5vrBCZnALhLHLkxtmo2+OqBWQdfdDmp116IPGrcU4v4tO5YSMzWvKu/EmengbVdGTX4scIDfEUIsS5A924qOsjkuYX5UHxescS2ojToaib856Ho4t3PVLOp9TC8IYBUu4SwKqVo+BNyFRPniXVrum8BD/tJ1y4y1ZOaCIyvBOXjJU3ilNbFbf3Ka+7lv/x3GM/RTnrs3CETMqj1faWJ+P5oW5evFuOyaD1iiyRr1n8hpjC119/NNDb/fxSvqZHMxAaqbFfXTcQSSFeT2uRZ5EUxsYRY180vdFXKJkDucz2AjKFMi770/hVDOfdh8b20jGioChXY3SuJnOoQliYXePDGQloqPc/GLGO4COmT89wCCBCFjhkMOJJXaYePh5bweFd9R2//HEH3RP9PLZKZYaBlUr7eRk1uSWF16LsUoJNlnzeH9riS32227/sju0I7AnpNQzU1hB89nwEcVrw1iocUoZzILu4CEBQpqCDxmu9Nf/Tw+9HAb7g+IanGQSGZgKZISVpLX2rye7HzA6R936x0rcSzj4wKzKRhOBUJTNZnsUXHA/5RqnO5MWLWFkVUSl4kECMXFfHNOiEqqoSJBurgecDa1QZVmxS6KibQnKLGcc3PTXMUyO/Zmwjx7sT5tkMvxn3Wb+JjF0RHLS3nv1C4iJe2jxU4aVwLhagSNOSgLstJTrAgkICuJMjUgy8ySYYCSUfnhQCu6TB81Bb5WH45beOLVLnn6iwRBwZNwAcZJ6YxaRGEyl2eHNPzXReBisjLi//EPqKD1JbCZgLCt6E03jLbsSN1UAiMTm4OhE3haGmwabBfFdaVkY39OWHriF1KztzdXlIo/tOsrf+lJPxnbOIqhybj5+IZ/qlyAcSyxBBVCSUM9BJh9g68dzP4WnXzC+svsXBi9b3vdlC9WFNzuDEXhPlvtrRX6vwiH0EK7vu7DVSn4BiiQ1pLhYocsQ/6KzQc1AnZlCCK9IL25S2VE9fp9Abyk6Fxnnw/QmZise3RTOHEueGSw3ywoh4maiEejQhtR6y1wz1nJ+eFaI7BWoUomHJuqk8/EolntNXmEWFie0YPFfELdtKIoqFsfo3Grgf3Iyn9G6EGMsm/H45FbTvmoemCB/D2NlgkmL8gI+LjEREPwuNOIwER+90RIXT4FspaQRX+l6SKZfRMADP+nlSWZhAF04+5kGAM94pQx0vN5uNvrcsA7xK9lRNvjYnTXinMWxBWTy9pYXgvZTe6JZtGkTvCoSRsutGtIuA/FnE8+VyCwUGDVVQ+L9sSJ6VlWbSG/83z4a29ITvtBfVVJ63beTwklXko7LbaLqut4wRvMPJ2SBSM3N/HxDcBEDnMA227ZGjHoz7jHSs1fyBI7dYqMh5Yma6qFnKRKyNOLFiL5hCr/3NeVwQ9Q31ochAWHxUg2IemObuwWfEhiOnRW/3ocNQmFtF3hrwKXhZF2hXL/dB+e0KVKbwRNs2MDmYI20ufS5kQV/LdJkNxLeFW/QuinJiV2SsvTm1uoF9+X8As2NaxQUwbHjCI77sQwiIZn8A2Ow7TrI52f23Auq90CbEDqkRm3Ua9GPOTgkh9XLcqS/apNpkKJ299MDh97ODu+G5JZezG7LXWmOOwBWxBBdCFhFgRhUxC4LVjr9YtOwbW44ifFz3O++LnrIBXjop3WDmJS5dm9d0gyK09eaZS0T/LHeexqUOmGwRMWEnxM6UPk/OcpGYFuGNosJgb02qU8oA8PSsBuEVB9zPLn+dZ0EM14Vs2f6a0v2Lq9yNa0/E4Jt5TroH5FRfJVFkajDS4sCR7DSvQ68bMVm4XUUEiEJjydCT5dEEK5N5gz1g4N65xXg7ViPp5MiLFh60X3yFSGM3h26628AwdeoOyYmxhDNIH2BX40sxX/Kpz6703E5eEXi6prW6s07Il6yq/Y1tpWbL+n4QCME5Q0kQkoFS0pVXA53hEhKzFvfYKOxeoU7fobPVd4fMIrk6WtwsnV/kdmgNpGVWJjjaK/9gAAAAAAAAAAAAAAAAAAAAAACQwSGh4m" url = "https://releases.oumuamua.dev/hekate/0.12.0/ct/aarch64-apple-darwin/libhekate_prover_cdylib.dylib" [[targets]] variant = "ct" triple = "aarch64-apple-ios-sim" filename = "libhekate_prover_cdylib.dylib" sha256 = "acfe3dd2be1d7372a84061948b9d4dd93096e59e775f2e58575fa9c07039dca5" ed25519_sig = "0gRyGD7RHxAGfwGkpBzEo82XCd0vE4lXVeOD0htnjLGtFdGXgwi0HXCjph7danDr38Wgn3G1WkXgZhConVfwAQ==" mldsa65_sig = "5YTb2+PUbRh3l5e3UPWjlZFUXhl4S3ZzJ9mybcNNCQEdZywFQiUFOQ7UAMZb3DO5TbVwy9Mpc8T/F62ACQfyE13yXazPv8lo0heBrKWgVSW+aWM64KeTM6gUzn7NcB87mpG9DQJOyaZFWNDKunT7b6JDqIH6aQqgbbwmTuJJPln87fM8NU5hLixLTHZ5wU5YbhnKGhrFUHBDyoW6fpPzlX4Lz10NQ9MdxHsiPCgL8yG+H6YtSrEpQWpW4ia0f0KaynqLUdzWoiqxuhN5W6fXyPuhjIK7nP2NWNcm+6cEd6xPx2esVq1rUjk33hWoEro/oqqB0DM0kjjcJEv1mrWcqxuji3Mhh/ZWev8BDbwAMbSxUkIu0imT6YeynAsTtg6L6mKIeW2ZJjNdYbG9gW9LTGJJDuYjNpFyXbbxh8tX1LzroNkOFW5/HNYwI0jsmz7e8vksV5xE6Rw5RANsXPAUTszHNH+hNNzV2903JuXrApTrFO4k7jtxLIYWs7dKAsdQeiBvLqyR6Ui5pFF3LwlX6fK48mEiyKVs0fU3piNIAJ8kuP5gu4m8M+nxKbl1lUNHQITKZK/puZpNVh6Yllbovl14Vp7OFKCXzC18UXzZp35HS8DDka5awnAsK660uG2XrW1x3kNZF/9JGphtv8H29hkRDQzcSla+yW8/u4hs1N8U48rjCuH9trc7joiXqNX+NsHRv/6uOg3iyBopfbsCVZ1HQoFeEELJz3W5siaHA7v97PQ1MWNLqcx+qfZg+nHDKnRSFEdypKquuO0UioOdYTt+OAFLdcInEyQ1hFrjP12curniLN1/BkvkviiyQtAqjAYIOWKsQOyzmGC+DWAX1ImwAkhkDASCduDY7uJK9CkhZ2fWe9Edtz0ylxNmgIhkCDUA1UtWX4gXeH/bD/FZRMf+1+La0FEjKsCF6E7reEOCuhllLrfJ7U4+EsMQImVFg3zvAsVD34DBaVlzztbpYUyzhzyqygUDOv8l+22FY14NZgxSjyxHF3JmcfPRZvqDAlThHQF+7WLNW5VhkD13D9cyuOpFa+d+jPy/4lg1NksDpb7Tf2uEwsg6KGmWeNCxVe+SR0O7zyIsd9ylzo8KFe1Get3NUcon4n45gX6UNmexG0XlPXRvWkurZ/Zn12mZFE8a9O/c6D6o0UraYBIxm7w7hLJm8z0hoTWY8Uo/EsXRaOIPDPe5gPgI58nhUTAklxcZc3EUXZVMlWsRZtwCDlRoqu+FycCVE5yeKEQEToqzr98nxIwPGqdMgasDf0+nQMeUtqzaGRDApfToUdEI7TbFmxSesC9O8XB/kZum6lZo37BS2Ooifyik1wWwAP8f0o/8pkuGa4O+gUyuWW7AxxwKDWGTCUxDPUAL4KiLf5gUZFXobfqhX3hk+LOU1M4KeaOlf1oC5/RH1jKpQmopBVwd5SEmFTjO9CNsKGlMyhInz0P4DxJ3ANwfJvAlHa0SVNXssoXgQvPfuOR0S+IfEDFIO2XlYsXtivJlVdkK0+/eS9JfQEGLG3hjNYqau17qgAUHtpoU7YSwl78WjZiL4bWtb4HG0rtugI0VMOPS2xVztVr9K0nyr9urtE8U/JhO1MrBPsVH2SdWtG/Uz20x4HQAsKOrvDvwNqNUeCYfeUngyXqlfJ/SWSFVJujr1bwAZ7VFrYN71inw/vih6/L8bZId79BLaZ/39EZyUw1yoUyWg5ggs4O74/Q6HSXO3F6GLjn9XdlxNtZVyVr2o7XNhB4FwcOfdLn3yKPFfaGGl6HQpf54+2YmNxKWNskDeACHM+y4jBiFxs5r7eHlwKDNwLGmzE4Wjt6ZVnVBZUofVQBZ3dOxe5cZbpHhKNpRQACP85z9wqXZnVqYxkDGevvx2tPRIzwaJmSgxMvZHlKRr5m0JjPE4va5MFrEv6hg3gygdzBN5kLkPcyYoMq/9jeIz+13C84HhJVQaSTHsjZxGeeB5c/LKPyKAm8DFAUHqovB1/nofNPXPCcfq/RJqxJ6rVMt0mBpQp3uL2SkMVVGkWpr1F8pkont0oqBR3OHlqsqXQZkwAaM/vt6YCvKP/skSAv9+ZvzzNcTK8qrVvkj2LAXTj55pc1CFGf6ab/FKb7xHawmyxlvZaiyXgmejQw2WA+A4abJyg+QJQcU58N1X2LfX8CMsKCd1jDAKNL4H2AnI76IvrdxdY8+wgbN7PBnf9zp56G7YkWqSQbwfniKTLQ97CX3R09vS7C7knZJ1e1liXAxUtjl+Ihng/DXzI2MQhRIYxAkYEPZWiCwoiWeYLHLJ7kLctSn9ifWJWKBzOMCbexGPxu51j+vQAVcnYRmIVoee07FFN3JNRuKOI1wGefVGisFxSom6yGlcNcZ0JDDdIrBDP0bJ3J53XHdLqo8riWmlHJdZZdS2CqF8Rg9MAZ/eqgoXSXhdNIelzybwDuGiUKWYB2SFrK6J5Ww1//WZ1kgkcwjnJinsMvanzueVuyYCPZHtMHge/ZAQWJLCglc+bgOIf+7OVpoLvNtbAiNlPnw7aaostWEy8+G2V9MS1jhYcZmZU6uK4Oc0vlXCABFquuV9hrFiqVtBiqUbRXZSJiLuBWtjuoa8eatikQo/slk6uEYaHc74WEvDgxPilDOHWd33r0Aitgcn21QsrjEtrvWrUUzzNTmtstaYLhEEKstSXY5bxoOzwfQmouOeW3/nsnKJ4Frt26EHOs4cmqtER/Hh828fnABu09pPz7zVeUuMBDdQW9Gg+kSQd3qwS/Y66hnlA+rQTQRNNsnVs9LPQKsEKQG5DENeIWn5oXHGpPKLHD62BMN9LuCW4ZkqGGixm76NPxCLzejKMHvRiNS8ddadK0fhuxVgoiV9g+o9wKs67FbirtkYpH40uO7UblB/qYWKW6+o24rL5WbkViuQL9yIs6dfiKF1zGgeJJoSYfOGgDuemCPQdjqNIBEiuXepD8HlBsXWnhNnSTb/RIftY1NTJSN3iGphOjjIjBVHg8FzxGfEWPFEtqtrlpD1bkoR0bOTkBQto/eJ5uu3V02+SvZZpfBPNLaFmL92MVHWQgiWZ303/4akagh/rksi43e/s3OB6NHKbPvpD6m8HMPHSDfZ6hltErFyRU08bt9teEh6VbM5V4FTvczUfJ+swiBPCMWahYsGBpbWFR13BckP0sEWwr0Re6IslLlATXaJ7wRHW5CW5lKkrqYN6Idhuf708qFcrxj8sK/dsDQyYQgs8KiGJPX1ur6b3fqsh1eYe7F3PqZDpq4bvyEP+cwRXGDo6I6buW1BAiPt6nM4/5qUOQrscLNm45l16FcB/lBA/BR9IrbEBjnkvZVYE1mq+ubqDxAIPmCg1s6wAdNmJ1qLSdKT+QmfAYMNQEMRdo2s+IE7M8dBvHuz6QI7AwJJilNnERuAlmjDSMwjaESrm+EC9xg0GAVcGITornSX1Nx3r9Sl92BUCoQy+QvMZihwPj2LPKJddBcHNaf1Kf3BC8kdR6mEBR1ire0f9DPs8zRaogfiMnAqEZpDXyzTnfPSf1rJL9ewTWwZowvkqAkU6cEkVdVSGMAt9m19uzStf70lAiu6F/2Frx+RhSvMNj9hIEcbWZwP7wQ1EHHOIQGwv+n0Ykb9c/bn51oI05Y84MdmkzXLKuAKjj5c9It06wE4bs7MbBkCeVGcUa9IDo0Z4wXg9VA7UL3uY+fFlIOOVJFhlYphEMqWbc3iUEVJCaRVtAJ+fCacJCIET/w7qm4El1GGLxiw3/LqYl7PJ8oBl6P5Dmzj6KI0gmpMJxeyNyd9M1du0+2W5ZfxS+EZxSrNgExQ7APKJjg9sgJ37GDf78oUFhHRGEb2G9xZHtQ138LxlEHvZv4ao2G7ozfZRU5BJwzcydFk3glIJH285y82d1ow5/7wUNjCQRyrXP8uYGY7bKguYprYDixPk2r/vmbRVug/wx/Vx3PNRz8YHrQqyA3VrhpPR0E+X5UHc2kd/PhW22a7+806br/odkjehsO6/M0PRXBwDfQxXsd0Ig2C1NI0QVF7z2zD+gPYbd1iJq22V4sVvom8OHBVG7IilIkIeb/6jMiNjcCBFErjMZCSCneu8dDMLD3+dzKJo1dFV+bF4MtduqR7fKlFmeKEjo+o2B7fu6L/0a0Bvvtl3nXsaOphvdYTAlSdICCOqfWzCYgxGZ2mCD+vyKyFfHVls/ElcPBhh/vwXnQprgtACRXMPUyV/ELKcsO0VmC/h8QKi2N1zPi0NHiUcX5kDPu35o9nBOLAmLXLjR/ijXOhfe6jp4QgSmEpH8op8eV0YWBCESGn9WE2VzBaNGxqzP0Pe5VIzzw85THOooqeZZ+kvTskYptf1wIZ43AESArOEhsCDM6SUtNoPUYjcPiIkxka3mep+rz9f4XJjJpeYeiptfm8/X4AAAAAAAAAAAABAoSFiEu" url = "https://releases.oumuamua.dev/hekate/0.12.0/ct/aarch64-apple-ios-sim/libhekate_prover_cdylib.dylib" [[targets]] variant = "ct" triple = "aarch64-apple-ios" filename = "libhekate_prover_cdylib.dylib" sha256 = "e5ca39b71429a5d67de381ddf576c0f6d7d2bfefc88ac4566944938ecb3c5bec" ed25519_sig = "QnGSWSC0uVPV0nZOU32MwVjhBEaR4ItVarQegWt/DJk+RGJu5q4jVdmiXSGAf0b/E+HbxL+Kn1rjVL4g0C3GCA==" mldsa65_sig = "/Kwfw1MSOaFMhzeEOILP8YMmX1RrxGypeVbphccN2gK3QouaDsSRnuYFk/QhyazrJU1yuxNrn1sbxC/sxMLMc/E6Z3kPLW0JssCpX2JG009LtPhH2C0OQF3Zlv67p2tJ7xf1tdANEOvO+zKCan4PErwia6Ofmb4qdL2zOoxE8/swjH7Ze8Vj4z7z0O/cymnpoNrgNz767D8cx8j7ffLPIEWmd1K1hkFMGN1Q/dAvSh0iWpsY3DZbw16d8hIccbbHm05A/IdqVO0G2JjsW/Li0sVZiQivQFPo5RjZXITKAHhzv93gZneep/BHScOSsNluPcaFR+CgM5u2Lpja8UutTIds2DkPxwOLQTFOOi3QDuxfB4DyjSwufKPqP9mDdgvIcpi6m2jRIerl2CYcxZc5UlQB/IRDXJRWKm1UtzoQjKRDdqK5+lsecGYzQ0Nl3ScaDF84CE/4JqGXxqkuVC/wdoeKSMJY5pmFKRsgQJfRyUdJjpOZ57pTFTe7yM/GbpWs4v9s54EEW35ym4RM5kjQ+KWu7axliZvnfsI9ZrY38wiLE+K5BslBolq+x06G+3ePI85IeiSqMfZytkkVEcW3t7wTflrYXSoefz4EP6rscNNb5VlCep0f5mtgjw0Q9a2wKqYY8naS8j2jzKjSxwY38HoYcPcpjugwvU5JW+ESeG4h1jtm9QX01wdez2kJkqfFWBGIG5E92JAEWvUdciXmXv2byKftIhXIblKvpO148T7zyZwSiHWGD3SzRcxH8YE/pmtvHabmJrbGSq5TcOA0hmSpwRU/UPeH0V2ZuYvo+RVHhb9lTDYtz2fzp66sc5Ox1qHYQiOKC+uKPy+e0x4UNElnRCfub5YlbEKL8mDpfl8BZxcPddAAMU6+nOTUoi/8IFtygdxvkNsq0OOaq7qSxlg6Vy71wLetp8BqufNObQQ9ymddJW1QuUKX6MOHgxK5P7MCXlFPFAY1xqn56JG5bRKaRdzzH7RY4cUXuqCAaK8KfO4XcfxgBRBzRrPd5RHVL6CRToPXPhRrSNruBM60V/gKuVMIOQUtuVP3YVCIT0x6hQZE71P8yn69y3cXrnE/E6YWDbQAIkg2++99rztuPwzSvqF8btUK//5tYnCK3Ljwq533OyYiRqRgbL6KIq7MluFomUZ3L6a/MZ6FGdoVQLFBXAU+kxYeyRGoctBX38J7/DN+qVfBIHjOcNe79O2qNwHHxaSY9folGIlwzotNEAYEghIsBLk7wrQ0Zgk/TsPtXPdP0tFdgJjYfdcEZS0H/qjZRUMT8AdBVo+JgPPcAgK99kfuxsScErfW5SD5cD8gHjT86pgCqjG5NYijGr6ODhVmv3YisuPl47CtEvcdVdNTKP8jctU96ulJQDvcChzBt3rmcy0/ozXEHEVA+YeE86vK0+KfbVw59sdaVwZjG7oAcxICDOLCH51GrNxsDZjlrTQ3qhFPPVPibZKSaTwfQr2GJ9bPGo9LQBftppTtx+X8YCpxiESPzm3k9bHOQg84Atjh5laqYfwM5AERvB6FJN0Bi6siw3eaDjtvLRsuky+UrHJKuyFaAXYma1oQkyS7OwcXpc8E4101AuG8zUHfxnz2ZLSa49nGr+KrC9F44PtrrXT01HutzdABh8Yg0MFV/2UvTESPH5RApvXnyUrmumaZ6d802mnALEKDp+mmRnS4fnjmOwSUTE6XKmYACNiu8vlwVi4N46JDPyESqCLPUDCuElQczRsHv3Y3fLUq/Vw3DnalFyXmweIXNEZx+QyV5bvP0HSx80vcLy7FZ+mg2+AhkhgcxK6OHa5K1iufWcvBvjXDjSyT+6lCxXyyu9Ui1WVNlpcuJvLdXrT6xhH5shg+fmzlScilj2v5q9x+EM1AmSuwOzuOT3R/E9Xmtf9QGrtgi4xBMBfk+jjL/aZavgTpIkQ3pBRCzPmUKJqISWyEGcanawEOQEPkbKIq+4cfqJMzIswiXl6uNiLhTluXAazOArCPUMuCRbVClV3fr7FQUa6lfFh5gdEtbJHNTjuPt4IfqQvIXZuyJItgIiAtw7eybc4mQKbhfJIF1bT+lBoff9g8te/IiEDDKDEyI097kVnkzlpUskpaW7rJ5fLv7ijJntZjHgoXUT+f5UN0Fy4eaiJ2YuQyuoTKroUHvUTFew+abdWwKNlTIvDaRUacfuW1w/5RlpRfyNBu+s1D3YXThsJcU/srdmpBgeJgFrM1QUAe+w1qteiKa78w/MDjh1FAes7s1ftRjGkBG3DiMm0tmEjhUcz7ngkD+ZyoPG54rICnY/sqBVtCeJZGhNYRaRh/z/s7fvmuuzKOwHNHPzfTAYCQf9RHg8FxYosqFtahg7iGlqQrhSFiOBvpbgt7Del5UY68I+vfcaBMcVaBAiU80NGhwXX9DAzMImpiA8A9vYJXOfLCD0MBCYMM/nr2B1X9G3Feu9WRmJ2SaZtxMcKusBQ0xgtyWpcTzMoWOBRH5yo7KWW6J6aQi0oWf8G5wQ0HzMWGT0bl6J7mHKYa0vf6L7uXDOGA6MOrpWPb+GAlUkw+SfpUNRWGjLMT7Dz8sbZq9txhlfNpyqay1b8xQ+v0S71T6OMon+6gRypiNBgQ9ex+B2dwItVn/N6W0BuVO9SVZ4u5n9cf74hYalDtFhuF/xTpjaY0GDbxWrxoUW7jfm8XBStpzpLIxAR+mBCUu2VHx8sF/4reE62hXAUdozFZm7wQHdZZp4Yg9Ce5/D3rdoR0uvr2JusGaVd8lkTm7fiublyR7UZFlFig8Bkb+zq76kXlTNGOgSt+NC622bhqi5VR7Vpp+bNdQfQXc3DUuLJuG/4+qegdUfiJ2HgLRUxaR5nqHkqbFsCV0WW3IS87+p1RapKqX13xxvusGm2brXmZf8Z+fxx4vLLwknps2Nnpwwd52m/bgwIKdv/hFQ72qAB2V0pdlwrAwHZSp3np9TDnDi2XDPwGWFaGRaxxHtmAE8M9j9lXGDR69GkzwrZCYlWOjexkpn2fR8JdMzv5PT7dyD6msygFWCd9+Tz0aDUdQbGhHLPq0/r9jAxnb941lbwrW3JVnteWitc8G+VHA4OsP4lkbmWRHekNJPeEdKknuc6dpEkZdQ4n7u/HezU4pbg0XevSSvCkww45SjnDwitLXKQjnRb1VWM/dsAQ2vJ1+dp1XtcfhEA5f+PcIpKDqpGLlvukMEYvEfwM/8gtKXAXlPeuDoIhi/s8ikjvXmIv7I5S2nWdkPpD4n+aZath5DZDb7ziHKonYIA0w3Sh7EPPqPd4xTn2wHopbp/hNQvKrJ/jPBTdgm5SMQE+Xq2sjRdFV3kvd9k4cTJrqxO8K7gwEcoZcFi0eEIWYqHJRQZUEG/u3I3WHowI42Bq7RWSlQUzKmOUKgVwEZMPTMr0GiskCYEkpRCPale2z8YvqTsX3x3KhtqPYJ14d9rCPRZ4r+2oMhRrQeCTSmUz5QIOzVCEa3PHOb7gR3CKxEYFIO/sJH6Q6Iy9Ws8laCzpiNFBTcZMsv7jNKCMT+M3v9Lmf76eicm22ElnPAaNUY2JPpt3O+j0AA8qJJWG7IihqCsUN9AMo1hgzkgV2jEEzCLojn32Pae+QfCTnnGo398yEvvDatnzEGdOLnuZ28CFu9Lq8FfcIHbdWGj+xqLMi+O0oD1oYGCBXbyy5Cdn/fezWTfuT3LAbAt54B4gwDZgwkdDKk3ae6YPCTTviWLpV63lxQot87kP8mAUWUhdZRLb2CSlxADOjYqJ7J/mygFiDh8tUOMY+p3j85vIlFoYFd/pzi1oEopIG519uZSLGOUK6tvjUvP3j04NwkpTVsumsvAqXyXryuhF5/V6x4Hs/dd0Rw3OIvzPFNlIKbbWmP+B2le3IaVxen94c5ud37dkhWMUqPYq9Ja+8FPcKZ3dNXmIzwI9/H0lwInRQ54n12RejwG0kAW8tWx6xDv2st/RxrkVbGADAtNhsgHGyMlCKPd7e8EMB2XsQWBFRMTHAbqhRsIjSS98kOcStUw3SSwfkEx/b4WRNyBR2mRDssRWSlZO6zf9n0M8wU0DgyRUSCETAGjsRTsEAD5jhLm1kH+8ocH6OR58VQEVW89J+sT8L4IwReVhz/pd2tjVaBRSqIJ6q85X9nGSL7P1zQp+iupP/Ty52ljT1jTWuouHlmXe3a0L4r9mgSl3ZhtfhDB2kMaxAwJcq5woWM6uxY4dRuLcFWDg39OEYVGpjCetseT6Tlp8/Gl7065xJ1IZOyfq9uOktBl/fUiOHy5NPN+inmJ6jNJxJ+DKnTS8r5wLL2EC1ttTkv6M9oc8y6o44LRW+hmz+Kjx+rgGceKHq2V+TG/iZ5wLFDRUZJ2ft+HrJzlkaXmN4vs9ZnuHj8bpI0ROi67Q5QQrLE1gfo7u8/j9LW/+AAAAAAAAAAAAChIZICsu" url = "https://releases.oumuamua.dev/hekate/0.12.0/ct/aarch64-apple-ios/libhekate_prover_cdylib.dylib" [[targets]] variant = "ct" triple = "aarch64-linux-android" filename = "libhekate_prover_cdylib.so" sha256 = "33728655fbd36f7274d64bb5960ca1562ad4f07e906d9074d33dfe2d62716496" ed25519_sig = "sjwPntIREk0XKk8b1XAe27xwPdIwc9MulRKQAFzCru2MZO4KF4S7u6+0KV9Y69QPW4QWodcFQxkvArfNcQ1ICg==" mldsa65_sig = "+MUqXzE6GUYb+73C2lvnTfu5uYifUt1AeOBbCmL0JEVd1j5kj6wl+jNg/P5DDGYPdXkWGPiBWs0q2ZjyowJxzaP178+DsCKZP4E0rloMt0mzuHPuiryNqvmne9b6FMlLzeozhPtikXAgd/7b1GX9HklFzNrdo5OckDzyvyDFy98jRuJqz0fuaOhE6Y7vN/jInAQEwTI8+I1MmifO5lXoLl+2/cmlwPO/C7n5t4yitiySqNtuxzaLw2r2X0iN2E2FvqjTZag8VbV8MRU4C1LoBc/AbHOO1NrYQr3c6EjXLzAFirpKzUs916xv97RyfZKjbfAXRLdJeDct1V2cif6ehsrybdCNH922xwZO55DfASOsnwA2ymU2WpVoVI8lW8rsz7zOc+0upLH7qKdXGnJEMdhsp0FBkULbqEh2n9dwmKyp3pln+UHyrDzLkV7wN84+AZfzaSSwAOybmSELHowI9dPeO8SiXwQDyCnz9aykV4/+jhyw9lPYy64bvNG3oiU0l3xIFAtrSMpGrFEoOo6vMlsfm3hhfJXGsix+4GFRWM0wxNAgDvOZ6xvPQ+FNdTr3JgqN4dj1hsDhMfQbkxG0+8MsWYwbnUoxnRs1ony0jq8Qd/S4FNmmrPhdWbWpvOh/ONx2VM4hIkRiUgitJJ0+pcFgJjvqZH23s9lb7ALDmcl4/jO9vWuUHnW7Hk/luuUTNaHj6JpS4XZlRFLBrirMIoqcMNX8ZZiv45xGE7HDiLQXEnVrPrB+njSPFTvDm0yZ5Ggxa5Qt6D3nF9Vty+aAGmclHlOba37R3kLRYkvKsLWxG4fY34IHdNnjoIs0t38bDg0UD3JrZPaQlLF/JnvrM6zEFc6Re7FdKGiDaT7mi8f0bt4tH+N/qk9YD51QZd7QiWo20OMAcGB5zBBxiI4M3ik/H4yqlF/D9K8BG1LpSYYQ/VwUOOZVKrPkUcE0CzMyF9gfSAb+PmOTy/LckE5SD8mjEV9YrtFrb6VwN8XTSrdk7wSbg+IKKZnEMzFLkAJ1uMn45OfCJuWM3fsfyIt/BG4aN9vLkadTAankGXwORbk3fVv+29ShKwqnaufSZu5K8Ucb+jTfKjvlMpIPScCTGGbRKwv7d51wQYOAx1eclbzhYBGfk4oO9HtEEP7tOJEta0F5HAzZXBdNu0EiK5aWTzbbVTxQ1/SQ3iWNxMLYtxFuRl8dXMjNWSUtohuBTFQtSK9vGz9KwFnxhuQQX4IcKcTeptDF/5hsPipiwrof0eykqZrnPHgzp6Sgw3GIIiEUfx8cUKPEr/qoI7sApVHPJ//XzPN5rRy7Z8vTrx5n5e4ouqL5TRP+G31u88XYDUip1uKB4aonPmsmdZowxiR+ZNJqY1YuDczZT1xQ4oOzf9PAJB0Efacc+Yp35FV7iEjhciR5VQldKBgTkAD96wk/tdZ5mgVCX9NEobGXZCCzEmsPq/XhvJyCZ5POL2c7FkfhufYADjut9L62UxzyqAmVV8soZPJS21O2KbcurnukuEoLIXG5Ks0OnJ9h2csW6SZq7HqB9jjY86McXYNt5ePoLMTHqML0a9FvrRr+rgUgLVfusu6vQlMbYhXGMIMZKp0Lbavx0rzoas2p5cdy5YVt+zKwPu8jXaUBJUwKPjiddOe9nzEIgVkA5znlJQ1C8h5SCOf7kurTy2xfS7XFZT9RiGhZbxwOfZkjMJquLcrlqBy8ubnv5ZSh5tdP0uAPoGqogtoGu42Vu0oZ+/pb9TC0aDxprmMOA115gJo/8LjKwSjmxYGfV2E4T3Xf/aQS9ZRCT7obxr/QqDTL65RlMHpuWhWMjxw1REZzPXooAZY9sLbbZNV/D5C9OEdjDdaX9XdJVe31P+MBw/IHo8Da/D+n7GDCT802EAi1vx8jpOe1BmvQkFbF+Og6N6jTg4Xd21+Xal7/gnvy6/30jXHA0ShsYXFsaR8w3M4+gSab3Y7h+kP9V7CrhdBA8Bz/QstU8fblHS3VtwRo17LQzF5sXMkQ0xKZIYJ5ecjrFiD/eGFFBc6JStrfq9yj3HSGVzir1rreOqqivY3SEg1ux01Tq1k9ihCGGrMVDKbOE8pCIcCyO7RawY3OSp7nQNYDm9uMIB3G7kIkf5zkxf3GcP2sDM9oBH/1jyImL/fNb0L5QoHN2eG8eF6AohAn5TG+xM9aivJBD+MG3/aG7uwZpSAGX3HAQHM4R/sus4/xJqR/dGWkyqvHQdHAaVx2CVb4aXVHazp/8MA+7SMwuNGzWKSzQKQ2YOhRjYqbz9RtYkWzIktC6x2E8mSgKC1CQFJpWesOYA+xlXvVqmg9CED9e4MOGJxVe+FJWCyXjec4Zu8hCfL13IBX44eo5TNFo+bK5wNg8+Sf+ijHGsAZHcMcEVxV+wJtDpj98yz4o+MziQmsnm3Swg8HaqMHFw7S6iSG3+vsBNMh650yXkMXOL156ld6NbQYLp8gUfEW2OXn5tVGxpduUQhs2Ae/Lw0dMjNohjsmGpCD28m9CO1JuRbVLePvT071zR9gElNyjdl45ARvf7nyAsU7iIdsETqhnSQETkeUR93ypw4GQEGrVgBxshZAbzV3hQm19cOkFVOzkYJ5FaunG/01ojyw1Zs/fM+pEpj+PqJyBLxDi/+Hpb9WIChblxyaZD1qOdMygAexEsGGhUfoNMW519vAVJp6fZxs022qo84hQHZtCGYnvVLPojmdyR/VYwwclKZzmjbDMC/tROm45JynyimYyR/dnyQ/kFku4cG68PCJwZLsVaHj4H6/Xr0m8tUb/Dl3US0JuaoIsHXobyDAHQDs+oeNP6rvSQs9Tc1G20wY2XJnoJwtedHDDNiALQZrp/H70gcVOyEbwYUA/Z80aJIXCQzlKldcfw7GvwHklrvhoVWcOPkmMR/mGluhR0lxTKgdPsMrBp3DUAUAT1C1wGc3IsnMjtCG19l0cAwWAKkktsoPCidBQQjICJa4EyhSoDu7AnhgIT5BQirQ9hDIZ5yOBERRCgOAOMLY5YoX1kEdtgqhL4fl4Mq2BdoJmRX4fIVOZdj2ZXASq0zRoex7JgwQXfFefbZoED3osmpv6B8h/7cBZZERk1VVwH6UfwrdRa4uNiz0papAPjJk8DlEI7q3yLAzAom4SS4HOEfCGXxEGflFOwNq+bt7w72uHZYFKuoGR7be4HIyaWxqtC89iMHl7HOy5An6uOKA951rC+hvohILdyl/xNVBLn6zziHZ3Mx6+VxC31ismxX8niI3t9oAHEULDXzPCzBMYmHiTqbJlPgH6s4KEhnKD4PSI/rrRLQ6hi00awziBC8qztHsTxr/nbophk7CaGesSJ06w8/6cQwXB5n5Pf5vWsS7O1ycN6P3QRlnGO39AunubVx7G9bBZpcVdIRypOFrjzAOqLW6AJZtLKnCSqujkf7p28iz+PpXeVDiNoYGXhhKyBxofT5eglI2eagpCa4QQykf3zJ559u4XUGqQitCLQoGMxQYjEfvwfF++7++nY2LaMu6FOsQ/z5Bwq5kly0qnA408/NFeC2FLGKDqZwmzPDjZTamA6rYAIN4/2hmBB6/vQa+dHbdE/Vnh295BxiojEASIhC65Mb3FbkGDPr/cwmd1+tq1XpL7CCYveG+6AovFg/dmYCxaZQJa1KZ+PGWxhTjjy5UX58jeFm5P4UZcz6FUShBgVxPDNX1aMyoXE52tnmZ14fjdHSiLV8Aw3Qb2jMiWb3cGt4vDNJzaQED+X52mP/HO1Us+7pnuXf13rbe5w3EKCP7+R7XTqZpU7ytoVH7eTX93lse/H8UM5k5zWQ2ZoanW2+nEA1HXJmzcUicmGMhU5KJz5BJbdltO5+bhnshouJM+zzt1VzPg+e+AXDgyEkelSrVUA0Oj9l4DqgcMHUTeVmn+UOukbkEn8U1c9QxctD5QYclaFSM689q8QWihC7gYM3He60UfN5vs5aPRurIZnL6juq1NhdMJuH+qcyY6I0tlEPc53hj18I+cIHzDHP45SiEudmPdSLOg4AyVY+/e37qfxsm9iCvqI1FW7np5a9P5333c713P/6qLdzZ+ftV0JtB8RGKfG16B/dz78adVYyXwoje6MUK4c5frhlycxD1YYsFRpZdP3DQr1pthyXvJudbR1KelwQqzcHt1dJDYrMrrxwt2Rgt9Yc3gRixvE/mKfQgw5SKNIFnuJSQDYNjkx9NkljdfpgSxJzxAFckTZnYI7WIyml3GTzZE3BRrPXvIW8PWWnC/7AvbEq2L+nfNCxloBtN8TPa0sTNREorPNtB46GwiTritnC2QRfqO4SxYGDKmUjRE9E8nrl5TpY8Xa30J40jV1Mx9D/7FtALMFi8vdIIMVGJQEqbn8AJITxocKrO0ujp6v8FJDdcfiFXX5an7gAAAAAAAAAAAAAAAAAAAAAABgoPGyAm" url = "https://releases.oumuamua.dev/hekate/0.12.0/ct/aarch64-linux-android/libhekate_prover_cdylib.so" [[targets]] variant = "ct" triple = "aarch64-unknown-linux-gnu" filename = "libhekate_prover_cdylib.so" sha256 = "e00be641a2f3b1e28827bf8cf1d4cf6ad94be4bc4f95aa1e14797987460f01f4" ed25519_sig = "kGoRKCvV+A6TYsXIW5vphkQ8tCNG42YgSrnvn7AKOqYuIXgHURKG/Zi7yHqDmfwkXmUw0KHIn/pq++L7zJtHDg==" mldsa65_sig = "Ef9MkZ2lqgxPv0GJr8n8Mhvhszn4hyeiUiV+A11jRi27VQpMphHbAP5M/8rYGuPhohdpxiMfLXHPYJ50p3bF+b5F//pq1Cphrt2VL0FX22m9nbTrZpxdd+GtHkuPD97Qj2DvyyAYtxGXfbewfkXeQJtXJYq+dxwgDPLkYyl+2kusOH2dxusnovLbKhkzb5TaV1IDbOqWwbvBPHuc/CZslvmhUO6oe+i0rw+uFdnoxaCv3YnB6wbPmUdP9QQtRs1BA0BLNspeSS5ZgMKm+voR21aiceeKlV5PourQ4JuIjG/PVvjjwT+SSKOxIf0/14pNGrqykrUhk3y6L1j+9mCM0a1lhbqy/HKkjk70a7bcO6TYGX71vqlklB+XTKbhdVySWd3RKL9A367l07oNLJWHka+JpMLKZ4b4zqlXHxzjE91SJAiCEq4jQOyB1jAstb/dHsTzebE8C69cK6nEOiuOi6AAO6FPAN64vGeQnlBOCSJNaCDCJFwQTLZ7qFz1zuk7ssIkMw+s584sDlLICVRKHekICzVIoktCe7y3lnlGkuHU31lWuvdUwLGlw/+bXt8twCkB7TSTJ++XQarHt9PN+2ihvtgS6hPySj14Y42k5+/VZwmXanUmP6CYQhuPaFlJ8H+2k7KreVMzq+6573Q3fUnpfbFMdvcK3TNrWxSGwLue7vhzgz9Sr8y3j3Aot1hx1A9TzVY2djN9f+K19jKK8WaE9FGls13qhNd5G7Pfe3XLm0HwcdBZN9sK2S3EsiMC5xtnUt1nAWvJUWrN8RBVpv6Br3Rw1X+tC+t3bLnhHAmu6+aGKd9yGewBVj7FCVCOmE8kh5+hjhRaq6N4fnT328su/pFA+CBSjAABPsufCsoJ/zm5QgKuKeJy/bA5CKYsaZ7WHSZrgwYcAZ8Mxq+3JXYlSVlkMb+dXVsxxKjKdqF+ihHnrcoTzW/ogNsE6C+I0aN5oa/zrBlUVywjYL4iBR7CAF0P7RQEXlWm47gjsJfRLcSMKM0lpTWDUZ8fe69/Op/4MSfmS7qchlngeyvSUNk6zLejUTeC+752H9NEa0CB31seDHf651ypocVpC4h59dVmjc3+KiLx6LppgNw1YgxeziJL+i08mdjbK6cMLwJeolBlm34pfj3uR75BE7XY1mh41qZ6gtz6HNk5c/O6caiE4o8GMdqc4E1Cx/c0bd6MO1n/u9aTFTXXTzgqKhRs3mBNONSnm5xBgWW2DuMJwpMeGNmIIQ204QuULr9kn2FBKbQ2jTiv8ceSgaI0b/sFHKr+pMjHb/anJ+GR8nCjn+c+4ApTcxdcjujKjN818J6WinzdTc9zIJ+APMUu5QS60jSb9QDzckQWKpVz/P0o9if0cbb/AKSjRh46HXzuHmQTm3N5LhiV4gJ3Cqw6SBMEApdAZsMRyR33VPLD5mbkDMAJCPhkw15ydrFrRKvR2ZEsBivEfF1PbTYEo89MYBlYOnCY8bkXdK1ALos2C1z8TixTQAuvtKmvHbRnt/WV1klXgpKY+BvxxZPsSzR6vqkhwsr/FlNjbUMdU2+pyRKi6EpXPy/OKMrjJ59o197oFMTofxig+WC5XlE+e/V/C2DWZOuE2JcKFAyAkV3SGITf8sTGNpHwHPIaKgKalQbfmZ4vGKPv+e7oGaHAEtlx/Dj2qebtpskjpiXOKwRWQqwV/jCCqbxGdsLB1aI2fiym9AbJYNxZ4kFvdZvQMjiB7JbArTA8N4jm7La1x6KeX+PuX1JSI5xClty5bIUKX0IK1z9qyHm3N/5JlclnNv5/I7I1w4N+ZafYRBrzYTgn9aRmyIHUXaFjy5U4cunKUW7HTl2dEeZI+/BxczSB5RaumFOA94BQ3m56WWQ/lol7uYkNFBbKZj9IfK297K1Pre9D3fS+KfGSpcqZiRva+4SqT7g0ZOlA2ytRKk9gE9de41wbdCuTzBDGFbXTtmG50Wqtu4/md/eYQXVkGW2SjVkmnDrMQc9ih5zNYwLuJXvgI85NXOrMlIi54SwPh1tzSUdb93tHrS553UHITmnLChnO9ACA9Gp7oV469hI5yCujb687PTvo/eoS3H0kRu2JCJg2Svn2M8Zyf6zkDA5AJcORYUDI6bNJCtYIm/c2y2DVru74BUuTxg/RQ0oTXPfcSa0UyNbg5euqs5Obv5eaV9Vri/PW0wBXMUJW9Rvx+AlZRk453qbhyNs1CJw7e970MA/27V7m+Do7QB+IMQ2OjxNd0dxSIv+VLwk0BxH3P6kmEM2i/u4XACKOtkJ3/i31ynE2zpvZShEwgrqv6cHpsg9zJR6OKim9j5yUar5Mqt5b4mr1cTocKMM6QEPW1WbsVcWnbIXsznZsgUTFFKci/tAnFPxN7PNIYNsCEYm2Fk2Cdf/EqeFJ4ZWGiJRVBvOfII519lQ+VOZD1C11ZPJLEeWUY//nZgObQT82CwCCU5EBWseloRT2WfMv0D1s3kDj60/a4nmVl0BMqfl8A4dKjEBCdZsoPHbKmHrKSa3CnGT2CiRolAIPzG2gA7V69c4B88Ox+hzfaCA5xWqQOJTMxslSsIj4JQKhulpJIAKpPs2I2O5CJwuLl+xixu4LKEnqFwec6pLTDjciATsTLdv+Kz/aa9YcgGR10xPyjI6xsg1MDBIgBDSfT9nZOJ5nqvTpQTQEJXjBVcWkEaxlEs76jNPGHVot/BFQA7lLXRrBMF9Y4KeZekUa2K4NK6mTSmYgIL/JQHW58VcfJEdtKSCjPG7ZBEpYL/Sxu4M6u9Kn3q9VRijMp9+EDF9jmUcxRjjwobG1s7svoBe6Tm54dK9n5mOtuTMNoPD+KIaiCk04JUR8Phg5Ptm81wdBziHfL82TgE7BDudxKCzACgQoX7QjE+PWiPOFWHruNxbpfnbM24rwmZqtXde36eUB5XWd7+3MFB0sl+I6ozopFBgFGH4WFA0skH0QFbjlW97XRYAKWTSyD61IwKA4XV66AdHHOiUEla1ENZhO8tEL/D5aI+z7YbHZgMgHfXRss8Kt81MVe5TacpMT7ViQCGKFy/I1zkOJX648QnfgYSANPzQnNuZF3qkitesu1E1yH3+kmK1v4CO0/cFk8EZngTTiXU6FY/p+0gDS+m2pEM3qXse/L1Jb1d8feFyum7caWLw0BUOAe1w4OSGUfxs8AUv2ulZcUj1Mv1tDL+oPrg2FNcSZ9GRFMIE03nqPsPrfFlIskvIuXLcGDFh4rEUVDTVbx5tbbQIKXgK4aoTdMDwWlhwnYIPSgrG1C/q3EPRr3K5hVyYSnRO+7xPRYqJUA+1idXgA3TnAgPMl12NY7+m0UHEO5q5RkwDp1eCdjLsZ1kg3Aqg4yPXvnaMGSIopS+gWic5+g0sDlfuoi/VY117q3t/VI88jauOh6MhhPHjRdShRiFSu+evdXzEeTXjqmgkHcTF1PohmmwvdfwXbKCzTDncqPURqDais/Z3PaqZBcupUaw6nGyre8/viHZmwwNVjseU+eCpR50B+oQHZsKzci9VWO2sSKiA2rfRE8uLKPB/Qd/NcYa1MV+NSfB59uLAT1zFN4CHkWJqle0bwPCcGsFmRR5/vikkEndykniKtxrALq6UX5PwZLho3qjGXhhTxcTEI/gOv+TtEI+m9I47oSuQGFumJHzPxNG2u5LJWS6EVw9BO9PlNmvR2o4XTk/kdAl5w/xQsD+kvnZM+fg69nW7vTN3Qk6JW1cF+q0MF60FROaOZhvT/StwVWCXUDScqApN8QVq7GafIcZxohkz53mxqexWzC8bwYDN6yt8F5Pryzsd5en9Kc6iRCc3NVJIE/PrSk7dHuvwDEFOrmOo9Tf8oqkFkdtGaHtqmupErCzXdkQH6z3dZvSXIZV7WAuxBQ15rFurIKX8ij9VwUtCe49w7xn6jWXrOd5zVMoTXJx0uahJ3mEAYxVTSfztdbhj62h8I1U5uGKS3k0gQWxFcj2Qz7gTGJsYVWN4PPai92dlf1nkyvOZ7yTxwMlUTr3+L+q7efA8or9AyH6sE5bOke6wN/nozgdo/QwQSMcRsv0Vd5wQJSaB3UZqxhrbXH2EBoiOXCQsBtp5EDdzGyhA0jLUfc/FfS1u5K481+Dazgl1DuDQxiyCmV2l9sF4L2+oVLSa3alaEknMmXuRTBj0cOHrBfVekP90uUkFAxS/gTSkMrZ7j/sOzFLKBGf13tsIN38kl9fpSte1zdZiaLGe032l+Zy6pCyFM2W6mJDthg//A4NlVLYempEnHlvqs2DFzCJPUs7glQ1EsO6UiQx/WimAMiJxmiPUr5vZYgGpLMzucWv6QKBs4AQzMPjUKfv2a5dPU2DOFD289O+kWGG+DnsPOGGGRrM7T9AovMV5tnrcxR1lbbG6Rr9MFWnbG1+chMFvT1PUAAAAAAAAAAAAAAAAABw4VHiQq" url = "https://releases.oumuamua.dev/hekate/0.12.0/ct/aarch64-unknown-linux-gnu/libhekate_prover_cdylib.so" [[targets]] variant = "public" triple = "aarch64-apple-darwin" filename = "libhekate_prover_cdylib.dylib" sha256 = "5f1595ce89ae3ca4f5c7fe0d479978ab5d77d4936755f956cfcf63b4f2586207" ed25519_sig = "Oqmt5lffq7hkMYLv4ygGkIdzazL184DcG5RslP77jks1wqNf7Ptzdokh4qTYYZJ52ywUMge3idGxqDN8De/GCA==" mldsa65_sig = "OjrFXIafBKj3LhbLxO71nyKiWHQEb0JVRomaUXt1NudBts5S7mWZQ7c4JQZmp22FlXQtg8sr4IWoVnNPgYK5elMLN6MLvOODYn80ImvhgEcO30KVyhmxV0If8DGIwzRKIsv+NPjfc5Zh0oSlaXacBqWJ+0fe1qb16bsyN3pomG1+lEpOjUSrmNZgs+ODJzHvCvd9xU29KPDu+QJ+HRbzv6Am6gEaQiACOBqcRaTNmmzbzy73S1RDzSDntKZQ0U7zo2meCgTXkALm1WiEc7PBASkhAMuP9SIA2aTUWWfQPM83n9ivx+fXTWrcvbgoabIgf+i/hFFsWxrf6scy/YS6hJWyt7q3FAUlcY7g/J52kF++AbnJXCKJFPljxIPpsFIH1JZsHxpGtyo2nLSKV49hy9q9MU3HCRZclLgVQ/ttZc/xzkB4g/bq9JNqvjZNJ3T5bOXQrZ3YV1N7bbTtnWBW/pIffxYhxGeIE6aSZ+MEUjtBIHPbXcw6hvEYnz/Rbk7IlG4Q3W0y7Fspx+qFFfGU5Ew3Ry0PonJPXvp3s4WnWE3mabfdDBWOE03h9niphtNBepyhzmVNGXtIgrT9S6mw25EPT1sqntimZFMQeg/kXEQ5hOr7VIw2di570iTkFpqptQN/DT2p24HyrikWnG1hh3AjDB1cO3Bqa0Lzw5tSCQ5+sP3wdoJChv4q5aHFtRCs5zue0lp5N+g9VTePCyY7tmh+HDVBD/R/0KDHQMQj0cxhPLxwl2UcIIlXlJ3DEXvg9AurW0+pkCscgzdvtJLwcIGiC9okw3FFukHEWNEE7p64s27jMKETo4UHkaZY0/bCDyoG8CCzRVJU1lB+c/zP2o3U5CRuFPZHp5fTC+A3zDygKYQ155iF0LnxMNHonXSsPLs4t3QmGX98T0zkei59LIZ8br1XELyNzPywIYtYEPJEHZhmHwt+WWGbQ/Qn+yf6tcYOqcsOzF/xj0hxAPkkLy9eKRTmO+GjnIfGvBwxXpWPWdByQgpc0nFj2Ix5b08EBEzmCxHE4E4TA6UK0Udy4Mo9x89kEebX+Zw3YGwXK7mN0cH0jogqG8GfzMnWd9FI7t/rMD+0n/hlfAxho9R+VBjnRI8Go5fTXABTn1zOdnEjlndB4jT0WmcZdNXg9mvascanjT0uBzrZY3lfgZtqOPozqYGHgWNqC2zl38p5bcQ1fqHOR0TA6BplxeQX+2MyLnQNrvoqFIO7eiNDroz740qIm93OXY2TxnD1JlK2bPoOvMGuLksXrx4lJHzbAMyYaoi5UOX0M+OctA4jWPRd8BorxpjGBvmI3QLSMQpdrsBVzZq05ZDgIidHDh8qccAXPVIiL0aHr5tYCxWNNaN5vWvmpye2OUd1r40wnRXbb6onXqUtoKFbHMGOTqPXtk3m4h/tjsBqtEcG32wx4/e+jzDkdODSDx+U9gTAfPl35pOzX4Q31V5c+qZf/2hnlf1aeygRDnP2DYzjoKjH7FEtR/UdpTLLuV6kUeRO3B7P3fFW9IyzB7DXrpTVq2aR4qRtT/mL+rVyNl4UrhXODZvWNoxlNDegmksT9tAF+qXnUlXkvqYxXM80M0FXtljA3/FfxKwR7EOYdYfwSgDaxBwiXPtYubfUB6km/nVTogg1S1fFJ6ZXf4htnGGgr7vs2MuXxHpe4tjjASY7/7IT94bgpsLCHVeJwP9vtyOixSEKEGA5R2VvEOqE8uB6Znda7A9I1q5l5EHjptVBcSr6zEOrCkAzB0MZ8vw/Thl4VfWir3PQ45Nria4dVVln/wg5Gs7FqizUjga9rtePnUqiNSgyhpKJLnK0rwAYPunq9vM8CpRLg4Wx4Don1OQWx6EphbFLseELru/TaK5Le1nyC3nEWclOvjiil7mpXRq3Ba0M3ZSkC328sTmE3BzrMTbh+XlBHxwVka4XuKC6uS/WgIT4f4LMOL2filnR+zcYSJqqf0S7v5nZCM49xVDZDuOqwMbcxbYhrvJDqadVo4Qlv01NsSVfdd6JcJo0FIqpAfX5QAOaWZA+mbhCdBgXWWJnLQ/i1efnMZuimzKrcIzB8EX/aw2QKrWrpPSSsKRD7oP6HVrWdq/BDBBU/oLugmJhmDSDCPLNlFmQGRhll8BgxO2sY0Y76M1afum880fno5YQStdILaSOXy+VkzxMOmno+AeahVDdYsaXIrM1V8ZtV2ziEIetuHXwZyzlTmURxBpnqsZJYQ+b1LgmhUDlXutTpY0haT/XOoYBKoQkFHPKSrAsTs1Anp5O/tQ0lQgnGvveYnExwp4/MV0oZYrii3ROtK4I7VMl2n0d6Z8+CnrCEWeFnuR/41fRnuJ8Vfq3U7h4YwEymOm3Sk+SZPVdd2081ybJIzzJH/PBGJ69m2wJm1Ptumi9WiDbUjz9b7SmNgddqWAMeEKOlD9DTlGbsWd7NFNcnbWpBF2q9GAWP2DYE2UgaSV4dcDqMO0So8r4JIRYrKScapRtByhHuaG4DRhssUHb5LYldYb9t8+HzYKcc524ZwmDnZ9S4QZV4V+zsnAH42FREjCLgihpJZ2TZmJpWgWDTl1WF4NL5SftVVskQV8uOC8siK+7unq6xcWpaCVQ7DlpqzgoWwwaudHcBa4x8+D50ZQKuGig5rKQthnpsW9ydiU9U6v4JkXt3D0btWjWuUYR3YAj+f6dDAeyS5BFtXVl0+jFJe4hFXWGTedQbVUIT/bzFHJjNTY/MtJ5pQPo79iNt/872yTgNtx6rpIzwY79klRUu7z+VKu9dAG0vJGr08VLC2suAvda+1Lp42+JP9IYCqoeWVXvU0kmGn6ypRWupdYe6nCBe76pfwvWDvi9+BczDEGYC5yci2ZcuLAH6/hQSfgsHi5ObjsB52DyBQRSW/leW5cf9Ld5s8RAOEFF1BD0UXRVda0ywk3yhZKW9tg3mpnxhJsLl+twON1FDaPGSARzmK/nt2VHQFJPstIBlVBYT494FxvwpucZ5EVbDZxzg6yA8cfEisi4wcTR8pWBYprisXgo4zu8FZS0FhgmZ8aEqsYHtr1yqWXuVc7RE5YCyPCAzcLJxfZ0bEMKMJ1Q3lPMzIYFTdG1Q9J38fKTCjVcNWpw0Fv1Tcpw14agyzzIetJqryWXRhHR5f/r9Cdj/1WpN+UOyXyQAhgKE/i2cNe5WuLSszrgzksq/2vgngq1v2scAF2sO/kaU8BurTGhmT79yBaSLPmZ4F3wdUrWNYAxvOLYe3GCfAcSntBh1CX6UCb+t3iVPvZOLczyHvQ7O42jVsQCNu2TvejxkKTS78FoyCnTvvdotuyGEFcDLz8FujQA9DYCmATSEX3/3ul+PmK++pSBpC7b/V1YIxxqrowEMSxrhaSfwhylX1OEAPPrBWcyOAtD3HaGgZv68uZuKY72N4qruOFyfEzLcPZlhhgBNAcxMsC9GWatk0EzP/3WORkvgwfZLCLaRyFzXzmxRH0swuOfsNUi64uTOmTHddNL5lY6VhPKwyJ+5Uetb3ymAKveilRlNypdK/ER5Gg6KH/kxQ7lzsyub1aiM/7toa3YnaePvpja/igrOmOtOWD9AkVWactfBDCzjRudQzfn+bOQDM+VBHxOIhgAa6PFhhv7IhqwK8pivmhM2hdhFX+l5AigwWgP7kMAys+QGLk77nhGeUPHeXjJZ7lOTXggTD0NRNc08vbks8Icg0NrIS0yQjfzJ6AAEUUh+2BkKZr0wZbXt+sFowV8gNHzbmY7febJ2gwGPNH/D7OuvACbdOBsHgQpJ8u/o1nnSTeR2nqRaCQWuQmwH5okbGv43ygdv4gESH6v/BpEvyDfi2nwxT/qH03v2FHaq4L2Z68t9+3WDDPHa1qwIqAKKdKsJ42DcoljAyxkBeNTLzMtEhkz6t/mgX6qWDUKr30qTv3Ble3flaT+NIAeuRXJO1tOeaTBv7o/WCbDYi5mB/ayhLYIyx6yzCYvTEk1V4ElblprIGqy0f3mj+IsWkLfapUJy8QXpqyVwubo9y/8J4O/WlkoFK0T7pyv2xiRVy31pMEMCKmsiGlyEFq2xF7PEgUFn/gNqQyYWMdCe2isaSydw9J9jjEYGSHV3C4XlagmEHmzMfJ50khc3kFbS0lZFywC9YWHyBHsXX9Y7/+SUfD3tvKIUR+QYyqXZF2RPiJulJmXdYzBBv+BN3ISqa3GWEfusqA1G+EQugOztQcMGZfEcd5vai+MDpVKFXW/WmEjGKVjmB9ZaNT6nwHef1LAvho5nhyRZeHpRzOpXjl+ZJMFE+5gRvN2H1hNRtXrDFLR3PHlFb5LCJWZ0yToKgQb+QZhQRR5sHXUSQDfQKthC6LK6k8pqzgPksHH1u3vRWBpkqQFjs3X/Rjq7BknPV5jdYgBOIm54OgAAAAAAAAAAAAAAAAAAAAAAAAAAAAABwwRFBsh" url = "https://releases.oumuamua.dev/hekate/0.12.0/public/aarch64-apple-darwin/libhekate_prover_cdylib.dylib" [[targets]] variant = "public" triple = "aarch64-apple-ios-sim" filename = "libhekate_prover_cdylib.dylib" sha256 = "5df484ebe8a52f532ea44ea354b10b02411189c5eb8a75f73c404ba9620ccdea" ed25519_sig = "XgeG3J9ju3KYWhv64Eq8IIyH8FKfIqQbN3T1OOo2GhVx8Xe1B5Iu4hAk78XGzSMFb6WxsqDDfadtMfGXkwAFBQ==" mldsa65_sig = "rYIIFYy7jpjVQfnPZhUG0QN7iJs7JYw24RFPAvA4bpj3/L9ISs2icp4LXoal0GB+iKjBxwJcSgfBT7YbEsPtKsbIdtTNqfkAWH12rFEj24J1kFeTuG9GRxQ1fSOEINHsbSobSCXSH9d3hjiDAeEyTFFr9mRHU9sPhas7OWiGy8GLFy0qHDVbcAFQtzHtl0v8nLu+civ+ptL9Jh7zkU9/8+7O86GiUDeToYketVJVbhOaYEWpnSLkE0HVndU3pL6edBi5kHR6o0aMr80NFRqfAhXdv7hNcnneY60MIsyOEJQFPQhunr9t668UdI0msp9+jizs1nW6oC6KMURKLE1A300lv46h2Ml0tq0BqQJnKVcoOy1w6zJi1AlaQzX2Q6KvvLtcqJ+wyFzp0W7M7RDEG7BykdogQNzkGrXOc8tyMZzMlNHoVgMEupCxosxUGvwWtgs+5IdiY4WsBv3MsuLHHAR+kL0ePKTRFV7J+KjO9JLJHV/C16bwnaJA6bERSWnO5qaxoFvGAOepnlBHKWkznneusiyka1PoeOA86zb2iirNGTMr+cz81/xzywHHmKCAmX/n5FzzBNfouKt5GxUbLwjT61vtWzhW2aTMhi3yject5xXiitxc9JSsgg7uCkPmMbYfL05xFMNMv+ZhABi6SwVaWAArkJoXtb8Z2e0hDkpd9wwvn9W74blI6eZ7Dv2wA2PPcMIqdvcefhHlJeZ9L5p4BhIF+2NvrULBjzA50Hi/564nvZEogH7T1tgl44caKdP6bMshvOQ5pQq3JjRbe5VvaD9A73XcJXBezRhRvEwX2T6usa8Xw27wHpD01OqSXVSDUFFn8QW8BHpwMMnzFfDivjUNCgSE0HYQxkqPnJlAA9IRLB5zLpi9FseTe5geeTAmgs/U7/G1I+U2RZvI/ccGCr9uHoc7tB6v9NQqUAtRrLIFQpZT6fAF4DgWGRolXBPjKMA/zqrG0f4HbhUXGF9AfvizUxGd0n8dJQ9FVo4NdarPPDXlPhrx3SVAD3GkYUcq+I2jn61W3WLyXjkDY3cSvIFpuuesXT77rM3PGfFLdUI4tw1bFUmy8nkEaBppII/hrj9a52fZF30vnBew4X9gnpl/giNwd2VHFoZ2mvFxfsl8z8C6aGQSe/ZH4FSLk9PlPkW1J7UZ0Zxx/eZlvgPffJm/00wLs7t1o6KSL1laJ0s0kN6qITjMiF2rcgzI/wqdlvBeUCZpGa12YEmexBdCvQC7X2g9NEHWX5pvqTlYWVRoCoRu4E1Afm6fPk13K13bxLxpNAUciAjfdwrXG3iKgsPdP16+HQeJs17MRKgGB24oNOKOKGlFZjysP5CeWfPyWmokoQyQeiuPA2DpI38XElw4Z8N25m82uoYmXXCh+CwlfOGEBpRkK7MKKMf9MFIhg6OdnyudAslEznHJ6sSC44hYZKUQVZDsBKrAKEGjgay7MXojkYkUEOzn7gAw+XCsQhbPb6LP/564n3sqZsAeJLU0xhTw9VLq09JAr/LiPUk/MZs31sfFGm2Pbtkslu7CGNsS4ChVAQjBfBEWWs0loMGZDfAXF9FGKxjAsT0if0266fQ0hXioZCNMEpwM1TEgMEWP4DKA91F6NTjO9v5uk8WGM1pOZ1oBus4CqGlBUfLrk5SHMr1IGPbmDUHWvc9mjwipcUhONsRZNqUItBlnB8cNFkU8a3IwvOl07A26kTIZx4kGhIMnnL8Lj1lzor0jPUxTUAOHNd7l9aWbjWhnB8ei2oy2bE04bfZ7swzGocsV/5fsvBeuwaZ5VUfq1nl5qjDb5UnIOytKyiSqYPOLVzhtM1BP3SEj5Uz3PsFj1g27+2zh0A7CRdDuDWf7ZtcFBttqsOENejH17ucayIrAo0eho8vcU9AL6Dugr3f33THfikHrSfs9d0oH/X0Ggkcv0QQQMxtNcyOXyznEIEKb8QkEPuktvx41rku6TvGQjDKrVAyoq9mNK6aTpV9xbP9Iv+7Oy84l/PT2nTKiL2ZKD02WWuav7lsXLbTdwPHZLolk5Vxnh1vK6G0EIQJanU8l5iFHag1OlXvZEl8mHdVqXQdhljzOj13rEuQAnGjZUkg7+neJ1G9snZY+Wdu74ZCP6dVJSJ47FujxOYZM5Rv0KbxVRx/Vc/D3qmkP485GXeZmQVdnkbJb+5s9xXSrVHRDXmJYLGePSVF9EUko/VBWWSVpp6xtiV7JnAOB3PVWsi3m+NxuCfKAIWIwymPA5txF31ktolCUgce2W7fGDSczWcweroH8hTWv16MYbiU2591kOdYtHK1VT5QwlGwdfEK7lLHlcxHMHssWRx8AE2c+KlLVLFIs2nve6bimG5rV6+P44xjgXVPdEASPEu72Gi6kCSxPXxBdcj32HU4tl7gJ8GK/IT33Ky21JaL0MF0aotF0rp9QECY40qKwtLKXNSEQU4aRXcRrIff1WZftj8Af5eDbrVVN2hvGCV59sHkMLmjEqeGHaovBimDcwuRfgEjuc6vl/NzpZfnOg6dslNHK+il1rr+EAl1ONC/0RXaGxFqWEvOitXRwjhGGXJew5rAhcuPCrFA7PFpjpfxjPzUTRXDztkomXUttkjwKb+HmcIw4dT5V+TW+YsZ64x7gBhie9xKgHldtnehbB5qmaCGbvWZxnoAe7QLy3E++RR6pj12l4AHC8heDp4IwzfslcxkeJFwXGaWZ15dDUdW8o2Vt7DviF/s+69F+5VQTHdVoP2ifkDM4Fig3sY8JRj+zwz/ZuuQw77pSzlha7sT3VNuvkVhN6i8Li/UgY3rJXUyUb12YYUVSgwkQrfaJcRRGgOFRkNdLohJF+banO/i7RmHT019n+CH2UZk/Ngy+PSQHwg+OQs2saEBI9XmAVfSeURxzdYOwDgY1P7VLCn7MkXeIVpAbX8DrDI8smo9RAsE3e/UPdMDEKpmojndU6rUsv3NYn0RhzdUdr418iwnAErjX3Pxfk1+Yp42NYVKeTfed4yHAF0J8XhWg/UWD46+Oipd3Hkqn8Sfk89de6dXeT3+9DG05t6VQpM10wZwxzfYeNFDxAgKpo/rftv98JhI3Fs8mAvDk0cA7HaVyiTj8HKS94b+FP4W1aVYArQkbep8R0Zy4dgMNppKESZvbPChtRxEToowoPF0KVuV1YAQK1kVM416xk48Gvefq8ySPdPlmIBAwt0l2jF9cmCAxkGfMD06Oitf37V0OFIreht+x8g57ptSwQZdALgjuxCp/pwVdefPgyCPQRvM1llf5ON9raAD7ZxSWwJdh0eSX9oGeCXxPTFKPE/NXzPG2Co//ir0VdcSTcXAJxCTm1azHOISUFJ/bOARRIYgLqPSkGr36W0fX7Ikev2IPVQBMr7W3CwqVHr2momat4pkufvY3l7Knvup92PN8yoAIDw0PKllXLkEA3U6WKxRjde6XjiVUT6qpvOamyq30IYF7YCthQxntIho9BuhaLMoj9hNB7qRlrMNSXmembYRyQVOw/TTs2a26XY8SrAt1R7UnmD4N5QY0O9QkFvpCdQi5NqgCVcYhmVL7uxQizcWY5h0mceqArL0aSvpQ22PhYT+0Za6f6nf1tZlJgryyaLTgQPnf27V8TR3JMcvhobWiYs40oC5Ws89tRpSgDHWTHt3749wlS+aJEgBnbzk3PjSYB4Mez5BtO3ZS48TuUaOCGSh/rPV7sGZpnEVE9Mha3NmX/VI/I3thIkTvU2LfVEFheAfaoXXWtrg5g33oLISP3MsaY1SdspWnO6Z658eCXg1psrWePE0WAGL/1Xkz2Tx2jqmOrKa2ka0rJEYKTjPPr6qeKRunZEXR9MK5sSZ1m9Jn8uH/xC89gu4sWoNvQEzQNHSs7Zh9T4DZNeF1re9LuJHfrJ/dti0ZvDtiW7+gBEiV8Hxq2EBocKc8GQeXRNDvYHaCgtAnrItnRGpL6VKCt/HVwh5jOJkgUUq+h3RJMwLh/Neo3m4pgzHxeVoyqBBp1ZQzyS/vgF1F04s5zuJkMZyMIfEuZCFWWc+wO0P9Jotru6hv95lUBjOnKaMxvE12SKQGAeKJLQcuIzG0GES8PYs6Zgj5939EPVN2Dbf5F3kdf9h51dTDrE2RkdBedKyQ8Xz1lBzAr/E9xIxZh9y9+6UEudAakzXZWXQet83EmkmnQWoxvEsQRyziMy8eNlWA+EO3mM5X0LeDqORUkKfEzQ5yF6EToVNm3XLjUO+jEP4HfESk6it8ZSDOQs+u6vuM7oi+u5lrW+qpNpxsBAi7g5TgN3McAokxVXYzwh8YOOYRb4YpEm9FwPohV+6dRd1HV+Z3MYSAErAGDKA2pkhOsMl88wHWiyQoW8HK8AV0mxFEVrb8GkNSXF+ztSJLWGVseK/09kVedHWMm6myAAAAAAAAAAAAAAAAAAAAAAAABQgNFB0l" url = "https://releases.oumuamua.dev/hekate/0.12.0/public/aarch64-apple-ios-sim/libhekate_prover_cdylib.dylib" [[targets]] variant = "public" triple = "aarch64-apple-ios" filename = "libhekate_prover_cdylib.dylib" sha256 = "d40e9d262e6e91a400c265eaa4b84e67a38fca474d215fd08eb9b6b62d9d8dd3" ed25519_sig = "nEsvsy1pobY41Tv9+xmgcr75jRg1kNo5hnQ4YLDink+Y5nR/9jwpUgXpFi+pAvAVZraS4UCC3O/UlHw9rfMeCg==" mldsa65_sig = "r7yae5jKgb2sz92Vp1LubfCwQSqQdZ4i/0hUGZzViILS0nytUpLPrdGj8SGfJGOZLJtKrMj0CJMNRyBrjrnEzFsDaUeQZB42jGDxi+2cSU0wk3NQs+VBt6XIoBnzlgy0hK+L0yPM2ICdXm55EN8Vn4VNsFhS0z+gUSDaCx1JN+IFw443LTtXDTxNp+HoxXdu85TsLofELxnDnDLioNlDMfHRVrIlvn9mWbfamdVDNhzsz7s3IpXAxa3CipnKEGWzpl80UIadOrSVzFLWPoJG0NOGnp3VbUD5q/yEjU9oRps3w7vGuTJ8LuKGaNeWfJcVhRvLFxniq6AzuBL/jYjWjEKyIN7jZQVJwbtEJxf4ASilTpqGqb8MSKKCrZ+Dnjdwwp/2hj+d8ZjkZz5xarXIV3KhTcUOd70GCltny+j3mUs/HT5R3cm9vjZZSr/Xbz/ewz3q3KruFtKgWF8aapmvjdYBXeb+Cckm1pQPZgrHXQHPgYQ6f3T9d1eNiVxiplvua2OoE4zrgEqzySeOt/1Q80Z3cqX+Yw1KhF3u9CTRTuEinMNY/pMCVuLdSiGbH161bFyabFqEgPRzOev2J6GxL/7CfTxH7oKQdV6Zm1+1F+DksxqReoibasakZmiP/n3pENrXaQx01FZJsTSFhy0pbVyZJaKL4HXcmNtPr4a5tuo7GYZCyXdbFgIEpJ4MdbpCsibrXIy+izTAkGooGu1hDfQ33x4uGTSth2iqkljhouYK4Gwu8D+nr5PxyakzCAhd9wayIqbaQpDIqfdOD/ETf9FAVcw2T7obf1qJuqYJciT7HuetcG0/36dHAjk1JakngX8Q6SKuf96F8hVCxjOu3AUBPO0nRV4qYeTEb/ZQabEDsjm5OY9iW3rbvZX8UvSA/cjuozEbNu99uddXWKK9J2B1LtuZo7a/UxMoexnx3wbLJgzFYJIG3rxZhveZGD2bXrlXVr6sNVo2AG9orK5ENmLlTtMiB2JqK5s8XDeIXPOich7CnrgwlyZnkcxPQwtj93kyJt1yWrXMPlc77n7YSlGvzli/qN1i83db+P7WQPLWganaM6PEZi5C1dtI3ofrNVtqjuirlLuBwIzS2RjyDDtLQ+gkWTcogyQqaS2U+VtFM7riEUvbgITsa9W9Zi9tF77boZ4mBvjcBtnoXrRgjrNQEOAMoeW8ttjGyV7Xpdi30jv9pXxV+1FyXCNFu+DVmRlLpiapkvnlvBNwPnyk9uSR2L+c41fijdAv/tUc88w25TaSUjvYBdIAnBhrElCA6jy5EtgmRylynnGptcF2zcIl+bwnF+DHpR+iXwpzD6KrWvI1NjniPSW/ShltsbsVUP5bOVz4rGwmefGO7pENCGEcNmXkTGcQlAsBL98xOaxqBbu8rCotVPE8IMOPMzQflQIti6wSL066oMSC6st7LuG8eFvJMGQ5N5zwgzjHOVVBo7ywNqIXPu+0MnDcfGChfH7X7IdcL/uPOmANqK2nB8jWQKzhxxDwkRQpqsFUJLQHHomEvr9i5WqE4yrqk657j8CsOG2f4s/F7FfHXRQWw6j8GIuAAEdu+tAkzaZhpW07gk7JJvHK/7XEvmLjlaZ9krOSciml7TPIaQx0nMiJcS+eIIZmD71oYrsFWpBSx+qqOEtbnPclyq0P6sdx7Ib3jtp+xT4igEaP2YlqFD2mfdIpFyXlBjJh3EP34mZWWOsbqS3bKR3Unct2x3HKF83XMng9zuB4waFhJrYNM8zxXwy2aGeXYtH1rzng/YQaU7r0I+KqBvP3Qf/FnKW4X7NPRzPmTt4YX6Fp26pp+PPmdK4pS9dC2/xQlk0te8/hLtdGotmnspoZhvTAxSgQS6abdhkbDRPcew85XPpZMfXsdyDeiPRM+Ztn63nqwe+w16D1lTU3aMq8DRIOuRrS1K2qMP7R0OQgw74+mtYZO1KNtNP++BAkNFNCiQ4hAvUk6eV5T0j0xxSCyvCEFLgbIrcL4u4K8PN4mIaEp0PYgCSw5FdV26AnnW2Le22kRPTS0zKfDy4rxX3vnlusRq2bYd/ItMySWXJjeY0X4DCY1f5rHY8Md0NAz/k8p0x58ZwwtPfpMCD+uSe3dfT28HC1dmi9yshSyjS9l0dmClVlyuAKzZCeA8eB2z+TIlyKsQCAHBKpN7emjZuYprHQeSnTsoPiEqde27l/22Sfjtnr4cF6/4y/kZDO8KVhCRiOQnwst80zhtM3RC3pNGv1ngYonI4JpXY9WmRlJbwulvA5+ZQ8uOpjOjTcJGZ6yeNG2dmwLRmi4s2eOVM1lSKPLbbBJizFouJqzzvxIQw4/+ODZLMdy1ADL2u5aWq5/Sl4EuiTDU6oLCabP8vdBvcYAIS4joy0jftKvAHguoXRR7xvjpMYoU/LxodvHyEIaDEdQ1eoiD3tcR4xHHvYjxIvbWEZnUu5P7854nQ3mtm4xcu14/B5yG8ppW6LHCIdss/+3oHY38afEPE3NV0wMqWQWfkAuBC/n5D7e4bwASQoArVPvm7PbWIzQdvApU/bYlewf9GEm2+6/w/UXf47YfZVsMhhWTZOOaXdHC+xhVb+SkuRYMks0C6HqvvDtX2L7woYDx95aSMAqkAmrQbPkkClc0kpMrPxmB0ABUJ0eXiOdNcmDQpNmLft/l1cEocusHkl6dtRcMxeJ1Wamemue1aPpGxHeC268ejV0VCxgB9jZT2ykoK7IT3/54sbEdOGGPyremPStGodLH1y6l3cRrEJXFCQuTEeukIxJxcoUHTDJB6A/WMmshdYHbHwwbbn0PciWdG3dG9760xxtmML5Kv3gGhyuIApeCvB0oL02mY6h1hrn0CJNWUC+xor+GxzqTd0N0JSq5kOMdn0LZbpnK5CEK1KFNayUL3ofKjXTmFva44UhjTOW/hBj5BPVJhwvGSwcADFmdZRSwoQur84luvCmDU4QHQZHMTIk6aaThNH434i2zKF6imFixuu1Ag+G50c3qYjG1/z+4EdgTqvKHIOIB/wyt8tPo1ZYf24gDHwC29pOVqlTGON2DQQ7EaSPHc0P0kOb/6SwjqEnkPu8NkWEekuddldo7gQBxyy2qHVvGS8U0+wj2yK2NoTAhgKCGONds48h8hzTSP20NmhjeXQ9pd712OKePeCl+Q6pRWgwZRBmmCQKn3Tdn6fzadOyt18H1NjVP/KPYettnG9FpRiMur6evfMQPnfIhb/i9u1NecfXz1kxMdkcbpJQqZiWndKMUR+//mSyMQ9YVk3Wm0Xl/Eh7BkBS27LwcyJvCkWhzZt/ZG7nBX94ipll/H+PIC7x2XEBjZzko9ywdLcG4g3V2Yi4eI5tD/YDYH7vnH02jLtVdIcxgKhgh59PcFRM5fxarVipWNeQ7uzS9irJKMQCKSPfUQNLytYjkW9zOzmIk0H2CoSQxECoFAg6RlZZrvWrTrIpTs+9etGRDRON0FNoO9SRFZT/AGhL8JgXepen/QRHN/PNcDtNP/i6iF0s2BKJYkLsw2Iji5I/Fu2HY56Y8qthgYxph/qy4yPBnN1Nrf6cDon8ny3Lk4GhptBUlocncj+kYSYwZ8vir5qM3HPHUJXZk+RLjA15/YNTykdraY+zJ+7H6aFvnYia5w8RSFl5qB7jq/B/pIaVs0copN2sgLT7mP7in5nzs7DXYxE6/hoZwnMQx4eYGnMeLZrTv2f1xS92oZi0srqSpq0n6yywAZBhwQhy+hJHtiS9SpdXzZAYaCa4HfR43SYfrQezfINzwBcO5qi8CboSVrvmwpIs3D36QCVnb6XVcgZs2N8DpzdYJy7u9+pImB0wDlBluA9FOtMM/jjvcQhXNpQFQIh3mh1DGxqtWe6nPZB2N4bA4Uw6Z1KAywGbRxybqVPADsJKK9yK3qVp9Tl2dLIU614DUbn97AW1vcsif04vnmXGZVi3CI+KeA1CKwwUNU7cyEBQmEu3U2Z4kzt7IEvUeVHTPhGSb8b1gBaxjC0fVDajhrrOf6hJsIGWvA6fIIuoxva1CbKiP9EywNPtVa1Ur4cp2gjWhKZCUz76wbF/uKtO/XM4mOanaLKqotYPdol9Y/Ct3bWVU4khS+VJs4GF2tL8LbBkBuUzZPRJ/E8tWyMdL+wgTUz6wFJEYXstjWcJ1ABXe5SceKAkULilX1c3hNNBgKHfolyBi6IyGVB8Qt1QxujhpYNDsU3hzaorvjxvjENLPnCAaUXLQYYr2uYytDxaACvIhI91uvzbFYNFMWab8ubNQ1aiK6ToWo3r2XqegIWGsKCd51GKq0fIWsYss6THZHhQGXIndYmDOcfprt0n8IpSdtyOuVKaTM4kBSHqc9J7+gnoEYUGBosVqHTBbX19iuOlsXGBRYkPUlNbytNUWers8Pu9Rg0P0NFSlZzrbbIzQAAAAAAAAAAAAAABwsQFyAs" url = "https://releases.oumuamua.dev/hekate/0.12.0/public/aarch64-apple-ios/libhekate_prover_cdylib.dylib" [[targets]] variant = "public" triple = "aarch64-linux-android" filename = "libhekate_prover_cdylib.so" sha256 = "5c339f8249da3564ecac46770cfb96a37cc85c044b8c938f55a0d6b29206d904" ed25519_sig = "TqxnbacLOK7fmcf0VNXbP0kPFeGqMcIh+uA6H5JsSTzrK6xjEvV35WTIANM2dfZqSAGP9KNvwNEoDB/pZH45Bw==" mldsa65_sig = "Ko4r2epNfiE4Tpc7ukiN3raZFtHpC8yJScpMP1sBhUCFZqPSmxtUtsBIzzIfLl9n3vjJqWioSlEu67yqUhv8IRaPfF4nPTGfANZempmn+vKU7YKUcEEtddVXy73CelrsTKy1fxOXRZToMDh9tggiOogxRs2CP1+TMhw4W8RXY0PantzLaqahJGpFYhZEeNWOopJwdFTmKlNtY7IJwmdMXyS6LDm/iAd9OQLy90FX50uVSCrqyHpGjN1Pg5VkgIZZHfl4I+jE7GZ1kMx/H4U4BPULbGafd65UxxQVYuOFYxUWAB4tnq9B/i5Z1IeXbt2/QymPsO/p2R8lZWFQY52rfi6JXCoTmTw8Lh2TrFpoLe2Y/cg8oj6BzOlRumGbJj7ZCTF7Ppq7LqqTvDX/TiEOmMu+iqlVy6uPytEE1I/d9rGrVv5//DYaCEWrGUNEydtUM7NRf7Pfx5sV12lxdEUYacI2K+GRjuwz8zvaJ77DuOWCFWi6wabz6qtyGZrWAFS8kF3C9PQUj9C/WKBO0Uq9Fu1mdllKla3kR96QMygJJXZHhYZUMw/Jpwh39E83Rh9ITlq4VPmSTfjM7wHOlD2iVjil5yqtcAEeIa2LQ5AC7hme3zBFud5HYpFvQTLvGhJCwrS+ShOJsjsOjoWFX8g4qRVUXJ6qembAdWhTU64LvEmLz7EcXjs1QbvSoKk0gzFwJB2Uc1emTFux5a2hhcnFp1GhC5prBPMp7HcsYrZqVhoKjH/KguydhitzlxF+4I4G3ZI8aSUxR5kEWPM86hfls4haFMztliK8uUhiGwPaUKh5g5SngDktBgcinHyNvglxvpyuIPy78uAY9UhS92q0xYSsOd0/sDmgHDkS/QSsBm20GqGvi07AaWKT7n85jH9nC4MJP0eL7jYmz1Vz+1mYicSE51D7+WdduMm7NV+hkeKj84180cG4K7ngYKOf6WiTgHGBLRx/E+HsWKW5BMYcaaWHf27rqi6AktqnMVhmyDOrFuAFYubm1gQsqla+ITPUhpbWCim2ABmRbHOelp0dAhbjrwDmYJj0zvHitWzYXxO+i6sDUg0A5hTSDd/GRTRCc27oWEL8eVbiIpij1m72+SoS8OHsr+Xq3DoIjcCQlTHv22eLLg8duOO3sM6u2YAzbf78zhSz+paBSO3xVKvPv851teNBDtVp2AzGUheiYj9Y69qSMpm6uTZPKsB2o3/Px0poJXrAiAT0rYihONOiBlEK5Dv0Eb2ZyXhmCaMvaYEi8O0t7zuAIM48udgNx4iXs/Xl5gZKUJDRiQqSu2l7V4xqKgmw5G9TWlh+OGjjL8+1ZIdA/LyWaFCe/E72s5T6BgEuLZSKzp89TV1LtALdqYUn4o2vIZf9tkVnhOqzCyNDd8PRU+/ihjLQ4F+jAfFSzeWRAgxkaQkylIn/nnocj6FbTuGxuChrLNWh1p3cgPBr7qfcjb58t+akfj4ruS0JMEyKVpKVUyQlWJQ1kG8/8bxnhmdX2H+4rN8FdkxEmjxNDPN6spmdUTTs7T6AqekagOduPmdIGN0HmUvF2RoMsceoQ2D7KUzMmMYOVTcovFZHg1fCOP8hQCQtUIS1dvkS/VT2OCwGSWy0zcns/DbZDGFhFoIxA9Lr0+x9VrsBJ3hkN+mPshMCc0jQVAAmVHUaUntIcyq8HtiQtEAQ2qwpFt6xNnwJmN2mEx+9B4hAeaVsGBGO5+Lh9s2GGZE7mzjPW0D+uJGfON8i8Ez4qRZjC7bc1QYjnwg0E75oR8v7+LLPk+OfZEgbXLel/21lF35i8sFS52QkPIkUH39Bm/rFHr2rfkqHZxou5krIOPIxrI74PfCpNJXaCIe5TMiDL/SQ/uLUckNoxQFpS21s1M2+U6PYxxP7/gkFkbxnNI8W/LnRYECG9eMvj6U4qK6gyARb5N5xP7PqaIIJ1V2qwpVwyJpzkRUE8HO5+PDFFAsHReyBTJP4ZPWzbSszauP+caTM8CQwzB+ITiUmkNBmv/h0vnuNHMXdeAhZw++M3UxdobcrRDW6hZkrEYfhgCy0OYTgZOa5k7JVdr0+lU34c6JowOfqt98ddbVrmD3Z164KlWDbrPNCDIbHHwXcqV4lZk+t6znlsBTJYklIE4LoU9r4tecIIVfNyIGK9whTM8yTC+EDt3qHRF1TyRO9stuFpjasxc19A1it/7DW6+9zFLUc+wtFIlxUzHlHVjsmMaTaZ03Rv2544OI50E08DF5YDftrA+cDsiuLMGHilLbGsjeMqqd2wvGM/ZCzsSijCNPRyCkihcI7JYksOXFhiIaJl07tDOxzHmR/VSCfQuD84EVsBudW0c7jp4An/9ml/ilfDcqOk67GWXMn2Nh41HvcND1o7A/LcIefNEg6VEkarBwhbWaF1W7zu5/3ucQbvOhYl/GaSTfuztDXTF3/dXVU0vRQUqF+31j7W9SKgT2Xxji4G5Tfs+HeJ6ad6tOpo0spLb0elwS8LqYpdtRUdXbGD9EOjanAIeInspSAzsvgHmqTRsmBHM0kUTlBfuWxsz376NFjFytOsV97RwGOmjITc5czZCRbOE9Au29n0BN0YKJ/1veYZOETdqox9xNEZc5pTJQv/Xp2QJ+l3QMKocBlStclUZ3ac9pDP6TC6CRnynv1deHIj8O/u6MQc/hu65s6Ge+zFQdtSEVmrOjE35+DamN2cByJk0GkhuGB5iR79BoYnoOzcGp+nA4bkbaj3aXqBJRc6DSg50UenyP3/3caF+dxfdVCUXAIa5ZrZfiKcIuWRnar5cRtIZGcTU875kPsfXZWqh1+p6bx97GxMMnzaoLg1LOne4/gti9XTXE/FzY/Wu9R477bqhzg3GTveh34kfBOiW0FVutolXYYdsPlN/rj4jopW1XOwLn0SbJM8TeZomlEwea2e2emtbJeOiClpnDPHSqDwJQ+wzlrBM+MOjNIoGnQ6FtMwivZALNH2U6PwEHxW/BVbJqoiR+Bihw30JLO9BIyGUwhD3dF9H1DuVhzWnd5G2+/FkK1JJ0M+9K2Qj71oJekTObz1OLesQqNFYFom3ojmcYmpXvIQTFSNcGUG3Ps8i07S/wJBIs4RMr3X3wSP1AMyO3Zu7vcP7Efl8BdG2WvVKhzWzyKvkqH+fTRFJjKD3X/yAKjzuz6GkqcjA3r4QfOCL2/ME3vGhaUXlNCA3xJRimUfaW9WDeA5HwrQbSy9UfMN7uWpVFziYpgP/0lyUXjEN0P/aj81S5fvQ+quUMb5+SklVSlierWpPpaDyx7xd6RfUY1HOO8W/pGj62FFyNvG8GBHKDv+AtF/77xJf0aAYcyJDpJrFBehXGi83vPzgPPE7z57mBAbLXbapnKZCa0x9l78Tdmcu74bugArghnKipkoG4KK2uH1EXiZLnM3Qas1bNaYyoCFEZmMoIdbIEc0viGLhHquYAljm4nMjHQY4rTwxCMlp+zrNzjwyIxXpQeDEL1XUMqFzb3UeI2tQCOJZ0nGAefhB1NTwvd2f9B+Knq91hVdItluJqh05dJ/TICaN+4UE1e7aAfU+LOkiPfQoUvhch6P19grBNuECq5l0AjcDN+HcEGaiwRl2kf5KwChU80x6Yt58sUHH7ZsQG7Ua9VfEvBB4KG+h8zk8gq6OR1Csz0W9Chk7yAPfD656ml9n0WJFpvy4z7/U7zFuCt+YCw+bh6cYCbCY3VJiAEqqgg94lOBfu04d74Kuz+EbYIN0w3t43Zme9R/ZEZ3UAgmUS+mQ0UGb5nogQ4Xl3ENzETr0dWVDhsic4Wb5DgZR+SbR6oiZruJZgMHAiTXWSXHPdYQZivd5RKMaeGXQGRyzGR5FxHy9KSP6WMW9q918E+nbBshkCnrgsJ5SFFv8FUy9tUFTz795Ur+D/lUjn6Ei4/dceVRf6ZzTM8IjOCW194LCiyLyJRrV2RpzxJc4AURzHg089JZKNbZSQ6KmYb60d0S4UeC8W3Gzj+Maryun7/QGfm6WFzqV9hX3Cjf1UILMGi/KpQR2vvKqrLy1tmiu3/cbVyJbXfQMICj7ctUJm+0P5Vc+IuFvXLdSbyYfkTJcqQxmb4BLmkFOINId2qBSyKW14BYLHKqqbVc+VDJSzdTqc3Y8y7l5zY/rnLCCeH5E1FwXFGgTb0vhwHGxYzaYx8OTVLGN63Cbvf+FeuFzLPAL1XLci2FvgC5RuGnzGwgOrLccWGWvjcjFxGy8FJPEFcE9QPwaJdqAqw9hdOfQ3A+zr1r19ITJJM5zr557CVVv58bju2tSAXBJ5IRN4NMasMLQrcuzVCPNqWuJthdJp7VHauO19lwqsUxIqTUjJ+S5VjyZa7ftLiWSAtbqobPoSFr87d+zE5V77j6AwfMDdTVoO4wNzd3vYTgaKssc4eMtTgAAAAAAAAAAAAAAAAAAAAAwsRHiQo" url = "https://releases.oumuamua.dev/hekate/0.12.0/public/aarch64-linux-android/libhekate_prover_cdylib.so" [[targets]] variant = "public" triple = "aarch64-unknown-linux-gnu" filename = "libhekate_prover_cdylib.so" sha256 = "3e475f188f4496edf421420d54b4243809e9b1368c88e9393134e56925b9876d" ed25519_sig = "WeAGNLOiJN2X6XgS06vcpDK+NazWCdlyLNmwZhuC7hsnd7lUMgYNzccjXCv9Z4sNhWRs37nGK+chMlkNNHqKCQ==" mldsa65_sig = "vZQVtFlphrxh0gwFGCokwS0qFGArTvojD3zIrRCCZn3DYShcygU47XY9yChOv3dgn9wjX3SHczbgqrwn5kKBc4oiSCHaiSxEqa4zgdEoeuSq/WZ02jwMjZgHHMf6k77IaZaVS+goDPSi69Q+ZMd9buUkYVPjze+6pDhHd3e+NAqQX61IZfqhl+2OQT2ynrkKa6fMlSxE7ZwFS9AG+0plmOaklNynlgZAX1K50GQsvjGG6ZfYP9t6CVr/97YN1tLridmvCjSRNnlDy4kZ1J25pE1ip5ZrCkSwZUkk98Fhqn1JlUNYJjk3T+bN2eOt+3ofQtXaeHEnHBIv9UmLPXPiUdrrSw9EZH/mjhqMnhPS3aRE890dx0nU/q2tg823YenaVqbwc7z9zslTaInXjCUHfD+gK2kdOAD1JVCUXrS2F6AX4Uj6UgoZ95cFTyjjdxx5lwTQBzVg1u8UXvp4fFXf6eUTUGUb81OQn+I8u5NIGM6Hqw5pMGWhyE++N8K+aM2F3YmsAuKPiJPSc1PSiN5narRnqnfR38UG3pjrv93EFyvtXN07hfo/Cbx5ASPGXhKgPxKXRZiJrsoFwn99vURSS3ABS5x2VxkQGUiyCWj834K5NsyZJExDY8XjPpokDSUMa8ofwSiPeeI3phanSid5HAmJLWcrLM3SarCRApMsqyuUyn9y34O8tp1c/9OmCMpRo6gO/6N3eK3rXZf4cDVuS+HxUbEK9ub/Bf8R1W0o1WwE00BsrkGHv6wJKIF1rU+kWW3Ojp+60V+nDI5wwHRb0olzCw8cRJ+9kYZvd+1Cg7zbaLThuqed/SN0IYxGR/0sjCK9+GTRyKY2KO7Wr/+n3bGYFhW6RrMwGCfWYJjev4kjPCaPYhVxzJ5SlQAYSuhwEp5vt/2tdCK+82m/Gps1gQeiMmf6RWOd5/I9lbHz5c+fk2xT3YWjIfKqxzwfe0crr7m8VRv3MzzMCd6Ika8rOwW/g9M2nN5vv/eYoLq7v+eRorNYbDokUSq049OGyU9MvMIy0FeqSRuNKZFeicXG+6g821zRZE/7lsNo5W2HuTs91O5zfIi6kMeGzEgSTDNv7l+AekQvd7UEMxHzD78AgY8xuCRfU8Y4k+aZCNOnxKpbixzT/gBlWEduehsworWZgZz+rUS7aZb2Xi3hXITpeTPDrfNvbBsVCDZ0Y5gYJkfcWvIYA+cnqoniY7xAwSKl+K/yFa+HgJP7LYj8YbAGdiPVYzANjhQigpADvPKsTppNFfXh62s7W5deieA29yBBhxXm/VzUSbztKK7rjeB1vPT3MUEEKOXZRoKPs88d70Ep3qzLO0r2fHsYGCeV7t/ZVjAR4AP8RnHz+gYMql9LaKBnC9b/OcBDHJdGhA2BSIUD75nM4grpCMyFE2ZyM/uOecX5RxijQct1ifrLvmQJECqXCTM4yDgxquAx/9/w8iJa3sPKQfihTEr3QaLTWQlH0nxha5dq5C9CS0USq9PvPGOmauDd0JXQWA2BWmP1xG3qwqAQIZGVWVGtaNaE7/ET+KnYfKiYOf5EzN7OpZ/rps4fBnk+B2w9+OcWnY5qwmXycElSX4lH9P5w1uZQKxn/sjJl0aE1cSdcXZLgeaVXG8BwzpWeAqWCO5AabpkoSMApEeWLzwJZJB194qyYE6oGsq4aRAom5ofpOgN6373/5P0LjasC1vzie5uZV5RDEEHCPJP65oXCq9f6GU3ULSrfECLyO66/1KZ5AYkEJNBuAwhNz6motA9KFT+t6K5tUiCH6b0ZEbUxP34MQ6UtWo4Kb1FGAACkIKKzwX0qkKaLSk2Xg6f9WDZ87OJAJsdF0MYEi8fDuK2NKM11lkQRNm5kogOWxydUugta58hMII0m2xKnxUeKmZbaF01Blczd+dukmGpFzWfvSmyW0HxLPt4q8LEA/9Vx2aZ+p5H3i/m8CyOzzutwgmE7pdhT1ZSm+IDCEbV6w5ZnVfJ6r7EMB4R3oZKse9wdacVh+fdFMMlZqAAKWjSDBUJmnQ1XHm009uUk2OD4EuQbpbZFF8yc2KPVxbLpAL+7CWD09t3zyG7NQnZHU3vGT55Tg2r75UkUBl0ml/jkIvVCZH4OY8WDmlwFVWNKoNcgKE+GS/wDPalA8henxLXxyklmw6v+nyD5aZp9w5TIIe5jLY4ZF9vHzz5shZxj3XgliI8CBI9LSwoUhsIeomhI0j4J/S4OywuCZZKoHAoan5tTpoJb6zrpumwZHhD4ObdAqrvk8Q5kctf8xoFchC2X27+B7ycjM+ju7xDGtuuFqeviEXW988NBhzcfgtBlfD/eeF/X9c3pN8wa2x2pmf57NMFqTrnikVkrlNTb57MWZ4BCqFq856Qqda1ghmGQ3tpwFAxoUU3D0lFYqnWqR54gz35gZaPBzjeQ11AKw29PYWqZIduYD6kow3/2a7QZlDJX0z5Y8u+OpWkAoifCxCXqeNipxe/7LUniQmyYxXKlfCqaLKiT80COkMAKP3r/S1K5tZy7PS5QC7SrnJaKq5BAOqzQVbAU/Ht3KVy8a5JjYjwR1Rr03nNRtD1Dg7Ocaym2bPUp6xGWmAmnrZHYJLLTpXwaLQ3qmPUjqE1T7qHQD0KZyINn82oNrSlJVxtC75EKYDd9muKjaySLuYN4BVLwa7rGAEaEr9k3hxmRCrhnla6yTRsk/t/Gx3gyqN0FoZxDkAIt+uJEUvt4A5ejmSft1Zt0vjangd6ZV01Vm7zjbSzqWSRCmwYMJJWpyrOXCxiw5fUZ1KuSBP38OUOEx27rRMe7P3ToPrmlj5QDUrSNcnYHc2ZjhYe3AuaSFdV3xV6WNOKFeerPZbHmYzW6r1IHLmwJpbSNsKytS3Vq4NEa7hJkGDOTiJCoaNmX4xzCnIIa+wgXoJha1pIT8O0SBztSK2DCAiFEQ2nTtoFPbwMfaEGp85ZfXQMIGS+G/emBZDNErbh0SAFhHp8gZL/ozh0v58S8mdpj8nfOwaWOT5dR601pffRfV3jT3vTHUzrXGwGlfCfffBEEjFXE6xt44C6ahIBbEDfhfpk87G68syFD5NvfNTBGBrXM7pUslL2N6CnLdbVw1gHwVXIKPEo28hYHHn/+IlEDQoZMCSUhe+JtZfqO00sgSySdsJVkcb2FzP0oLMl+3X2MkH3INx21u6UMVQr0owkJQh6ZRszrX5vQnGZciOxS/AwHRpqaBP1JqEnc9/5NXa2dv2ytSyJmn95qRF/l+XPN7rCxa9zOB5W3NtxikrO9lkPWWfbxP0Ohq3iQLVi+EYGykdpQQNDmHgAk2d1ojiQVZAfeQ7O1nKpFUjlOn8d22TfI51dqb4y65a2Qp+w6IffJdCR+NHnKC+YV0ieAtVI575QLSA0CxRu9B53Uyhs1f1YxQiIRXC6QHzwa4l3nYivlgE5nn2feaVUpZ1EaYs8ODIbrweuX/rVRY+fal1Ctv1Tpx4UOQrNbmjqQKQj+1F6f2qawFHJE2gGqDVOVV5u1U2oDg/mzCntls+K1Jw8be+VV0dckKa7CfbGJ8H8DBDR+T1axZnXMoOYEd5goE7G22RE5fZKJbgHvfElIjAATwMC79RNtQOsC/6n89w5LW/7HFcFTaH0Wpw80sWIvpQihb8fiuq5xc912EpsPWJm4eh0NUcfQNAkDZPLNEfDg4KUUXvtGkuFPbvUrpGRcQAwE8lnn4HQrGrkx+AJB8OU5Rw/AiBQ4RuuUnzvw3ofanirZB/pLYxlGQL5dkma8wR/wtZ3L22o3POB6zZsZNb9no/N7u1IXMt4Iv2i0nl1GqZj6NqPwWlK2yHjWzgDYm1CVYXzYC1afvG/FaXOC2gplzdbSj8klf6Vtqvnb58oTS2cWhkKnIEhrTFawHac615NugZcVyMSyfpbLHVM6qPnPgKm9x961bsu6b+H2VMSqh2XY6mhC9W6NVLoLWUTgm1yKHlJH9ZPpd7MsdbYseRF4i7wDihoGAH0uK0ibFr9IFSl+twYoxyG27Mz3eB4TDuI30Nz+az7D+ibMig2FJOSch7UPygwPHa21O9tsiR0vpLhVfZTNRy6C/tdTOrYYyRkHxZrcY1mR3bHv7GcMoBu8AlgCZTabGOGJIQPO89NAr1lznxQgTsAr8ve/8FweO8Gj7pZF7P5Q9VRjHgej/sRj+Btgdr8ohqQUtzWYCTNqsCG4a3SpHjqViYLzOycBFKsJ89fFxcimBwJleRMHclCRh4RXzGasKQWQ+OFBGyyB8N4PLgJFYTrNTzldaNKUVV6i2YcQwo9Y2/ZbIFXmhb2mDlKyiMMf/FKBypvtN5FussAewGDbkJ+GEBhyyXotvog4fCwtbnUPXHKPnCSLlN3hBi1jgIubo7HuKmltepih0dfi5xxkepKusVxfdbC7xAAAAAAAAAAAAAAAAAAABQoTHSMp" url = "https://releases.oumuamua.dev/hekate/0.12.0/public/aarch64-unknown-linux-gnu/libhekate_prover_cdylib.so"