Dune binary distribution
Motivation
This website provides nightly releases of Dune, with the Developer Preview features activated. These versions can be considered as unstable versions of the Dune executable. Their purpose is to work without the need for opam and as standalone executables.
Installation
Download
First, download the Dune binary associated with your system.
You can download the latest binary, depending on you computer architecture:
aarch64-apple-darwin
$ curl -o dune https://download.dune.ci.dev/2024-08-29/aarch64-apple-darwin/dune
x86_64-apple-darwin
$ curl -o dune https://download.dune.ci.dev/2024-08-29/x86_64-apple-darwin/dune
x86_64-unknown-linux-musl
$ curl -o dune https://download.dune.ci.dev/2024-08-29/x86_64-unknown-linux-musl/dune
Setup
Then, you can install Dune by running the following command from the location where you downloaded the executable file:
$ chmod u+x ./dune
-$ sudo mv dune /usr/local/bin/dune
Note that you can ignore this command and move the dune
executable where you want, as long as it is accessible from the PATH.
Check if the dune
executable is accessible by running
$ dune --help
Verify
To increase the trust in the builds, we generate a build certificate associated with GitHub Actions where the binaries are built.
Download
Download the certificate to verify the binary validates it:
aarch64-apple-darwin
$ curl -o attestation.jsonl https://download.dune.ci.dev/2024-08-29/aarch64-apple-darwin/attestation.jsonl
x86_64-apple-darwin
$ curl -o attestation.jsonl https://download.dune.ci.dev/2024-08-29/x86_64-apple-darwin/attestation.jsonl
x86_64-unknown-linux-musl
$ curl -o attestation.jsonl https://download.dune.ci.dev/2024-08-29/x86_64-unknown-linux-musl/attestation.jsonl
Check
Using gh
, the GitHub CLI Tool, you can verify the certificate:
$ gh attestation verify ./dune -R tarides/dune-binary-distribution --bundle ./attestation.jsonl
Binaries
2024-08-29 (commit: 6bf33c56768290b027843aa998cf7bc8f9c2772f)
2024-08-28 (commit: 26b866a52efe941b4bf920a6e3c71b290491c48a)
2024-08-27 (commit: 2f7dd8c6a85d7f0ecb543aa075ce53c9ed22dc51)
2024-08-26 (commit: a25591789890fda90c3bdedb04c6dca571760974)
2024-08-25 (commit: 5d0517127f1d28a7905471fde09cc2ff0fd9e53f)
2024-08-24 (commit: 5d0517127f1d28a7905471fde09cc2ff0fd9e53f)
2024-08-23 (commit: 106274889463610b8588cf94ad471512857408ba)
2024-08-22 (commit: b962278235507cd2fc5bfa8768e24c5340ee488c)
2024-08-21 (commit: b962278235507cd2fc5bfa8768e24c5340ee488c)
2024-08-20
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-19
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-19
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-18
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-17
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-16
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-15
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-14
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-13
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-12
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-11
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-10
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-09
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-08
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-07
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-06
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-05
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-04
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-03
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-02
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-08-01
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-07-31
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-07-30
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate
2024-07-29
dune-aarch64-apple-darwin- no certificate
dune-x86_64-apple-darwin- no certificate
dune-x86_64-unknown-linux-musl- no certificate