Opam repository now featuring Jasmin compiler

The Jasmin compiler is now part of the opam repository.

Once you have a working opam, just run opam install jasmin to get the Jasmin compiler installed. Note that this only installs the compiler (including termination & safety checker, constant-time verifier, reference interpreter…) and no EasyCrypt library nor Coq proofs.

The Jasmin compiler remains available in nixpkgs.