Releases · aya-prover/aya-dev

17 Nov 03:53

imkiva

Latest

These are latest builds, but the date on GitHub is frozen due to stupid limitations.
Corresponding commit: 45d6358

Assets 18

aya-prover_jlink_linux-aarch64.zip

sha256:adc4cbda4fa73a663347a6d4ec30b3994bf4d91e2318056c14db52aab6de22cc

36.7 MB 2025-11-19T08:59:04Z
aya-prover_jlink_linux-aarch64.zip.sha256.txt

sha256:1fc5ea9a68155c8c11b98af497eb8728b4de97a4c04d67b26afa63644095ba29

64 Bytes 2025-11-19T08:59:03Z
aya-prover_jlink_linux-riscv64.zip

sha256:96b137905b29c4e82cb980ed98ea1ef6e7b123f5ff3a6e48ea232b2e1f03e7e0

28.1 MB 2025-11-19T08:59:03Z
aya-prover_jlink_linux-riscv64.zip.sha256.txt

sha256:1793a17051172c08477c4cebc9227e6675d6cd07ea3f5efb86f260ac2d466a92

64 Bytes 2025-11-19T08:59:03Z
aya-prover_jlink_linux-x64.zip

sha256:d27bd954f25a5aa9df823c4044a42ff92cf01f216c0e587a0ef0e388c7ad0a7b

38.1 MB 2025-11-19T08:59:04Z
aya-prover_jlink_linux-x64.zip.sha256.txt

sha256:1dcf209af297bed9d02345ef7009fb7e0d0c6a9aa17ffac3e77f524cf0b49f23

64 Bytes 2025-11-19T08:59:03Z
aya-prover_jlink_macos-aarch64.zip

sha256:f8a982bdf415d03c8ab2d9d7dfc1e1c0e4a5acd1cff5e39cc209d3a81bd6dd0e

29.4 MB 2025-11-19T08:59:04Z
aya-prover_jlink_macos-aarch64.zip.sha256.txt

sha256:3d9a40edfca16475fdc5465279c7237d8eed648c5fc6990b26566d4ae11fd415

64 Bytes 2025-11-19T08:59:03Z
aya-prover_jlink_macos-x64.zip

sha256:3ae48e2c9df84df6effdbb6390cd6e065f87a4078c4440130e3549c5ede7b8bd

30.9 MB 2025-11-10T09:39:27Z
aya-prover_jlink_macos-x64.zip.sha256.txt

sha256:6db39a6ba336b8dffc31228ba554dd98b2cf68dd34814fff0d290bb8b412bb79

64 Bytes 2025-11-10T09:39:27Z
Source code (zip)

2025-11-19T08:56:01Z
Source code (tar.gz)

2025-11-19T08:56:01Z

Provide feedback