The Formosa Crypto repository features Debian packages of the Jasmin toolbox, the EasyCrypt proof assistant, and their dependencies. More specifically, the following packages are available:

  • easycrypt: the EasyCrypt proof assistant (Trixie only)
  • jasmin-compiler: the Jasmin compiler and tools (constant-time checker, extraction to EasyCrypt, LaTeX pretty-printer)
  • libjasmin-easycrypt: EasyCrypt libraries used when verifying Jasmin implementations
  • libjasmin-ocaml-dev: OCaml libraries of the Jasmin compiler
  • libapron: the Apron Numerical Abstract Domain Library and development packages libapron-dev, and libapron-ocaml-dev.
  • libgmpidl-ocaml: OCaml interface to the GMP library

In order to be able to install these packages, the APT package manager must be first configured to use the Formosa Crypto repository. This is done in two steps. First you need to download and enable the signing key. To this end, run the following command (as root):

wget -qO- https://formosa-crypto.org/formosa-archive-keyring.pgp | gpg --dearmor > /etc/apt/trusted.gpg.d/formosa-crypto.gpg

Then you need to add the package repository to the APT sources.list. The exact command to run depends on your version of Debian. For Bookworm:

echo 'deb [signed-by=/etc/apt/trusted.gpg.d/formosa-crypto.gpg] https://repo.formosa-crypto.org/debian bookworm main' > /etc/apt/sources.list.d/formosa-crypto.list

and for Trixie:

echo 'deb [signed-by=/etc/apt/trusted.gpg.d/formosa-crypto.gpg] https://repo.formosa-crypto.org/debian trixie main' > /etc/apt/sources.list.d/formosa-crypto.list

When APT is configured to use (and trust) the Formosa Crypto package repository, the list of packages available on the repository can be retrieved running the following command (as root):

apt update

Finally, just install the packages you need:

apt install jasmin-compiler

Questions, bugs, comments, etc. can be addressed to the Zulip chat.